Software Engineering
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 12 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
11,736
reputation
352k
reached
77
answers
4
questions
Communities
View all
About

phd student in (categorical) type theory. Interested in higher categories and modal type theory.

Badges
View all badges
3
gold badges
47
silver badges
51
bronze badges
Top tags
View all tags
252
Score
21
Posts
26
Posts %
196
Score
12
Posts
15
Posts %
188
Score
17
Posts
21
Posts %
163
Score
7
Posts
9
Posts %
115
Score
15
Posts
19
Posts %
68
Score
8
Posts
10
Posts %
Top posts
View all questions and answers
answer
119
Why doesn't Java 8 include immutable collections?
Dec 18, 2013
answer
86
Why do programmers use `Acme` as a package, namespace or directory name
Dec 20, 2013
answer
85
What are the safety benefits of a type system?
Oct 24, 2013
answer
74
Sets Data Structure in Golang
Nov 28, 2012
answer
45
Is it necessary to follow the standard, take the C standard for that matter?
Jul 20, 2013
answer
43
What is "short-circuiting" in C like languages?
Jun 18, 2013
answer
39
Cleanest way to report errors in Haskell
Aug 11, 2014
answer
34
What skills (technologies) get outdated slower?
Oct 6, 2013
answer
32
Why is it so hard to recruit for compiler[-related] jobs?
Dec 15, 2013
answer
23
Why is PHP's method of comparing different types bad?
Feb 5, 2014
Top network posts
View all network posts
154
Setting an int to Infinity in C++
150
What is the purpose of the "send" function on Python generators?
122
How can I write multiline strings in Haskell?
91
Setting an int to Infinity in C++
76
What is the DataKinds extension of Haskell?