Programming Language Design and Implementation Stack Exchange is a question and answer site for designers and implementers of computer programming languages. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question
Anybody can answer
The best answers are voted up and rise to the top

Explore our questions

1 vote
1 answer
111 views

Expressing runtime constraints with trait-bounds

29 votes
11 answers
18k views

Why do so many programming languages not have a "built-in" way to do simple math functions?

6 votes
2 answers
157 views

How to determine the meaning of a polymorphic operator?

2 votes
1 answer
315 views

Are enum members literals or constants in an IR?

19 votes
6 answers
773 views

Can regex be compiled into efficient machine code?

6 votes
1 answer
536 views

What, if any, runtime cost is incurred by using 64-bit ints on 32-bit platforms in LLVM?

6 votes
2 answers
184 views

How to ensure coherent choices of representatives in an e-graph?

8 votes
1 answer
528 views

What are the tradeoffs between using sea of nodes, CFG of basic blocks, and egraphs for compiler optimizations?

9 votes
4 answers
922 views

Data structures for scopes and variable shadowing

17 votes
5 answers
743 views

Are very explanatory compiler error messages worth the effort needed to implement them?

14 votes
5 answers
1k views

What are some techniques for faster, fine-grained incremental compilation and static analysis?

34 votes
6 answers
4k views

How to ensure that an optimising compiler will terminate?

20 votes
3 answers
580 views

How can switch statements with sparse cases be compiled?

10 votes
1 answer
690 views

Can type-checking algorithms be practically generated from formal descriptions of type systems?

Browse more Questions