Possibly hot take: the “case splitting” approach to program development via interactive program synthesis from extremely specific types has all the same problems that modifying and checking in generated code does, and we all learned why that was a bad idea a long time ago.
-
-
Was about to say something similar. What people are witnessing is the 'live' development of how-to-program with dependent types. Some current ideas will turn out to be awful. Hopefully they'll be ditched [unlike other PL styles, that never ditch anything].
-
I'm very much looking forward to being able to show off live refactoring rather than live programming, and indeed using some live metaprogramming to help. Not that I know how to do that yet. But the criticism is a fair one, as things stand. We have lots to learn.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.