Explore >> Select a destination
|
You are here 
|
sitr.us | ||
| | | | |
blog.jooq.org
|
|
| | | | | Sometimes there are these moments of truth. They happen completely unexpectedly, such as when I read this tweet: https://twitter.com/whileydave/status/536422407297171457 David is the author of the lesser-known but not at all lesser-interesting Whiley programming language, a language that has a lot of static type checking built in it. One of the most interesting features of the... | |
| | | | |
blog.polybdenum.com
|
|
| | | | | Ever since Stephen Dolan's 2016 thesis Algebraic Subtyping showed how to combine type inference and subtyping, I've been developing increasingly sophisticated programming languages based on those ideas, first IntercalScript in 2019, then CubiML in 2020, PolySubML in 2025, and with my next language already in the planning stages. | |
| | | | |
blog.aria.ai
|
|
| | | | | An introduction to and explanation of the benefits of static typing in JavaScript | |
| | | | |
blog.appsignal.com
|
|
| | | We all know the joke about how node_modules is the heaviest object in the universe. | ||
