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 2 3 4 5 6 7 ... 8

Title	Δ
RankNTypes and the dot operator	0.00
Why won't Idris accept my custom fold?	0.00
Proving identity for binary operator on Fin	0.00
Typeclasses 101: GHC too "eager" to derive instance?	-2.45
Maintaining lazy modularity in a monadic computation	0.00
Using Pipes to read and write binary data in Haskell	0.00
Why does this not run in constant memory?	+1.78
How to use extensible-effects and IO?	0.00
Counting change in Haskell	0.00
Is there a standard Haskell function that prepends an extra paramet...	0.00
Tricky type signature for pairs of reversed pairs	+1.21
How can I define NFData instance for recursive singleton type?	0.00
Why must we use state monad instead of passing state directly?	+1.87
Parsing ASCII file efficiently in Haskell	+0.33
writing a type-level function for use with GHC.Generics	0.00
The smallest free number - divide and conquer algorithm	0.00
Why xs ++ acc works when using foldr on an infinite list, but acc +...	0.00
Haskell: playing with TypeFamilies; could not deduce issue	0.00
Can't show due to ambiguous type while using Data.Reflection in...	+1.57
Data family instance binding illegally to built in syntax: ()	0.00
Build a graph structure in haskell	0.00
Constraints within RankNTypes	+1.59
accessing bidimensional newListArray in Haskell	-0.53
Haskell - polymorphism and values depending on types	0.00
How can I write a more general (but efficient) version of attoparse...	0.00
Converting (Maybe a, b) to Maybe (a,b)	-0.51
Defining custom type families over the Nat kind	0.00
How do I avoid writing this type of Haskell boilerplate code	+0.87
Applicative style understanding	0.00
How do I use zoom with a MonadState constraint of a newtype?	0.00
How to improve the performance of Haskell IO?	0.00
How to use Proxy properly?	0.00
Haskell lens: let binding of Traversal'	0.00
Generating instances for n-depth structures?	+0.87
How to bring a data kind to the value level?	+1.76
How can I establish a bijection between a tree and its traversal?	+0.30
Is there any non-recursive term that folds over a scott-encoded list?	0.00
How to fill up a Data.Map in a space&time efficient way	+0.60
Nested chunksOf in Haskell?	-0.40
Infinite random sequence loops with randomIO but not with getRandom	0.00
Does Attoparsec support saving and modifying user state?	0.00
What is the right way to typecheck dependent lambda abstraction usi...	0.00
Update values in Haskell?	0.00
Type constraints become huge and unreadable for simple code	+0.37
using the Maybe monad with monadic actions	+0.45
Haskell AS binding on irrefutable pattern	-1.54
Why is this Haskell program allocating so much memory?	+0.34
Handling ambiguous types in composable free DSLs	0.00
How to use Lenses to traverse and assign to some (but not all) elem...	-0.64
Infinite type error when defining zip with foldr only; can it be fi...	+1.27