StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Andreas Rossberg

Rating
1610.57 (1,381st) 		Reputation
27,467 (4,595th)
Page: 1 ... 8 9 10
Title Δ
define a "trick" standard ML function without specifying... 0.00
Is the concept of Algebraic Data Type akin to Class definitions in... -1.52
Hiding type parameter in a signature +4.51
What's the difference between records and tuples in OCaml +4.57
what is a fully type-inferred language? and limitations of such lan... +4.18
In OCaml, is it possible to define Map in terms of Set? -0.73
Why names form a kind and not just a type? +1.21
Conditional module aliasing 0.00
Any difference between First Class Function and High Order Function -2.05
What are type quantifiers? +4.18
OCaml module types and separate compilation -1.04
variants, existential polymorphism in c++ 0.00
Is there an equivalent of partial application for return values? +3.54
Implementing a counter in SML -0.01
Implementing the map function using only foldRight, foldLeft and un... -3.95
What are some types and/or terms in system-f that cannot be express... 0.00
Why is functional programming good? -1.26
which is better Standard ML or OCaml 0.00
How to represent a simple finite state machine in Ocaml? +2.38
typing recursive modules 0.00
What is dependent typing? +4.18
Theoretical difference between classes and types -0.19
Is static typing a subset of dynamic typing? +3.25
What is a dynamic typing bug? -1.59
Does "untyped" also mean "dynamically typed" in... +4.35
Type constructors and type constants (and type variables) : What's... +1.98
Define functions over 2 parallel modules built by functors +4.80
Define recursive signatures for modules +3.96
Polymorphic type inside a module (OCaml) 0.00
How to emulate laziness 0.00
typed vs typeless language 0.00
Has anyone yet used ECMAScript Proxies? 0.00
Problem with Tail Recursion in g++ 0.00
Javascript map native object methods 0.00
What is the point of the class Option[T]? 0.00
What is the difference between a 'closure' and a 'lambda'? 0.00