milessabin

Joined 15 years ago

Karma

55

Submissions

17

Member since

Sep 19

Scala consultancy and training. Brighton, UK

http://www.milessabin.com/

[ my public key: https://keybase.io/milessabin; my proof: https://keybase.io/milessabin/sigs/Gjh-fgCoH5ClWD6uwrQH6p7dog4Of11kOSdSy8l8Ah8 ]

View on Hacker News

Recent submissions

Typelevel Scala 4 for Scala 2.12.2 and 2.11.11 released github.com

2 milessabin 9 years ago 0 comments

(Much) faster compile times for Scala type class derivation on the way github.com

2 milessabin 9 years ago 0 comments

Typelevel Scala github.com

90 milessabin 10 years ago 56 comments

Hacking on scalac – 0 to PR in an hour milessabin.com

2 milessabin 10 years ago 0 comments

Shapeless-2.3.0 released milessabin.com

1 milessabin 10 years ago 0 comments

Scala generic programming library shapeless 2.2.0 released milessabin.com

1 milessabin 11 years ago 0 comments

Generic progamming for Scala: shapeless 2.1.0 final released github.com

6 milessabin 11 years ago 0 comments

Shapeless (generic programming for Scala) 2.1.0-RC1 released github.com

3 milessabin 11 years ago 0 comments

Comment · 12 years ago

Paul and I don't see eye to eye on many things, but on this we're in complete agreement.

Shapeless 2.0.0 released github.com

1 milessabin 12 years ago 0 comments

Scala vs Idris: Dependent Types, Now and in the Future infoq.com

3 milessabin 13 years ago 0 comments

Comment · 13 years 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.

Using shapeless's Sized type to eliminate real world off by one errors in Scala speakerdeck.com

2 milessabin 13 years ago 2 comments

Shapeless 2.0.0 M1 generic programming library for Scala released notes.implicit.ly

2 milessabin 13 years ago 0 comments

Polymorphic function values in shapeless (pt.2) Natural Transformations chuusai.com

1 milessabin 14 years ago 0 comments