Skip to main content
Programming Language Design and Implementation Beta
ice1000's user avatar
ice1000's user avatar
ice1000's user avatar
ice1000
  • Member for 1 year, 3 months
  • Last seen this week
Profile Activity
Stats
2,634
reputation
22k
reached
30
answers
8
questions
Communities
View all
About

I'm into univalent type systems. Worked on Agda and Arend, working on Aya.

Visit count (since 23 Feb 2023):

Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
29
bronze badges
Top tags
View all tags
94
Score
7
Posts
18
Posts %
89
Score
4
Posts
11
Posts %
47
Score
2
Posts
5
Posts %
47
Score
2
Posts
5
Posts %
38
Score
8
Posts
21
Posts %
19
Score
2
Posts
5
Posts %
Top posts
View all questions and answers
answer
42
What are different ways of handling runtime errors?
May 16, 2023
question
41
Why do some PL choose to have a dedicated keyword for elseif instead of like in C?
May 16, 2023
answer
31
What are the drawbacks of using indentation for code blocks?
May 16, 2023
answer
19
Why do some languages have quotes around imports?
May 17, 2023
question
17
What are the pros and cons of eliminators vs. pattern matching with a termination checker?
May 16, 2023
answer
16
What are the drawbacks of using indentation for code blocks?
May 16, 2023
answer
14
What is implied by the names "sum type" and "product type"?
May 19, 2023
answer
13
What are some syntax options for describing generic ("templated") types?
May 16, 2023
question
12
What are the advantages of having first-class functions versus having only anonymous class with fancy sugars?
May 16, 2023
answer
9
How might one formally communicate/define/describe a programming language design?
May 16, 2023
Top Meta posts
3
6
14
What's the right domain name for this site?
10
Are library design questions on-topic?
4
What's going on with this question?
Top network posts
View all network posts
41
IntelliJ: changing color of an unused variable
36
How to implement this Java interface in Kotlin?
30
What is an algebraic data type?
27
How to apply a patch generated with git format-patch?
23
Is there Multimap in Kotlin?