Good quote:
Programming language design is kind of just the unbelievably difficult task of tricking programmers into using formal methods tools, by presenting them in an ergonomic way that doesn’t obstruct how people are used to writing software in a given era. Necessarily each push forward rules out more and more common sources of bugs.
https://lobste.rs/s/ctpdvb/vine_programming_language_based_on#c_ckfegb
#plt #typespl #formalmethods #logic
If you have a fediverse account, you can quote this note from your own instance. Search https://types.pl/users/safinaskar/statuses/114054349915779875 on your instance and quote it. (Note that quoting is not supported in Mastodon.)