Omg, just looking at D (the programming language) and it looks awesome.
Conversation
Yeah D is pretty neat. One of the reasons I’m excited about dependent types and a more flexible phase distinction+control over parametericity (like talks about) is due to my experience with D’s metaprogramming many years ago.
1
1
One thing I would like to see re. context constrained computation is to further blur the line between static/dynamic, and allow you to compile/run code at run time _if_ you include your language's JIT as a dependency. A JIT would be assumed to be present at compile time though.