StackRating

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

András Kovács

Rating
1646.10 (628th) 		Reputation
25,270 (5,059th)
Page: 1 ... 5 6 7 8
Title Δ
Types in MaybeT computation -1.67
How to specify type for class constrained value? +2.87
What is the difference between ix and element in the Lens library o... -4.05
Haskell Multiple Contexts - currying? 0.00
Structural Induction and Induction Hypothesis in Haskell 0.00
Why ContT doesn't deal with the inner monad? +3.12
Reflecting Heterogeneous Promoted Types back to Values, Composition... 0.00
Is it possible to encode a generic "lift" function in Has... -5.15
Is polykinded type application injective? +0.00
Where Clause Applied To Multiple Patterns 0.00
Efficiency in Haskell when counting primes -2.23
Abstraction for monadic recursion with "unless" -0.22
Is it possible to list the names and types of fields in a record da... 0.00
What is the proper (efficient) way to write this function? -0.07
Haskell - Huffman Decoding without tree 0.00
Working out the details of a type indexed free monad -1.82
Working out the details of a type indexed free monad +2.10
Converting a type to unboxed type 0.00
Inverting a Type Family -1.36
ScopedTypeVariables between a type class and its instance 0.00
Two-fold fmap application +2.64
What data structure for an array of bit flags? +2.95
How to combine the results of two simple lenses into one -1.01
Mixing IO w/ ST Monad - "type variable `s2' would escape i... 0.00
why not a case with predicate guards in addition to pattern guards? +3.21
Haskell: How to test that code isn't compiling? +3.32
How can I prove a type is valid in Agda? -5.17
Ensuring that a haskell type A contains a member of type B +3.70
What is "a Haskell way" to transpose a graph? +3.23
Infinite lazy bitmap +2.83
Function like catMaybes, but counting Nothing values +0.60
Typeclass for list <-> tuple conversion +3.46
forall as an intersection over those sets +1.49
Structure sharing Vector in Haskell 0.00
Check whether an AST recursively contains a specific constructor 0.00
choosing one of the nondeterministic choices -0.75
Point free monadic expression 0.00
How to establish an ordering between types in Haskell +3.06
Pattern matching on rank-2 type +2.67
Avoiding duplicates in breadth-first search +3.42
Is there a reason we can't populate types with DataKinds? -3.06
Retreiving information from DataKinds constrained existential types 0.00
Class restriction for type synonyms? 0.00
Optimising manipulation of large vectors +3.07
Optimising Haskell data reading from file +3.12
Haskell: Change a list of 100 numbers to 10 lists of 10 numbers? +3.22
Parsing/exporting arbitrarily nested JSON objects to maps in Haskell +3.17
Exact difference between div and quot 0.00
Stuck on proof with heterogeneous equality +3.29
Type families get stuck where the equivalent type using functional... 0.00