Skip to main content
Programming Language Design and Implementation Beta
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin
  • Member for 1 year, 2 months
  • Last seen more than a month ago
  • Tbilisi
Profile Activity
Stats
1,219
reputation
8k
reached
24
answers
0
questions
Communities
View all
About

Deeply Technical Writer at Noeon Research.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
12
bronze badges
Top tags
View all tags
19
Score
4
Posts
17
Posts %
15
Score
3
Posts
12
Posts %
14
Score
3
Posts
12
Posts %
13
Score
2
Posts
8
Posts %
12
Score
2
Posts
8
Posts %
10
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
10
What are the disadvantages of automatically inlining all functions?
Jun 20, 2023
9
Runtime/Backend for a lazy, pure functional, lambda-calculus-based language?
May 17, 2023
8
What is defunctionalisation useful for?
May 24, 2023
7
How do you solve Expression Problem in your language design?
Jun 6, 2023
6
What are the consequences of an unsound type system?
Jun 12, 2023
5
Documenting the syntax of an existing language
May 24, 2023
5
Could ownership be inferred?
May 21, 2023
5
What are the differences between Unit and Singleton Types?
Jun 16, 2023
4
What different types of garbage collection are there, and what benefits do they provide?
May 17, 2023
4
What are the advantages and disadvantages of just-in-time compilation?
May 24, 2023
Top network posts
View all network posts
13
Learning materials for doing analysis (calculus) in a mechanized way
11
Proof assistants for beginners - a comparison
6
Can the language of proof assistants be used for general purpose programming?
6
What's the difference between reflection and tactics?
6
What is the meta-language of ZFC?