Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Andreas Rossberg's user avatar
Andreas Rossberg's user avatar
Andreas Rossberg's user avatar
Andreas Rossberg
  • Member for 12 years, 4 months
  • Last seen more than 1 year ago
48 votes

Type classes vs object interfaces

14 votes

Is this behavior in a programming language inconsistent?

11 votes

Proof that the calculus of constructions extended with recursive types isn't strongly normalizing?

10 votes

Is it reasonable to allow the type of a λ/∀-bound variable to refer to itself?

7 votes

Extending Hindley-Milner to type mutable references

6 votes

Why would the term "dynamically typed" be considered a misnomer?

4 votes

Encapsulation of OOP and referential transparency of functional programming

4 votes

Confusing (to me) statement from "Type Classes in Haskell"

3 votes

Purely(ish) functional data structure with fast append and forward iteration

1 vote

Soundness of type (systems)