| 1. | | Typelevel Scala 4 for Scala 2.12.2 and 2.11.11 released (github.com/typelevel) |
|
2 points by milessabin on May 9, 2017 | past
|
|
| 2. | | (Much) faster compile times for Scala type class derivation on the way (github.com/scala) |
|
2 points by milessabin on Jan 18, 2017 | past
|
|
| 3. | | Typelevel Scala (github.com/typelevel) |
|
90 points by milessabin on Aug 26, 2016 | past | 56 comments
|
|
| 4. | | Hacking on scalac – 0 to PR in an hour (milessabin.com) |
|
2 points by milessabin on May 13, 2016 | past
|
|
| 5. | | Shapeless-2.3.0 released (milessabin.com) |
|
1 point by milessabin on Feb 25, 2016 | past
|
|
| 6. | | Scala generic programming library shapeless 2.2.0 released (milessabin.com) |
|
1 point by milessabin on May 28, 2015 | past
|
|
| 7. | | Generic progamming for Scala: shapeless 2.1.0 final released (github.com/milessabin) |
|
6 points by milessabin on Feb 10, 2015 | past
|
|
| 8. | | Shapeless (generic programming for Scala) 2.1.0-RC1 released (github.com/milessabin) |
|
3 points by milessabin on Jan 23, 2015 | past
|
|
| 9. | | Shapeless 2.0.0 released (github.com/milessabin) |
|
1 point by milessabin on April 23, 2014 | past
|
|
| 10. | | Scala vs Idris: Dependent Types, Now and in the Future (infoq.com) |
|
3 points by milessabin on Dec 5, 2013 | past
|
|
| 11. | | Using shapeless's Sized type to eliminate real world off by one errors in Scala (speakerdeck.com) |
|
2 points by milessabin on Oct 1, 2013 | past | 2 comments
|
|
| 12. | | Shapeless 2.0.0 M1 generic programming library for Scala released (implicit.ly) |
|
2 points by milessabin on Sept 3, 2013 | past
|
|
| 13. | | Polymorphic function values in shapeless (pt.2) Natural Transformations (chuusai.com) |
|
1 point by milessabin on May 10, 2012 | past
|
|
| 14. | | First-class polymorphic function values in shapeless — Function values in Scala (chuusai.com) |
|
1 point by milessabin on April 28, 2012 | past
|
|
