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 ... 8 9 10 11 12
Title Δ
Haskell foldM from list to a single Either -1.38
Where to start with "Couldn't match type MyId with MyId&qu... 0.00
What are the rules to compose f-algebras in a catamorphism 0.00
How to help GHC infer that `Arrows (Domains func) (CoDomain func) ~... 0.00
What effects are modeled by the stream (infinite list) monad? +2.31
Model selective usage of sum type -1.84
Algebraic Data Types using Nat (singleton library) 0.00
Can I verify whether a given function type signature has a potentia... -1.06
How to avoid having to explicitly write composite KnownNat constrai... 0.00
How to convert any type to Symbol using type families? 0.00
Shortcut fusion for triemaps -1.32
Is there any way to convince GHC that this type parameter is phantom? -1.38
Backtracking with state +2.42
Harvesting function outputs (as well as inputs) from Haskell Quickc... 0.00
Binary instance for Static Pointers +0.45
Illegal datatype context (use DatatypeContexts): TypeFunctor f 0.00
Why does `forever` mean this code doesn't read from a socket or... -0.04
Is GHCI monadic bind strict? +0.70
Always guaranteed evaluation order of `seq` (with strange behavior... -0.64
Aeson Parser Returning 'Nothing' for Array field 0.00
Limiting effects, like with `Freer`, using MTL-style 0.00
Try to make Haskell logger for learning but restrictions of Monad i... 0.00
Importing a haskell module from the parent directory 0.00
CLI arguments in `new-bench` command in `cabal` 0.00
Safest way to generate random GADT with Hedgehog (or any other prop... 0.00
A type constructor IS a monad or HAS a monad? +3.08
Why are explicit forall quantifiers necessary for rank-n types? +4.44
Declaring an Opaleye table without using TemplateHaskell 0.00
How do I get the Core from a stack build? 0.00
Multiversion API implementation 0.00
How do I specify names for missing commands in the help message gen... 0.00
Simple definition of factorizer 0.00
How to use Text.Parsec in GHC-8.2.2 and Cabal-2.0.0.1 0.00
(fmap.fmap) for Applicative +4.51
Using the quickCheckAll function in tasty-quickcheck 0.00
How do I build a package against multiple resolvers 0.00
Collecting the arguments of a constructor for some type 0.00
Why do the types in `(fmap . fmap) sum Just [1, 2, 3]` work? +0.82
How to make a type with date field deserializable from json -4.04
Using type families and Generics to find an Id value 0.00
Possible tail recursive solution in haskell producing stack overflow 0.00
Combine Monad.Memo with environment through Reader in Haskell 0.00
Why does GHC not "upcast" a Vector to a Foldable? +4.47
getting derivations out of typeclass resolution +4.21
Arbitrary String generator in Haskell (Test.QuickCheck.Gen) 0.00
moeb traverse non-termination 0.00
Conditional compilation of library using test suite 0.00
Installing a package outside current resolver 0.00
Variadic function in a monad +3.86
Map over PatternSynonyms args before matching w/ ViewPatterns? 0.00