More discussion: <a href="https://news.ycombinator.com/item?id=42946281">https://news.ycombinator.com/item?id=42946281</a>
Really like this post. Curious about:<p>> Gradual, dependently typed languages are the future<p>I guess that's TypeScript - are there other languages that fit this bill?