|
You are here |
blog.jooq.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. ... | |
| | | | |
jamie-wong.com
|
|
| | | | | [AI summary] The post analyzes the tradeoffs between dynamically and statically typed programming languages regarding iteration speed, correctness, and IDE support, discussing how modern languages and techniques are attempting to combine the best aspects of both approaches. | |
| | | | |
jfenn.me
|
|
| | | | | In the vast majority everyday software, nobody writes a mathematical proof of every piece of functionality. Dynamically typed languages exist for a reason, and this is not it. | |
| | | | |
www.integralist.co.uk
|
|
| | | Introduction This post is going to cover a few tools and features I plan on using when writing Python code in 2019. I've grouped these into the following sections: Type Hints and Static Analysis Interfaces, Protocols and Abstract Methods Dependency Management (with pipenv) (OUTDATED! ?) read my post "Python Management and Project Dependencies". But before we get into it... time for some self-promotion Want to be up and running quickly with Python? | ||