how many programming languages have core representations that are directly programmable???
Conversation
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?
1
the second of those three options
1
1
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
Rust has MIR, but I'm not sure if that's really what you are after (it's a long way from the surface language and I'm not sure how much type info it preserves): rustc-dev-guide.rust-lang.org/mir/index.html
1
I'd imagine you'd be after something more like Oxide?
Oh, I guess Dhall just gives you a core language. No elaborator provided. 😄