StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

HTNW

Rating
1610.36 (1,388th)

Reputation
10,063 (15,173rd)

Page: 1 2 3 4 5 6 7 ... 11

Title	Δ
Why is there difference between throw and throwIO?	+0.63
Could you write a type function to invert a constraint?	+2.35
How to reduce a Java stream to a boolean value based upon comparing...	-1.84
Typeclasses and type inference in Haskell	+1.50
Performance of Integer type with large numbers	0.00
Can I write `foldr` (or `foldMap`) in terms of 'recursion schem...	+0.31
Duplicate packages in Haskell environment?	0.00
Can `foldr` and `foldl` be defined in terms of each other?	+0.97
How to get around the "couldn't match type 'b' wit...	0.00
How to convert type-level list into chain of pairs	0.00
Implementation for the "wrapper" wrapper in Haskell FFI	0.00
Which is a polymorphic type: a type or a set of types?	+0.43
Type-level monoid-like operations for generalizing indexed monads?	-2.28
How can I find the predecessor of a Natural with type-level parity...	+0.62
Quasiquoter concrete syntax for visible type application	0.00
How to run Haskell on GraalVM?	+0.38
Different space behaviour when compiling from source than when link...	0.00
Traversal/lens with a monad side effect	0.00
Can't use PeanoNat.Nat.add_assoc in proof	0.00
Why is using QuantifiedConstraints to specify a subclass of a typec...	0.00
Retrieving constraints from GADT to ensure exhaustion of pattern ma...	-0.14
Is Traversable different for breadth-first and depth-first trees?	0.00
How to implement monadic parsing?	0.00
Grep {n} The preceding item is matched exactly n times, is not clea...	0.00
Debug memory issue in Haskell	0.00
How does Haskell's type system generate this error?	+1.43
Is the Yoneda Lemma only useful from a theoretical point of view?	+1.90
Problem with spec block in literate haskell file	0.00
How to define an instance of Control.Functor.Constrained?	-0.99
How do I compile a Haskell Mach-O executable that exports a symbol?	0.00
How to not apply instance constraints on a restricted function whic...	0.00
if statement in do block gives error message	+1.35
Variadic template ambiguity - empty parameter pack	-0.51
Why do we need semaphores on single cpu?	0.00
Is it possible to have a data type that has just one constructor of...	0.00
Experimenting with cong in the Idris REPL	0.00
Shorter notation for matching hypotheses in Coq?	0.00
What to do when the induction removes too much information to make...	+0.93
What to do when the induction removes too much information to make...	-0.74
Why does this code involving "? super T" compile successf...	-1.89
Use generics to enforce same type properties in an array of an inte...	-0.75
Haskell tuple monad is too strict?	-0.69
Finding head of a list using foldl and the last element using foldr	+1.64
C++ Initialize Member Array with Constructor Argument	0.00
How to create function which would make flat List from arbitrarily...	-2.18
How to test GHC plugins?	0.00
String ordering using fold	-0.39
Dependent type seems to “not work” when generated by Scala macro	0.00
Test if all elements of a Foldable are the same	+1.95
How does one obtain the type of the value that an AST represents?	+1.70