how many programming languages have core representations that are directly programmable???
Conversation
Replying to
What do you mean by ‘directly progammable’? Like, being able to drop down into the core language from within the surface language? Or being able to write in the core language and compile that, bypassing the surface language? Or something else?
So I guess you'd be after languages that follow the ‘de Bruijn criterion’ (having a small core that elaboration targets), and that expose that core to the user? No clue how many follow that alas, apart from Haskell and some theorem provers. 🤔
1
1
Show replies