Just keep making blueprints really really good.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I don't even know what this means
-
I would love a Sweeney translator right now.
End of conversation
New conversation -
-
-
This April fool's joke betrays a cynicism achieved only by the wisest of sages.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Will it finally have totally automatic string handling that doesn't involve counting characters and adding 0 like early 70's assembler? The inexcusable "feature" that makes everything unsafe.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This Tweet is unavailable.
-
Curry is the most-developed FLP language so far. However, it's still sort of a half-way step, which doesn't fully embrace first-class failure (and still exposes boolean ops), and doesn't use backtracking for loop iteration. https://www-ps.informatik.uni-kiel.de/currywiki/
- Show replies
-
-
-
I still find it highly amusing that functional languages start from an ideal of being stateless, with no variables. Then the usable ones hack in some way to store some state info, so that you could actually do useful stuff - & maybe even varying, which I hear is good for games!
-
You can implement a principled functional language with state. It ends up treating state and processes as similar. Trick is that STLC "return a value" introduces linearity. You extend that property by constraining contraction. See. Affine logic, Linear logic, Session types.
End of conversation
New conversation -
-
-
In the early '00s it was proven that linguistic abstractions and various forms of decomposition cannot make verification easy (and BTW, in practice, the languages that have so far had the best success in terms of both formal and informal verification are synchronous languages)
-
Yes, the general case of verification is theorem-proving. The ultimate language ultimately support that, but ought to also make it much easier than present to adopt small-scale verification easily.
- Show replies
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.