On Sunday, 4 August 2013 at 16:18:48 UTC, bearophile wrote:
I am starting to think that to design type system features sometimes you need formal mathematics, otherwise you build a Swiss cheese.
How would you account for yet undefined features like ARC?