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