user avatar
user avatar
user avatar
Daniel Gratzer
  • Member for 10 years, 6 months
  • Last seen more than a week ago
117 votes
Accepted

Why doesn't Java 8 include immutable collections?

84 votes
Accepted

What are the safety benefits of a type system?

82 votes
Accepted

Why do programmers use `Acme` as a package, namespace or directory name

74 votes
Accepted

Sets Data Structure in Golang

45 votes
Accepted

Is it necessary to follow the standard, take the C standard for that matter?

41 votes

What is "short-circuiting" in C like languages?

38 votes
Accepted

Cleanest way to report errors in Haskell

34 votes

What skills (technologies) get outdated slower?

31 votes

Why is it so hard to recruit for compiler[-related] jobs?

23 votes

Why is PHP's method of comparing different types bad?

21 votes
Accepted

What is the reason of using an interface versus a generically constrained type

20 votes

What is Banana split and fusion in functional programming?

20 votes
Accepted

Why can't java generics be in arrays?

19 votes

Is a programming language a set of programs or a set of instructions?

18 votes
Accepted

Why C# is not statically typed but F# and Haskell are?

17 votes
Accepted

Type checking and recursive types (Writing the Y combinator in Haskell/Ocaml)

17 votes

When there's no TCO, when to worry about blowing the stack?

16 votes
Accepted

Using raw types in Java method signatures

14 votes
Accepted

Why isn't there a typeclass for functions?

14 votes
Accepted

Correct terminology in type theory: types, type constructors, kinds/sorts and values

13 votes
Accepted

Why does a monad use "return" or "unit" rather than "lift"?

13 votes
Accepted

Languages supporting unicode logic operators

12 votes
Accepted

Can someone explain the concept behind Haskell's memoization?

12 votes

Why do functional programs have a correlation between compilation success and correctness?

11 votes

Alternative to language purity

11 votes
Accepted

Maths needed to understand theory behind Haskell's type system?

10 votes

Does macros support make Scala a Lisp dialect?

10 votes
Accepted

Why isn't iostream included as a header file anymore?

10 votes
Accepted

Reference counting & GC in LISP

10 votes

type infered statically typed languages?