Skip to main content
Miles Sabin's user avatar
Miles Sabin's user avatar
Miles Sabin's user avatar
Miles Sabin
Principal engineer at Chuusai Ltd.
  • Member for 15 years, 4 months
  • Last seen this week
Profile Activity
Stats
23,046
reputation
544k
reached
214
answers
4
questions
Communities
View all
About

I do stuff with Scala. Blog at milessabin.com. Partner at _.underscore. Type astronaut and shapeless hacker.

Follow @milessabin on Twitter!

Badges
View all badges
6
gold badges
62
silver badges
95
bronze badges
Top tags
View all tags
2,050
Score
213
Posts
98
Posts %
824
Score
77
Posts
35
Posts %
329
Score
20
Posts
9
Posts %
267
Score
11
Posts
5
Posts %
190
Score
9
Posts
4
Posts %
76
Score
14
Posts
6
Posts %
Top posts
View all questions, answers, and articles
answer
159
Any reason why scala does not explicitly support dependent types?
Oct 17, 2012
answer
149
Are HLists nothing more than a convoluted way of writing tuples?
Aug 6, 2012
answer
115
What are some compelling use cases for dependent method types?
Oct 22, 2011
answer
64
How do I get around type erasure on Scala? Or, why can't I get the type parameter of my collections?
Jan 11, 2012
answer
63
forall in Scala
Aug 27, 2011
answer
57
Enforce type difference
Aug 4, 2011
answer
54
What does `T {}` do in Scala
Mar 10, 2016
answer
37
Extractor for a shapeless HList that mimics parser concatenation `~`
Aug 28, 2013
answer
30
Use functional combinators on Scala Tuples?
May 7, 2012
answer
30
Applying an argument list to curried function using foldLeft in Scala
Nov 6, 2011