This seems to be the same point about type safety that's made in this recent front page post: https://news.ycombinator.com/item?id=33844117 https://news.ycombi

This seems to be the same point about type safety that's made in this recent front page post: https://news.ycombinator.com/item?id=33844117 https://news.ycombinator.com/item?id=33844117