(by @andrestaltz)
If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.
Hossam Karim hkarim
milessabin
/ gist:cadd73b7756fe4097ca0
Last active
September 16, 2019 13:44
A new approach to encoding dependently-typed chained implicits, using singleton types ...
This file contains hidden or 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
| object Demo { | |
| // A couple of type classes with type members ... | |
| trait Foo[T] { | |
| type A | |
| } | |
| object Foo { | |
| implicit val fooIS = new Foo[Int] { type A = String } | |
| } |
staltz
/ introrx.md
Last active
October 14, 2025 19:39
The introduction to Reactive Programming you've been missing
milessabin
/ gist:6256495
Last active
March 10, 2018 02:26
Path dependent types with an implicit prefix. We can infer the singleton type prefix of a path dependent type and then implicitly summon the unique value of that singleton type.
This file contains hidden or 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
| Welcome to Scala version 2.10.2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.7.0_21). | |
| Type in expressions to have them evaluated. | |
| Type :help for more information. | |
| scala> class Prefix { class Dep { type P = Prefix.this.type } } | |
| defined class Prefix | |
| scala> val (p1, p2) = (new Prefix, new Prefix) | |
| p1: Prefix = Prefix@2212c414 | |
| p2: Prefix = Prefix@7e070e85 |