Would you want the whole language to have CLP level expressiveness, or just some form of additional specification (like the type system in dependent typing)? I love me some expressiveness, but from the little I know of it, CLP seems almost.. too much? :)
-
-
-
For a mainstream programming language, you’d need CLP to be gradually adoptable so that you can use as little or as much as fits your verification needs for each problem you’re solving.
- 1 more reply
New conversation -
-
-
I sometimes wonder if a language blessed assert + good tooling wouldn't get us a long way there
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I’ve thought it would be cool to have a type of exception statement that throws a compiler error if the compiler determines that statement is reachable. If situation is too complicated can be error or warning if more annotations are needed to help inference.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Haven’t tried it, but this seems along those lines https://www.fstar-lang.org
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
True that!!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.