StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Li-yao Xia

Rating
1569.48 (4,103rd)

Reputation
13,052 (11,138th)

Page: 1 2 3 ... 12

Title	Δ
Instance signatures: constraints on methods	0.00
Is this type a valid "rank-2 bifunctor"?	0.00
Where accurately to set dependencies for modules to import, using &...	0.00
Using the "constraints" package to make a wrapped functio...	-0.71
What are the requirements to prefer CPS over algebraic data types?	-0.10
Attempting lens/traversal map multi-update on a subset of its keys	+0.42
list constructors conflict in Coq	0.00
What is the proper way to use Nat/Natural in a singletons data type?	0.00
Using Logic monad to backtrack upon exception thrown with ExceptT	0.00
How to get the “inflexible semantics of monad transformers” using e...	0.00
How can I generalise Coq proofs of an iff?	+1.51
How to pattern match exist to transform proofs	-1.15
Why do Calculus of Construction based languages use Setoids so much?	-0.48
Why does QuickCheck take a long time when testing a Functor instanc...	0.00
Is this a valid monad instance?	0.00
Is it possible to create efficient recombining trees using (co)recu...	0.00
Is it possible to recover constraints when using Dynamic/fromDynami...	0.00
Is the only difference between Inductive and CoInductive the well-f...	0.00
Applying a function at the variable x	0.00
Haskell NB: ‘Edge’ is a non-injective type family	0.00
Unable to find Coq library: `Error: Unable to locate library Floats.`	0.00
How to "zoom" through multiple levels of Maybe without ge...	0.00
split tail of the vector and append head of same vector	0.00
Test for GHC compile time errors	0.00
Can I avoid using Option A when I know that head cannot fail?	0.00
Handling forall inside an hypothesis	0.00
`match goal` doesn't match let destructuring expression	0.00
Exposing internal modules to tests in Cabal	0.00
No instance (Integral Float) in div	0.00
Why a pattern-matching failure is not catching by the exception han...	0.00
Why does my backtracking always return an empty list?	0.00
How does the grading script of the LF series work for manually grad...	0.00
Smart chaining operator in Haskell for DSL purpose	+2.59
Haskell: lift a normal function to a lens	0.00
Indicate target directory of stack build executable	0.00
Stack: random dependency cycle(s) detected	0.00
Haskell IO Recursion (with binary tree)	0.00
How to get a stacktrace from SomeException (or any other custom Exc...	-0.58
Reifying types with generics-sop metadata	-0.60
Pure conduit for an impure but effectless computation	0.00
How to enforce full evaluation inside async?	0.00
Quick Chick eqBoolArrowA_correct theorem	0.00
cabal install fails with "arithmetic overflow"	0.00
How to autogenerate such instances with Generic usage?	0.00
Restrict types in Sigma	+0.48
How to capture type variable in TemplateHaskell quote	+2.24
Annotating ambiguous type variable for MultiParamTypeClasses	0.00
Why can't I find any law violations for the NotQuiteCofree not-...	-0.29
quickCheck propositional logic generator	+2.19
How does Haskell runtime represent lazy values?	0.00