One day, staged programming as in MetaOCaml will prevail.
Quote Tweet
what’s your most crank opinion about programming languages?
Show this thread
1
1
6
Conversation
I want it, but with dependent types. Is this monomorphised generics?
1
It is staged programming.
1
1
I am of the opinion that comparing it to other shit is an error.
1
Replying to
Oh I mean I want staged programming + dependent types to let me do the same stuff as I get with monomorphised generics.
Isn’t it? It blew my mind when I heard of it.