3 ms·
That falls down because most static languages have "representational types", not "semantic types". Here's a post of mine on the topic: https://news.ycombinator
by msla 9y ago
That falls down because most static languages have "representational types", not "semantic types". Here's a post of mine on the topic:
https://news.ycombinator.com/item?id=15144364 https://news.ycombinator.com/item?id=15144364