StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Jorge Adriano Branco Aires

Rating
1519.47 (32,993rd)

Reputation
2,220 (75,809th)

Page: 1 2

Title	Δ
Compression reverse Haskell	-2.03
Passing a data constructor instead of a Type constructor on a funct...	-3.41
Every monad is an applicative functor — generalizing to other categ...	+5.27
Haskell: cannot construct the infinite type: t ~ t -> t	0.00
Why does `and` return True for empty foldable but `or` return False...	+3.14
`(a -> b) -> (c -> d)` in Haskell?	-0.13
Wrong kind in `symbolVal` to get a type-level string at runtime	-3.32
Check if a list of lists has two or more identical elements	-0.62
mapM on IO produces infinite output	+1.42
haskell BinaryTree signatur termalalgebra calculate size	0.00
Parametric Polymorphism question in OCaml	-4.26
Recursive Haskell function seemingly doesn't terminate	0.00
Type error with function using tuples and lists	-4.24
Haskell error: Variable not in scope: myEven	-3.43
`(<*>)` definition for the Applicative functor?	+2.49
Haskell: merging list of lists	-4.39
Haskell instances under type variable conditions	+4.84
What is "proxy a" in printtype function?	0.00
permutation in a list with repetition ocaml	0.00
isContain function in a List	+4.35
Pick a specific picture from a list	-3.28
Reducing this lambda expression	0.00
Are the addresses of array elements guaranteed to increase	-3.76
How to prove or model check a theorem in TLA+?	0.00
Filling an array of strings with words from a file txt	-0.35
OCaml LET REC typing rule for type inference	0.00
Beta Conversion for Lambda Calculus Haskell	0.00
separate even and odd elements of list haskell	+3.92
Toplevel Ocaml infinit interpretation loop	-3.89
How to fix zip function for lazy list (aka "stream")?	+3.79
Does haskell hide types if the same name is used in a different mod...	+5.28
Understanding recursive function in linked-list C	0.00
A Function which Simplifying Boolean Expressions	+5.65
How to represent a variable-typed constructor list with GADTs?	+0.55
C String recursion stack copy or...?	0.00
Filtering with a predicate that takes 2 arguments	+4.61
Overload in Haskell (show and num)	0.00
How to fix problem taking first element of lazy list?	0.00
a fixed point for fix :: Eq a => (a -> a) -> a -> a	-0.66
Understanding type functions with linked-list	0.00
Passing a function as a parameter and returning a function - Haskell	+1.31
sub-sum from a list without loops	0.00
Haskell state monad different behaviour on even and odd function ca...	0.00
why does realloc throws me "Segmentation fault (core dumped)&q...	-0.80
How do you find the list of all numbers that are multiples of only...	+0.53
Ocaml how to summing individual elements with tail recursion?	-0.13
Understanding the implementation of Y-Combinator	-1.81
Checking if all bolean elements in a list are the same in Haskell	-0.76
How to make function that operates on lazy lists (aka "Streams...	-3.13
Must the operator for a semigroup be defined for all arguments?	+5.43