milessabin

6 ms·

1.
Typelevel Scala 4 for Scala 2.12.2 and 2.11.11 released(github.com)
2 points by milessabin 9y ago|0 comments
2.
(Much) faster compile times for Scala type class derivation on the way(github.com)
2 points by milessabin 10y ago|0 comments
3.
Typelevel Scala(github.com)
90 points by milessabin 10y ago|56 comments
4.
Hacking on scalac – 0 to PR in an hour(milessabin.com)
2 points by milessabin 10y ago|0 comments
5.
Shapeless-2.3.0 released(milessabin.com)
1 points by milessabin 11y ago|0 comments
6.
Scala generic programming library shapeless 2.2.0 released(milessabin.com)
1 points by milessabin 11y ago|0 comments
7.
Generic progamming for Scala: shapeless 2.1.0 final released(github.com)
6 points by milessabin 12y ago|0 comments
8.
Shapeless (generic programming for Scala) 2.1.0-RC1 released(github.com)
3 points by milessabin 12y ago|0 comments
9.
by milessabin 12y ago
Paul and I don't see eye to eye on many things, but on this we're in complete agreement.
10.
Shapeless 2.0.0 released(github.com)
1 points by milessabin 12y ago|0 comments
11.
Scala vs Idris: Dependent Types, Now and in the Future(infoq.com)
3 points by milessabin 13y ago|0 comments
12.
by milessabin 13y ago
The compile times for things of similar complexity to the running example in this presentation are pretty much negligible. If you haven't given it a try recently you really should.
13.
Using shapeless's Sized type to eliminate real world off by one errors in Scala(speakerdeck.com)
2 points by milessabin 13y ago|2 comments
14.
Shapeless 2.0.0 M1 generic programming library for Scala released(notes.implicit.ly)
2 points by milessabin 13y ago|0 comments
15.
Polymorphic function values in shapeless (pt.2) Natural Transformations(chuusai.com)
1 points by milessabin 14y ago|0 comments
16.
First-class polymorphic function values in shapeless — Function values in Scala(chuusai.com)
1 points by milessabin 14y ago|0 comments
17.
by milessabin 15y ago
@OlegYch's solution also represents a good trade off of complexity vs. convenience: his solution is simpler but doesn't get along so nicely with type inference; mine gets on just fine with type inference, but is more complex and depends (no