The Algebra of Algebraic Data Types https://about.chatroulette.com/posts/algebraic-data-types/ …
-
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
// start here trait Yoneda[F[_], A] { def run[B]: (A => B) => F[B] def lower: F[A] = run(identity) }
-
-
What about it? How does this relate to the thread?
-
... but how can my reasoning work here? That's where you start, your reasoning.
- Show replies
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.