3 ms·
> Basically, your IDE writes more of the code for you. I think this was, in general, a dead end in language research for various reasons, […] I think language
by still_grokking 4y ago
> Basically, your IDE writes more of the code for you. I think this was, in general, a dead end in language research for various reasons, […]
I think language researchers would strongly disagree.
Something like that is likely the future of programming!
For example:
https://www.youtube.com/watch?v=X36ye-1x_HQ https://www.youtube.com/watch?v=X36ye-1x_HQ
From the video description:
> In Idris, types are a first class language construct, meaning that they can be manipulated and computed like any other language construct. It encourages a type-driven style of development, in which programmers give types first and use interactive editing tools to derive programs.