The Algebra of Algebraic Data Types https://about.chatroulette.com/posts/algebraic-data-types/ …
-
(maybe a better phrasing would be, N choices to make, with M options that each one can choose from) It's interesting that a function with N inputs and M outputs isomorphic to a TupleN[M, M...]
-
-
Of course I know there is 1, but how can my reasoning work here? I guess in the scope of a type variable we don't care about number of inhabitants in an absolute sense but how many it can obtain. Since it can only get 1 A that's the number we use
-
Similarly, class Scope[A] { private case class Prod(a: A, b: Boolean) }, how many As are available inside Scope tells how many possible Prods, even if "from the outside" there are many more
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.