StackRating

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

J. Abrahamson

Rating
1605.16 (1,571st)
Reputation
49,923 (2,006th)
Page: 1 2 3 ... 12
Title Δ
Clean way to derive Eq -2.18
Folding union-types into Either/Coproducts 0.00
Monad more powerful than Applicative? -0.52
Writing the Identity monad in terms of Free -0.44
What's the difference between a lens and a partial lens? +1.67
Are there useful applications for the Divisible Type Class? -2.51
Is it possible to use church encodings without breaking equational... -0.82
A type that's easy to do arithmetic with and is guaranteed in b... +1.27
Haskell sequencelistIO [a -> IO a] -> a -> IO a +0.36
Is Curry-Howard correspondent of double negation ((a->r)->r)... +1.02
How to decode recursive JSON arrays in Haskell? 0.00
Haskell Continuation passing style index of element in list -1.95
Mutually recursive types in OCaml -1.90
Composing Monads v. Applicative Functors 0.00
In Haskell, how do you use 'head' without creating a separa... +1.27
Pattern match Haskell Higher order function? -2.67
"ExistentialQuantification" and Eq instance -0.36
Haskell - Convert De Bruijn terms to Lambda terms (and vice-versa) +0.96
Haskell custom data type and reprsentation 0.00
What is the grammar rule for this OCaml code? +1.45
Haskell define a datatype 0.00
What's the reason of 'let rec' for impure functional la... +0.49
How to create a base case for a tuple in Haskell? -0.77
Mutually recursive module and functor in OCaml 0.00
How to iterate over all elements in a record type with the same typ... -0.66
Terminology: what is the precise definition of "type expressio... 0.00
Since "fold" isn't powerful enough to write a tree pr... +0.32
JSON printing format 0.00
What is "Scrap Your Boilerplate"? 0.00
Generality of `foldr` or other higher order function -1.44
Taking monadic functions out of a monad +1.27
Haskell - constructing a type that uses existential quantification +0.33
Understanding `mapA` to Gain Intuition +0.32
How to detect end of input with pipes 0.00
Difference between concatMap f xs and concat $ map f xs? 0.00
Implementing `Monad ((->) e)` +1.88
From (a->b) to (MyType->MyType) +1.27
What are the benefits of replacing Haskell record with a function -0.64
Using global variable in Haskell's function but not as reference +1.55
Implementing recurrence relations on State monads (in Haskell or Sc... +1.03
Generating Haskell code from COQ: Logical or arity value used 0.00
Boilerplate-free annotation of ASTs in Haskell? +1.10
haskell join multi-level monad +0.33
General 'typeless' STack in Haskell +0.01
Haskell: Why use Proxy? -0.11
Make Data Type of Kind * -> * That's Not a Functor +1.28
When is explicit recursion necessary? +0.27
RankNTypes and pattern matching +0.35
`forkIO` and `putMVar`: what's going on under the hood? 0.00
Is Haskell designed to encourage Hungarian Notation? +1.40