StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

luqui

Rating
1631.93 (844th)

Reputation
49,324 (2,047th)

Page: 1 2 3 4 5 ... 14

Title	Δ
Understanding signature of data type, typeclass, and making a data...	-2.72
A simple case where LiquidHaskell works well on the type "Data...	+2.03
How could I prove this type level Haskell theorem?	0.00
Understand the Applicative problem (#7) in Chapter 12 of "Prog...	0.00
Polymorphic ADT with type-class constrained Constructor	0.00
Proving m + (1 + n) == 1+ (m + n) in Dependent Haskell	0.00
Connection between map function in Data.Map and fromList function	0.00
How to derive multiple Functor instances in Haskell?	0.00
Using Haskell to interpret multi-line strings of code at runtime	0.00
Why is this applicative instance unlawful?	0.00
Haskell update sublist by index	-0.65
How does the Haskell compiler emit code for `(==) (fromInteger 0) (...	0.00
How to throw an exception with CallStack?	0.00
Haskell Interpreter for System T Combinator Language	-1.33
Haskell Interpreter for System T Combinator Language	+2.00
How to solve this math Function in Haskell?	+2.21
Expressing infinite kinds	+0.82
Why does `forall (a :: j) (b:: k)` work differently than `forall (p...	+0.09
Override poorly encapsulated instance in Haskell	0.00
How do I enforce run-time conditions on data in Haskell?	+1.44
Passing a function as a parameter and returning a function - Haskell	-0.16
Implementing PrimMonad for newtype-d CatchT (ST s) stack	0.00
Haskell: Parse error pattern using ValTypes	+0.32
How does compiler figure out fixed point of a functor and how cata...	+1.41
ViewPatterns affects typechecking in an unpredictable manner	+1.74
Why doesn't GHCi allow type arguments for this version of join?	0.00
Do the monadic liftM and the functorial fmap have to be equivalent?	+1.74
Determining type of algebraic data structure	+1.38
Purely functional (persistent) ring buffer	0.00
Binding to a monad that is inside a data structure in Haskell	-1.88
Difference in Function typing in Haskell	+0.62
Haskell: Is there any object that is of every type, like `null` in...	-0.57
Why the "++" function is much more expensive than ":...	-0.57
Left and right recursive parser	-2.41
Is it possible to define variadic-kinded data types?	0.00
Suggestions for graph-like data structure	-0.45
Haskell - Using one data type kind in another	0.00
If a data structure is foldable, is it a monoid?	+1.32
Enforce class constraints in type class that is not captured in the...	+0.34
A function for returning part of a product or record depending on p...	+0.17
Haskell list comprehension error	0.00
Type variables in function signature	0.00
Pass string to edit in terminal and confirm with enter-key in Haske...	0.00
Defining an Ordinal type whose enumerated subtypes are not ordinal	+1.99
Returning a subset of types in Haskell	+0.34
How should I structure constrained parameters in Haskell?	0.00
Why is colon right associative in this expression?	+0.33
When I specify x has type a, why does Haskell try to infer it has t...	+1.80
What will be the impacts if Haskell uses "!" instead of k...	+1.30
What does `Forky (a -> b) means in type declaration?	-2.29