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 4 ... 12

Title	Δ
cabal new-install hakyll is fails to build dependency	0.00
Is Last a free monoid?	+0.50
Haskell & Language Design: Design Struggle in implementing Do-W...	0.00
Avoiding thunks in sparsely evaluated list generated by monadic unf...	0.00
Using point free style for parts of a function definition	0.00
Couldn't match expected type in Haskell during pattern matching	0.00
How are logics encoded in Coq?	0.00
Not explicitly specifying instances of a type in coq	0.00
What is the connection between laziness and purity?	-1.35
How to have a second list for a second directory of posts in Hakyll...	0.00
How is it possible to collect all error messages in the Either Monad?	-0.49
Hughes' Fibonacci stream	0.00
Why is foldr' not as strict as foldl'?	0.00
<*> is a variant of <> with the arguments reversed. W...	-0.67
Can we think of non-symmetric product data types in Haskell?	0.00
Cases in which we shall not use monadic bind to write mfix down usi...	0.00
Some help dealing with inject/unject and vector types	+1.98
Constructing function that builds heterogeneous list from all its a...	+0.54
Is there a Haskell module for compiling metadata into my packages	0.00
Abstract over lens type to provide better read-write control of pro...	0.00
Quantified type equality of associated type families	0.00
Can't compare strings using Coq standard library	0.00
Complexity of computing Fibonacci sequence as a fixpoint	0.00
Could not match type ‘[Char]’ with ‘Data.Text.Internal.Text’	0.00
Running the NonDet effect once in Polysemy	0.00
Under what circumstances is equality of equalities decidable?	0.00
Haskell: How to integrate semantic whitespacing into a parser?	0.00
Is Biff Either an Applicative?	0.00
Looking for some help on the Sin_domain proof from Software Foundat...	0.00
How to iterate over a list of certain data types while accessing of...	0.00
Haskell Tuple destructuring on infinite lists behaves differently w...	+2.35
Specifying Paths for exporting files in Coq?	0.00
How does initial state gets picked up in State Monad?	+2.48
In the Software Foundations Trie module, what is a good implementat...	0.00
Is there a way to merge two OutputStreams?	0.00
Are these threads blocked forever?	0.00
Build dependency in library or executable section of cabal file?	0.00
fill a linked list, having information about the length encoded in...	0.00
Can I get this ambiguoulsly typed function to compile?	-1.23
How to join those two config parts together?	0.00
How to override hackage depedency in Stack with git branch	0.00
Why can't ghc match these types on this Category product?	0.00
Natural Tranformation in a More General Context	0.00
How to combine two composed applicative functors?	+0.84
Haskell sendAll message to socket client results in: `Exception: Ne...	0.00
Iterate a function with different input and output types	0.00
Getting the last element of a heterogeneous list	0.00
Associate a type level optional natural number (Maybe Nat) with a v...	+2.21
Type safe modular arthmetic no annotation	-0.58
How to write unwrapper for Church encoded free monad?(Haskell)	0.00