StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Benjamin Hodgson

Rating
1599.34 (1,806th)

Reputation
27,921 (4,498th)

Page: 1 2 3 4 5 6 7 ... 8

Title	Δ
Checking if one type-level list contains another	-2.46
In Haskell, how could I embed one Free monad in another one?	+1.96
Type Juggling with Existentials at Runtime	+1.60
Why can't type Id a = a be partially applied to data D f = D (f...	0.00
Is there any connection between `a :~: b` and `(a :== b) :~: True`?	0.00
Problems in defining an applicative instance	+2.05
Coyoneda and Deriving Functor in Haskell	+0.42
GHC cannot infer type of function called from `ReaderT (Proxy p) IO...	0.00
How to compose function and monad action in Haskell	0.00
Type level environment in Haskell	+2.43
Returning random generator from runST	+2.59
Haskell: unexpected "Not in scope" error for simple funct...	0.00
Is there any type-algebra function mapping an ADT to the set of ele...	0.00
Existentials and reusing witness	-1.69
State monads: Transitioning from one state type to another	0.00
Infinite (finally-periodic) HList in Haskell	+1.62
Looking for `flatten :: Event [a] -> Event a` in Reactive Banana	0.00
Selecting specific elements that contain a certain word from a list...	+0.39
Histomorphisms, Zygomorphisms and Futumorphisms specialised to lists	-1.28
Histomorphisms, Zygomorphisms and Futumorphisms specialised to lists	+1.22
Composition of Applicative functions	+0.42
Enforcing function naming conventions	0.00
Product of Elements in a list by using head, tail and null	0.00
What does this monad transformer type mean?	0.00
type families: how to instantiate Bifunctor for a pair data type fa...	0.00
Error when trying to compose monadic functions	+2.03
Haskell: how to print each element of list separated with comma	+1.95
How to implement mathematics induction on Haskell	-0.92
Haskell - depth for each node in binary tree using Reader monad	+2.05
Unable to insert a tuple or array into an sql table -- variable is...	0.00
2 lists of lists. Sort both according to len of lists of one	+1.56
Passing runtime information for polymorphic function	-2.41
Constructing Proxy type given the input	0.00
How do I define partially ordered sets in Lean?	+0.46
Using tqdm on a for loop inside a function to check progress	+0.44
How to flatten a dictionary into a tuple of two lists?	+0.13
Are parameterized lambda terms a Monad?	0.00
How to override generic method with derived type in c#	-1.11
Base class' property changes (become unwritable) through derive...	+1.35
Failure to understand some prime sieve syntax	+0.48
Create object that cannot be pickled	+1.63
Building a monad on top of hedis, a haskell redis lib	0.00
How to filter unwanted words in a text file Haskell	0.00
Writing a Monad Transformer, does it really need so many hardcoded...	0.00
Limits of dependent typing in Idris	0.00
Is it possible to leverage monadic structure if multiple monads are...	0.00
Is there are any way make locals() and globals() defaultdict-like	-0.70
testing and assertion in list comprehension	0.00
Haskell - Using a constant in pattern matching	+1.76
Extract digits from string by condition	-0.50