I got a link to these articles from HN a couple of weeks ago. https://swlaschin.gitbooks.io/fsharpforfunandprofit/content/posts/designing-for-correctness.html

I got a link to these articles from HN a couple of weeks ago. https://swlaschin.gitbooks.io/fsharpforfunandprofit/content/posts/designing-for-correctness.html https://swlaschin.gitbooks.io/fsharpforfunandprofit/content/... What I loved about them is they show how a different type system and language design can massively reduce code size and errors. After reading them I felt frustrated back in JavaScript or C# or any other language I use regularly. Are Typescript and Flow missing the forest for the trees?