Conversation

Zanzi 🇺🇦
@tangled_zans
what if instead of focusing on the One True Language, we figured out a meta-language framework for a universal FFI? this way everyone can keep working on their favorite language, and we could finally stop having to re-implement our ecosystems any time a novel language is invented
Quote Tweet
julesh
@_julesh_
·
(Naturally, the categorical semantics of the One True language is a giant commuting network of monoidal adjunctions. But I'm much less certain what the syntax, operational semantics or compiler look like)
Show this thread
7
27
Andrej Bauer
@andrejbauer
PL develops not only because everyone wants to have their own language, but also because the enveloping computing ecosystem develops and presents new unforseen challenges to PL. You'll never get a fixed ecosystem on top of which to work, at least not if you want to be relevant.
1
13
〚Dan R. Ghica〛
@danghica
I'd say PL "evolves" rather than "develops". Some stuff that passes for progress in PL is questionable. PL is a point of intersection between mathematics, technology and (unfortunately) psychology.
2
2