StackRating

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

Antal Spector-Zabusky

Rating
1622.37 (1,038th) 		Reputation
30,666 (3,957th)
Page: 1 2 3 ... 5
Title Δ
What are the rules regarding naming in Haskell? +1.22
Haskell getsizeof big integer -1.76
Extracting Coq to Haskell while keeping comments 0.00
Text adventure game problems with moving around with Directions +1.11
Recursive use of typeclass methods in Coq 0.00
Why does a function constructed with pattern matching have the Eq t... -1.84
Why is my function outputting different parts of its result at diff... -0.02
Haskell wildcard symbol usage +1.58
Why is this function being called every time I try to get its value? +0.32
Haskell: Run two monads, keep the result of the first one +1.85
How to derive instances for records with type-families -2.29
How does the presence of the "error" function bear on the... +1.57
Haskell/Frege <=< and =<< associativity 0.00
Is it possible to create a monoid instance for a GADT? 0.00
Type reduction infinite loop +1.28
Can I Create a Functor Data Type That 'Looks' Like an Int? -1.68
How to trigger a type family pattern match error in Haskell? -1.95
Disable Haskell type coercion 0.00
Can't write a Show instance for this type +1.75
Haskell: Filtering by type -0.17
Partial lift for Monads? +1.52
How do I define a value with "type" in Haskell's &quo... -1.64
How do we concisely define Eq based on a function? 0.00
Can I export constructors along with a type alias? +1.43
GHCI Haskell not remembering bindings in command line 0.00
Implement in Haskell the Church encoding of the pair for polymorphi... +1.59
Haskell enumeration +1.76
Determine if a path represents a file or directory +0.96
Name conflict in Haskell while creating modules 0.00
How do I add Data.Bits to Data.Modular, automatically? 0.00
Why is the following Haskell code non-deterministic? -0.15
Different numbers of arguments when pattern matching Maybe +1.32
How would the Lambda Calculus add numbers? +2.22
Defining partially applied typeclasses +1.97
Can I write a function using DataKinds that returns a value of type... +0.34
Catching Exceptions in Haskell +2.36
printing a list of type signatures -2.32
Graph of a partial function in Haskell: a -> Maybe b -> [a] -... +0.35
GHCi loading distant files/file traversing -0.15
Is it possible to create a Functor instance for sorted binary trees... +2.04
Haskell function that works with STUArray +1.75
Haskell library import syntax +0.32
Static mutex analysis 0.00
coq error when trying to use Case. Example from Software Foundation... 0.00
How to set constant seeds for Haskell's quickCheck function +1.13
Executing a function on a .txt file +1.04
Is it possible to define a list recursively in Haskell? +0.71
Type of `foldMap . foldMap` +0.94
Is there a way to union type constraints? +1.31
Is parametric polymorphism the same as dispatching on arity? 0.00