I wrote on this topic, trying to simplify where types came from and why it's important - https://docs.google.com/document/d/1-aLUwnN0XzLbzICnFLWfCLuD4ULYXGcKAoy

I wrote on this topic, trying to simplify where types came from and why it's important - https://docs.google.com/document/d/1-aLUwnN0XzLbzICnFLWfCLuD4ULYXGcKAoyRAqTuAIY/edit#heading=h.bxiqdlerl36p https://docs.google.com/document/d/1-aLUwnN0XzLbzICnFLWfCLuD... Related HN discussion: https://news.ycombinator.com/item?id=21898309 https://news.ycombinator.com/item?id=21898309