Skip to main content

Top Questions

3 votes
1 answer
70 views

Representing multiple alternative ASTs in one structure

-1 votes
2 answers
359 views

Which number should be considered as true/false?

5 votes
0 answers
79 views

What are some of the challenges in implementing, and disadvantages of having, dependent types in a programming language?

2 votes
1 answer
94 views

Why isn't the nullable marker in Dart a monad?

17 votes
7 answers
3k views

The static keyword and clarity in language design

-2 votes
0 answers
65 views

Where can I find the machine code manual of a computer? [closed]

17 votes
2 answers
3k views

What does it mean that a language has an "effect system"?

19 votes
1 answer
627 views

What is the relationship between STG and RVSDG?

1 vote
1 answer
203 views

References in a language where everything is a reference?

13 votes
1 answer
284 views

Extending Hindley Milner with (mutual) recursion

7 votes
4 answers
614 views

Can something like a Donkey Sentence exist in a programming language?

7 votes
3 answers
307 views

Why don't languages do automatic pimpl?

12 votes
1 answer
2k views

Async Implementation

6 votes
0 answers
186 views

What was the first language to use backslashes as escape characters in string literals?

0 votes
4 answers
450 views

How to design a programming language that can simplify/optimize algorithms?

2 votes
1 answer
204 views

Is it practical to use binary trees as a sequential container?

3 votes
0 answers
174 views

How to implement type checking of generics?

3 votes
0 answers
165 views

Languages in which array types must be declared before usage

0 votes
1 answer
264 views

From a parsing perspective, which is more efficient? Right-to-left or left-to-right argument parsing?

143 votes
1 answer
47k views

How should I read type system notation?

10 votes
5 answers
760 views

Why do some languages have quotes around imports?

26 votes
6 answers
2k views

How have modern language designs dealt with Unicode strings?

6 votes
2 answers
894 views

What are the limitations of combining tracing GC with manual memory management?

4 votes
1 answer
209 views

How to implement a control flow analyser?

22 votes
10 answers
5k views

Why would accessing uninitialized memory necessarily be undefined behavior?

11 votes
1 answer
336 views

What is "graded modality" in type theory?

2 votes
1 answer
245 views

Semantic modeling in Rust

4 votes
2 answers
319 views

Can two infix operators have the same priority, but different associativity? If so, how would it be implemented in the parser?

11 votes
4 answers
5k views

How do you correctly compile the chained comparison operators like ones that exist in Python (`a < b < c`), if `b` might have side-effects?

4 votes
2 answers
213 views

What are the cons of inlining then optimizing and then reverse inlining?

22 votes
4 answers
4k views

How are "strong" and "weak" typing defined?

19 votes
7 answers
2k views

What are the downsides of supporting chained comparison operators?

5 votes
6 answers
692 views

What programming languages contain a built-in imaginary data type?

0 votes
2 answers
113 views

Is it valid to call a configuration-format—with associated JSON-schema—a language?

17 votes
10 answers
4k views

Are there any languages where conditions are not first-class expressions?

11 votes
1 answer
260 views

What prevented fopen() from utilizing macros/flags but not fseek()?

2 votes
1 answer
140 views

What programming languages exist which model the human beings using the application as language level constructs?

4 votes
1 answer
221 views

How is Rosetta 2 capable of translating x87 instructions (which are stack-based) to ARM machine code (where the FPU is register-based)?

6 votes
1 answer
344 views

Optimization algorithm using conditional invariants

2 votes
1 answer
158 views

How is the VHDL operator `<=`, which can be both right-associative (signal assignment) and left-associative (less-than-or-equal), parsed?

6 votes
1 answer
134 views

What to do with subroutine calls when translating Abstract Syntax Tree to Control Flow Graph?

12 votes
2 answers
532 views

Why did Objective-C remove `NSZone`?

7 votes
2 answers
495 views

Why implement function syntax as `f a b` or `f: a b` instead of `f(a,b)`?

8 votes
5 answers
2k views

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

4 votes
3 answers
806 views

Why do many programming languages use parentheses `()` for function definitions and calls?

2 votes
1 answer
255 views

What are the tradeoffs around supporting Unicode keywords and tokens?

17 votes
7 answers
3k views

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


Looking for more? Browse the complete list of questions, or popular tags. Help us answer unanswered questions.