sunnydiskincali

5 ms·

1. 1.▲
   by sunnydiskincali 1y ago

   > You wrote a lot of words to say very little. Substantiate this. > weird name choice but whatever I don't think this kind of snarky potshot is in line with the commentary guidelines. Perhaps you could benefit from a refresher?
2. 2.▲
   by sunnydiskincali 1y ago

   > With your shape example, you cannot express in the type system "this function won't return a point". Sure you can, that's just subtyping. If it returns a value that's not a point, the domain has changed from th
3. 3.▲
   by sunnydiskincali 1y ago

   > This has the benefit of giving you the ability to refer to a case as its own type. A case of a sum-type is an expression (of the variety so-called a type constructor), of course it has a type. datatype shape = Circle of real