StackRating

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

effectfully

Rating
1498.40 (3,854,998th) 		Reputation
10,544 (14,356th)
Page: 1 2 3 4 5 6
Title Δ
How can I apply an arbitrary function under an existential wrapper? +2.69
Agda: pattern matching equal variables? 0.00
Haskell ad hoc polymorphism +0.86
How to get rid of boxing and unboxing in functional programing? -1.44
with-pattern result not visible 0.00
How can we define a type of symmetric binary operations in Agda? 0.00
Dynamically generate Haskell types at runtime? +0.37
What is the easiest way to turn a list with known length into neste... -1.45
How to build a typed variadic function from a container? 0.00
Accessing element from Stream in agda 0.00
Generate next rational number in agda 0.00
Problems on data type indices that uses list concatenation 0.00
Circular programming - replace list elements by minimum value -1.07
An example on how to use Agda Standard Library monoid solver 0.00
Arity-generic programming in Agda 0.00
Change fixity of function type (->)? 0.00
Why is this recursive (?) type permitted in Haskell? 0.00
Flattened matrix vs 2D matrix lookup equivalence (proof) - seeking... 0.00
Restrict output using Type Families 0.00
Problems with instance arguments in Agda 0.00
How to display the list but without a certain item. +1.31
How to pattern match against a typeclass value? -2.12
Randomness in a nested pure function -2.16
How to work with stream in agda? 0.00
Finding all possible intersections of two lists -2.97
How to define division operator in Agda? +4.09
Since "fold" isn't powerful enough to write a tree pr... -2.55
Is it possible to implement MaybeT with Applicative only? -3.46
Haskell: Heterogeneous list for data with phantom variable -0.40
List of any `DataKind` in GADT 0.00
in haskell, how to represent infinite data which is newly defined +1.27
Compute next element of list based on previous elements +4.81
How to use bind with nested monads? -3.55
How can I use &&& with a -> Maybe a +4.34
Why do we need monads? +0.68
Refactoring “staircasing” with case of `Maybe` values in `IO` code +2.22
Useful instantiations of “fix” on non-function types? -2.66
On Haskell, there a standard function that performs "scan"... +1.14
Idris proof by definition -3.76
How to convince ghc that type level addition is commutative (to imp... -2.63
Haskell - Traverse Tree and output to lists -3.61
Agda, type of proofs and with clause 0.00
What is happening when I compose * with + in Haskell? +0.79
Convert a function returning a list to a list of functions +0.98
Swap the characters, Haskell 0.00
Derive Haskell type and implementation of (<*>)(<*>) +0.14
Haskell trouble writing bind function for a monad instance (functio... +4.51
Formatting strings into triangles in Haskell +5.00
Is there a non-recursive way to write this "paginate" fun... +0.72
How can I remove unique elements in a list? Haskell -1.72