Skip to main content
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin's user avatar
Alex Chichigin
  • Member for 1 year, 1 month
  • Last seen more than a month ago
  • Tbilisi
10 votes

What are the disadvantages of automatically inlining all functions?

9 votes
Accepted

Runtime/Backend for a lazy, pure functional, lambda-calculus-based language?

8 votes
Accepted

What is defunctionalisation useful for?

7 votes
Accepted

How do you solve Expression Problem in your language design?

6 votes

What are the consequences of an unsound type system?

5 votes

Documenting the syntax of an existing language

5 votes

Could ownership be inferred?

5 votes

What are the differences between Unit and Singleton Types?

4 votes

What different types of garbage collection are there, and what benefits do they provide?

4 votes

What are the advantages and disadvantages of just-in-time compilation?

4 votes
Accepted

Quantified variables without case-based analysis in traits

4 votes

How do I implement branch prediction for JIT?

3 votes

How can multiline lambdas be designed in indent based languages?

3 votes

What are some practical examples of domain-specific term-rewriting systems?

3 votes

Compile-time reference resolution across Java-like packages

3 votes
Accepted

Utilising recursion schemes when implementing compilers

3 votes

What options are there for adding formal verification to a general purpose programming language?

3 votes

Why intersection types have more fields and union types have fewer fields?

3 votes

What are the pitfalls of using an existing IR/compiler infrastructure like LLVM?

3 votes

How could a language support GPU execution cleanly?

2 votes
Accepted

How can I implement a control flow graph?

2 votes

How to dynamically dispatch extension methods?

2 votes

How to estimate which parts of a program will be slow?

1 vote

How should I represent objects under prototype-based inheritance?