StackRating

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

user2407038

Rating
1527.79 (20,685th)
Reputation
13,029 (11,157th)
Page: 1 2 3 ... 6
Title Δ
Why does this Typescript generic type inference fail? +0.46
How to extend ghc-typelits-natnormalise to check relationships betw... 0.00
Problems writing type class instances for types determined by a clo... 0.00
Generalizing from a specific type to a class in a GADT 0.00
Nice way to write an unsatisfiable constraint? 0.00
Template Haskell: Generate Records 0.00
Haskell - What's up with parMap? 0.00
In Haskell, is it possible to provide default implementation for pa... +0.46
Multiple before functions in HSpec? 0.00
How to implement default associated type family for OVERLAPPABLE in... 0.00
Haskell: how to keep count +1.60
Grow a tree from parent relations in Haskell +1.66
How to call constructor from Template Haskell 0.00
Pattern synonym binds differently from normal pattern 0.00
Building a Data.List.All from another Data.List.All 0.00
Creating polymorphic lens 0.00
Can I use the cpp MIN_VERSION conditional for a haskell package? 0.00
How exactly does the `(<*>) = ap` Applicative/Monad law relat... +1.92
`coerce` and instantiation of type variables -2.16
Haskell :: Recursion in Recursion for Loop in Loop +2.38
Kind Polymorphic Tuples 0.00
How to convert Dynamic to Forall something +0.46
How can linear types prevent such implementation of "duplicate... 0.00
What is a quick way to determine how many typed holes to give to a... 0.00
Pretty-printing JavaScript objects 0.00
Type inference with GADTs 0.00
Optimisation based on function result type +0.52
Can haskell optimise not tail recursive function? 0.00
How to process a recursive GADT with kind :: '[SomeDataKind] +2.22
How can I set up Haskell's GHCI to interactively evaluate funct... -2.13
cabal custom build flag 0.00
GHC Calling Convention for Sum Type Function Arguments -1.70
How can I write function to convert generic type to Tag-shaped type... +0.47
How can I produce a Tag type for any datatype for use with DSum, wi... +2.23
RankNTypes and Church numerals 0.00
Haskell Gloss: random starfield not random? 0.00
Haskell Gloss: time variable stays constant 0.00
Force GHC to ignore missing type constraint -0.01
Sharing observer function code between mutable and frozen versions... 0.00
Repetition in data constructor 0.00
Are Lists Inductive or Coinductive in Haskell? +2.26
The role of the asterisks (kinds, *) in this Foldable instance 0.00
Resolving overlap of instances with type families 0.00
How do I deconstruct/uncons a Symbol? +0.46
Strange interaction between type families and incoherent instances 0.00
Why does my program exit immediately after playing a gloss animation? 0.00
Using types to force correctness +1.68
Does a useful Haskell HashMap/HashTable/Dictionary library exist? -0.94
Why are higher rank types so fragile in Haskell +0.45
Why dollar ($) operator is so complex in GHC 8.0.1? 0.00