StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Miles Sabin

Rating
1619.95 (1,105th) 		Reputation
21,753 (6,106th)
Page: 1 2 3 4 5
Title Δ
"update" method with variable-length index in Scala 0.00
Map on HList in method with Poly1 based on type parameter of class 0.00
Any reason why scala does not explicitly support dependent types? +1.33
Enable REPL power user mode (:power) from script 0.00
Are HList/KList suitable as method parameter? How to refer to? Type... +0.37
How can I override a method with a dependent return type? 0.00
Abstract types in method parameters +0.37
Type constraint for type inequality in scala 0.00
selecting a subset of a list of functions based off of the type of... 0.00
Are HLists nothing more than a convoluted way of writing tuples? +1.27
Scala: specify a default generic type instead of Nothing -0.99
Scalaz Lens Composition -1.36
How to write this three-liner as a one-liner? +0.91
Is there way to create tuple from list(without codegeneration)? +3.26
Why can't I index into an HList obtained by mapping over another HL... 0.00
Scala-style abstract modules in C# or other languages? +3.12
Message equivalent of dependent method types 0.00
Simulate partial type parameter inference with implicits? 0.00
Scala types: least upper bounds +3.96
Scala implicit Numeric[T] in companion object -1.36
Are path-dependent types type projections? 0.00
How to call constructor for leaves of a tree algebraic data type in... +0.05
Why doesn't type inference work here? +3.17
Scala function transformation +2.25
scala tuple type composition +3.28
how can i extend a type to a trait in scala 0.00
Unexpected behavior with implicits 0.00
Scala: Flatten the parseresult (~) from combinators parser into List? 0.00
How to write scala matcher for class? +3.35
Int value of Prod in shapeless 0.00
Constraining Higher-Kinded Types in Scala -4.22
Why this scala code reports compilation error: recursive value x ne... 0.00
Why does Scala fail to find a secondary implicit value in this one... +3.50
Exposing a path-dependent type coming from a singleton type 0.00
Is it possible to match on the type of a manifest in Scala? 0.00
Type equivalence issue when using dependent method types and the ty... -0.04
How to import inner classes without path dependency in Scala? +0.10
Exchanging a type parameter's upper bound for an evidence parameter +4.15
Is it possible to refer to the types of Scala case class constructo... -4.47
Scala constructor abstraction -0.81
Returning original collection type in generic method -1.77
Pattern matching for abstracted case classes 0.00
Missing class manifest for Array of abstract type member -0.61
Covariance in type-level programming -0.30
Product inheritance in case classes +3.23
Scala: implicit conversion to generate method values? 0.00
What are some compelling use cases for dependent method types? +3.26
scala reflection, cast type with asInstanceOf 0.00
String seen as a Monoid +4.04
Scala: using Nothing for singleton instances of polymorphic types +2.95