what's everyone's preferred host language for implementing a new *imperative* language?
Rust is forbidden because I like not thinking about memory. (this is a pet project and does not justify the mental overhead.)
Conversation
ooh I dunno about that haha. tempting in some ways, scary in others.
1
it is not *as* difficult as it may seem. Depends on what you want to investigate with the implementation and where to tighten the implementation by using dependent types.
1
I guess that's fair. I've just got not a lot of experience with dependent types and I worry that that's a learning hurdle that might interfere with implementation speed (whether due to difficulty or because I'd start reading a bunch of stuff haha).
1
A common misunderstanding is that you need to dependently type all the things… but you can just use it as a regular language and add in dependent types later
…but yeah, messing around with Idris the past few weeks I’m loving some stuff but uhh… not others hahaha. 😅
The nuance is determining where you want the trade-off to be. for high-assurance code, for example, I will use dependent types in all their glory. For low assurance code, I probably won’t. Dependent types keep me honest, some times I’ll want to be less honest.
1
3
In fact gave a few talks in Scotland (many moons ago) & mentioned the idea of ‘whip-it-up-a-tude’ when relating dynamic to static typing. I balked a little at the time, but realised later that this is *my* view when comparing static & dependently typed programming…
1
1
Show replies