Related to refinement-types is the concept of "parsing, not validating": https://news.ycombinator.com/item?id=21476261 https://news.ycombinator.com/item?id=214

Related to refinement-types is the concept of "parsing, not validating": https://news.ycombinator.com/item?id=21476261 https://news.ycombinator.com/item?id=21476261 https://news.ycombinator.com/item?id=27166162 https://news.ycombinator.com/item?id=27166162