Skip to main content
The 2026 Annual Developer Survey is live— take the Survey today!
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 15 years, 1 month
  • Last seen more than 1 year ago
Profile Activity

Profile

Stats

54,131
reputation
3.4m
reached
562
answers
27
questions
Communities
View all

About

assistant professor at Aarhus University. interested in (categorical & homotopical) type theory.

Badges

View all badges
11
gold badges
101
silver badges
137
bronze badges

Top tags

View all tags
2,950
Score
401
Posts
68
Posts %
291
Score
37
Posts
6
Posts %
249
Score
58
Posts
10
Posts %
230
Score
35
Posts
6
Posts %
228
Score
30
Posts
5
Posts %
112
Score
40
Posts
7
Posts %

Top posts

View all questions, answers, and articles
answer
856
fatal: Not a git repository (or any of the parent directories): .git
Dec 6, 2013
question
161
Setting an int to Infinity in C++
Dec 31, 2011
answer
157
What is the purpose of the "send" function on Python generators?
Oct 10, 2013
answer
127
How can I write multiline strings in Haskell?
Apr 7, 2014
answer
91
Setting an int to Infinity in C++
Dec 31, 2011
answer
80
What is the DataKinds extension of Haskell?
Dec 13, 2013
question
66
Enhanced FOR loops in C++
Dec 4, 2011
answer
61
Haskell unit testing
Dec 2, 2013
answer
57
Why is it possible to sleep / pause execution in Haskell if it's purely functional?
Aug 29, 2014
answer
55
How did Haskell add Turing-completeness to System F?
Aug 12, 2014

Top network posts

View all network posts
118
Why doesn't Java 8 include immutable collections?
85
What are the safety benefits of a type system?
75
Sets Data Structure in Golang
45
Is it necessary to follow the standard, take the C standard for that matter?
45
Shortest code to produce infinite output