|
You are here |
lambdaland.org | ||
| | | | |
sitr.us
|
|
| | | | | I am very excited about Flow, a new JavaScript type checker from Facebook. I have put some thought into what a type checker for JavaScript should do - and in my opinion Facebook gets it right. The designers of Flow took great effort to make it work well with JavaScript idioms, and with off-the-shelf JavaScript code. The key features that make that possible are type inference and path-sensitive analysis. I think that Flow has the potential to enable sweeping improvements to the code quality of countless web apps and Node apps. ... | |
| | | | |
blog.polybdenum.com
|
|
| | | | | This post is part 2 of a series. Click here to go to the beginning of the series. | |
| | | | |
thunderseethe.dev
|
|
| | | | | Generate Type Constraints with a Bidirectional Type System | |
| | | | |
wimvanderbauwhede.codeberg.page
|
|
| | | Algebraic data types are great for building complex data structures, and easy to implement in Raku using roles. | ||