lemastero
/ gist:b8ad730644f453045b4056eb670f4dfb
Created
November 15, 2018 22:25
— forked from runarorama/gist:33986541f0f1ddf4a3c7
Higher-kinded types encoded as path-dependent types
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| trait λ { | |
| type α | |
| } | |
| trait Functor extends λ { | |
| type α <: λ | |
| def map[A,B](x: α { type α = A })(f: A => B): α { type α = B } | |
| } |
lemastero
/ gist:a282d75a700d5a12b13b63ec917b6b3d
Created
November 15, 2018 22:21
— forked from runarorama/gist:a8fab38e473fafa0921d
Compositional application architecture with reasonably priced monads
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| sealed trait Interact[A] | |
| case class Ask(prompt: String) | |
| extends Interact[String] | |
| case class Tell(msg: String) | |
| extends Interact[Unit] | |
| trait Monad[M[_]] { | |
| def pure[A](a: A): M[A] |
NewerOlder