StackRating

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

Cactus

Rating
1542.65 (10,561st) 		Reputation
18,936 (7,293rd)
Page: 1 ... 6 7 8 9
Title Δ
Retain only values corresponding to true with haskell -1.88
SML: How can I simulate a counter in SML without having an addition... 0.00
Motivation behind Phantom Types? -4.13
How to acces variable in quoted list +3.90
Useful instantiations of “fix” on non-function types? +4.13
Haskell - Functor instance for generic polymorphic Algebraic Data T... 0.00
Invert object using only pure functions -1.39
Why does foldr invert foldl's parameters? -2.10
Tables reacting to click events on a per-cell basis 0.00
Haskell - Exposing IO actions in API +4.83
Functor instance for generic polymorphic ADTs in Haskell? -1.82
Simply typed lambda calculus with failure, in Haskell +5.01
Is it possible to use a conditional statement in an Idiom Bracket i... 0.00
Haskell Recursion ( No instance for (RealFrac Int) arising from a u... 0.00
How to create a type that wraps around mutable vectors? 0.00
Derive Haskell type and implementation of (<*>)(<*>) +3.73
"Inferred type is ambiguous" error using Data.Vector +1.05
Build a (Wire s e m a c) from (a -> b -> c) and (Wire s e m a... +2.07
Use StateT within Web.Scotty 0.00
How can I extract list of similar elements from a haskell list +3.95
Unsolved metavariable for function that has no inhabited arguments 0.00
Ways to pack (adjacent) elements of a list into 2-tuples -1.06
How can I show reduction from every language in RE to HP 0.00
Does Idris have an equivalent to Agda's ↔ 0.00
Turing Machines and Lambda Calculus equivalence 0.00
Non-exhaustive patterns in function haskell +0.22
Why does GHC produce an equality constraint error rather than a typ... 0.00
Typeclass Trouble with Haskell Probability Monad +3.96
List comprehension with infinity list +4.64
I'm misunderstanding Haskell's Control.Parallel and would l... 0.00
Is that possible to implement a stack with lambda expressions only? -3.23
In Agda is it possible to define a datatype that has equations? -4.68
How do options work? 0.00
How to calculate indegree and outdegree for a graph in directed gra... -0.08
more efficient type-level computations using type families? 0.00
Constraining Data Types +2.35
How do I replace space characters in a string with "%20"? +4.29
function that uses list comprehensions to generate a list of lists... +3.56
Existential typing ambiguity -3.82
Trying to apply CPS to an interpreter 0.00
Unification algorithm infers too concrete types 0.00
Pattern Match(es) are Overlapped - Pattern matching on Operators 0.00
Implementing sibling fusion using standard AST 0.00
Arrows are exactly equivalent to applicative functors? -3.47
CC65: Four lines bad, two lines good? 0.00
Why are type instances (a->a) and (a->a->a) conflicting in... +0.16
Writing chained mutation/modification functions for Mutable Vectors 0.00
Who's calling my interrupt handler if I have both CIAs turned off? 0.00
Haskell's type system and logic programming - how to port Prolog pr... +1.21
Indexing a matrix of matrices with a signal in Kansas Lava 0.00