Explore >> Select a destination
|
You are here 
|
blog.aria.ai | ||
| | | | |
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... | |
| | | | |
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.florimondmanca.com
|
|
| | | | | Type hints add optional static typing to Python 3.5+, and I love them. I now use annotated variables throughout my projects. | |
| | | | |
florimond.dev
|
|
| | | Type hints add optional static typing to Python 3.5+, and I love them. I now use annotated variables throughout my projects. | ||
