/explore
|
You are here 
|
blog.jooq.org | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
chadaustin.me
This may be the only time I weigh in on the static vs. dynamic typing discussion. Each side has its extreme proponents, and people differ in their ability and desire to work in systems with implicit invariants. Many years ago, back when Java and C++ were the Mainstream Languages and Python was the shiny new up-and-comer, I read Bruce Eckel's arguments in support of dynamically typed languages, and some of the nonobvious (at the time) ways you can get more done at higher quality in a more flexible languag... |
|
| | | | | ||
| | | | |
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.coderspirit.xyz
Although it's easy to generate CJS or ESM code from TS, generating both at the same time is a more complicated endeavour. |
|
| | | |||
