Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Max Heiber's user avatar
Max Heiber's user avatar
Max Heiber's user avatar
Max Heiber
  • Member for 7 years, 9 months
  • Last seen more than a month ago
9 votes
3 answers
1k views

Can a total programming language be Turing-complete?

4 votes
1 answer
162 views

What's the relationship between "semantic type soundness" and "functional correctness"?

4 votes
1 answer
383 views

Why are all polymorphic functions between functors natural transformations?

4 votes
0 answers
193 views

What are the applications of homotopy type theory to everyday programming?

4 votes
1 answer
326 views

Is occurrence typing (flow-sensitive typing) a form of dependent typing?

3 votes
1 answer
3k views

How to generate an LL(2) parse table?

2 votes
1 answer
184 views

How do type classes make ad-hoc polymorphism less ad hoc?

1 vote
1 answer
85 views

Is there a relationship between visitor pattern and DeMorgan's Law?

1 vote
0 answers
56 views

How is a homeomorphic embedding a homeomorphism?

0 votes
0 answers
22 views

What are the similarities and differences between dependent function application and ML functor application?