Explore >> Select a destination
|
You are here 
|
www.baturin.org | ||
| | | | |
slightknack.dev
|
|
| | | | | A cozy little corner of the web. | |
| | | | |
programmingmadecomplicated.wordpress.com
|
|
| | | | | There are these things that, depending on your definition, many or all programming languages use: 'types'. There's also a rich mathematical study of types in Type Theory which, along with related disciplines, has many connections to logic and proof. Why? Often, they take the form of explicit 'annotations' to program artefacts, big and small. For... | |
| | | | |
healeycodes.com
|
|
| | | | | Writing an interpreter from scratch. | |
| | | | |
www.vegardno.net
|
|
| | | (This post contains some reflections on the hypothetical design of an ideal programming language...) Don't use or support the use of preproc... | ||
