Disturbing that it's the 21st century and people are still designing languages without formal models...https://twitter.com/whitequark/status/873338473381601281 …
-
-
Replying to @RichFelker
based on this ridiculous claim, I posit that you have never tried to design a usable language starting with a formal model
2 replies 0 retweets 11 likes -
-
Replying to @johnregehr @RichFelker
I'm not even sure what would the point be, if you don't care about unsoundness in your language you wouldn't make a formal model...
2 replies 0 retweets 0 likes -
Replying to @whitequark @RichFelker
formal models for C are real and useful
1 reply 0 retweets 1 like -
Replying to @johnregehr @RichFelker
no, I mean, *starting* with a formal model. Once you have a "1.0" language obviously you should build one.
3 replies 0 retweets 2 likes -
-
formal methods are hard but not harder than making a good PL
1 reply 0 retweets 3 likes -
Replying to @johnregehr @RichFelker
I think these are disjoint skillsets, and formal methods, with rare exceptions, don't bring you any closer to success
3 replies 0 retweets 4 likes
I think I largely agree, but the PL design should happen with an awareness of formal methods and that formalizability matters.
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.