StackRating

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

pigworker

Rating
1699.19 (154th) 		Reputation
39,297 (2,853rd)
Page: 1 2 3 4
Title Δ
Applicative instance for free monad 0.00
Can you formulate the Bubble sort as a monoid or semigroup? 0.00
Fibonacci numbers with initial two values as parameters +1.99
$ does not always work in Haskell +2.54
Haskell - string function +2.69
Zip with default value instead of dropping values? +2.72
Understanding a case of Haskell Type-Ambiguity -4.48
Are GHC's Type Famlies An Example of System F-omega? 0.00
Motivation for limitation on data kind promotion +3.74
Traversable and zippers. Necessity and sufficiency 0.00
Examples of a monad whose Applicative part can be better optimized... +0.69
How to make catamorphisms work with parameterized/indexed types? +3.10
Implementing a zipper for length-indexed lists 0.00
What is () in Haskell, exactly? +2.31
Prove idempotency of type-level disjunction +2.94
Translate from monad to applicative +3.11
Do Hask or Agda have equalisers? +2.66
Haskell/GHC UndecidableInstances - example for non-terminating type... +2.79
Why GADT/existential data constructors cannot be used in lazy patte... +2.09
Agda: run function for Conor's stack example 0.00
Can GADTs be used to prove type inequalities in GHC? +3.16
What's the absurd function in Data.Void useful for? +2.90
How can I get the length of dependently typed interval? +2.67
How to derive Eq for a GADT with a non-* kinded phantom type parame... +3.19
Finding a leaf with value x in a binary tree 0.00
What are paramorphisms? 0.00
Using all with multi argument function 0.00
Concrete example showing that monads are not closed under compositi... +0.35
Writing cojoin or cobind for n-dimensional grid type +3.70
Why not be dependently typed? +2.56
Haskell monad return arbitrary data type +2.83
Splitting list into a list of possible tuples +2.73
Haskell - How to create a matrix +1.37
Applicative style for infix operators? -4.68
Purely functional data structures for text editors +3.20
Can fold be used to create infinite lists? +3.07
Complex pattern Matching +2.74
How to solve goals with invalid type equalities in Coq? +2.97
Recursive Type Families +2.63
Is this a case to use liftM? +2.87
Positive integer type +1.86
applicative rewrite (Haskell) +3.31
What is the 'Const' applicative functor useful for? +3.38
What is the combinatory logic equivalent of intuitionistic type the... +3.17
Functional design patterns +0.73
Why explicit derivation of Show/Read in Haskell? -3.09
Using return vs. not using return in the list monad +3.50
Monads with Join() instead of Bind() +3.18
Simplify Maybe expressions -0.22
Existential type wrappers necessity +4.61