"Production" programming languages have been cribbing off ancient academic research for years now (functional), but I have a feeling that well is running dry and I'm not sure there are any obvious wins coming down the pipe
Conversation
There’s a bunch of new research in FP every year. We’ve yet to see effect systems make it out. Dependent types may also shake things up.
4
This Tweet was deleted by the Tweet author. Learn more
This Tweet was deleted by the Tweet author. Learn more
From what I hear equality and equivalencies are where some of the most friction is with practical use. Still they’re making strides ever year.
1
1
Yeah, undecidability is fine. You have stuff like codata for that.
Yeah. You just need that there’s always a next step.