Skip to main content

Top Questions

17 votes
7 answers
3k views

The static keyword and clarity in language design

22 votes
4 answers
4k views

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

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?

7 votes
3 answers
307 views

Why don't languages do automatic pimpl?

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?

-1 votes
2 answers
356 views

Which number should be considered as true/false?

11 votes
1 answer
335 views

What is "graded modality" in type theory?

11 votes
1 answer
260 views

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

4 votes
2 answers
213 views

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

0 votes
1 answer
264 views

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

1 vote
1 answer
203 views

References in a language where everything is a reference?

4 votes
1 answer
209 views

How to implement a control flow analyser?

2 votes
1 answer
204 views

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

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?

2 votes
1 answer
94 views

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

6 votes
0 answers
186 views

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

2 votes
1 answer
139 views

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

2 votes
1 answer
245 views

Semantic modeling in Rust

0 votes
2 answers
113 views

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

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

3 votes
1 answer
47 views

Representing multiple alternative ASTs in one structure

5 votes
0 answers
77 views

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

-2 votes
0 answers
64 views

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


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