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

Top Questions

3 votes
3 answers
48 views

Correctness of mixed signed/unsigned arithmetic

5 votes
4 answers
194 views

Are there languages that implement a more granular precondition system than just safe/unsafe

9 votes
1 answer
166 views

How to tolerate syntax errors in a typed language?

11 votes
9 answers
5k views

Can sine converge to zero at infinity?

4 votes
3 answers
208 views

What goes wrong when division-by-zero is defined as multiplication-by-infinity?

3 votes
5 answers
216 views

How can memory addresses be compile-time constants?

-1 votes
0 answers
39 views

How to be (more) critical during Code Reviews of team members? [closed]

32 votes
2 answers
16k views

Why do common Rust packages depend on C code?

19 votes
10 answers
4k views

What are the drawbacks of allowing implicit boolean/integer conversions?

9 votes
3 answers
1k views

What is a "primary expression"?

2 votes
1 answer
146 views

How to assign unique names to variables within a function?

22 votes
3 answers
5k views

Why are volatile objects so difficult to work with in C++?

8 votes
1 answer
137 views

What was the rationale for making realloc(ptr, 0) have UB in C23

1 vote
3 answers
273 views

Is there any way a Java-like language could implement immutable primitive arrays without incurring performance penalties?

1 vote
1 answer
115 views

Implementing automatic derivation without macros?

2 votes
1 answer
146 views

What if all static methods in Java or C# could be extension methods just by default?

10 votes
1 answer
186 views

What exactly is Pratt parsing used for and how does it work?

5 votes
1 answer
183 views

Optimization algorithm using conditional invariants

-2 votes
0 answers
53 views

How to Integrate Python with HTML? [closed]

14 votes
1 answer
2k views

What language was the first to treat null checks as smart casts to non-nullable types?

-1 votes
2 answers
161 views

Why hasn't html a simple way of showing html tags as they are? [closed]

0 votes
0 answers
67 views

What is best practice for a programming language which allows more than one syntax for class method invocations? [closed]

-2 votes
1 answer
126 views

Low effort, high impact optimizations? [closed]

26 votes
2 answers
3k views

Studies on learnability of braces vs. indentation for code blocks for beginners?

9 votes
3 answers
1k views

Do parsers typically need access to all tokens?

1 vote
0 answers
185 views

Pros and cons of treating endless loops as "anything can happen" UB, versus allowing limited reordering

6 votes
3 answers
3k views

How to implement + in a language where functions accept only one argument? [closed]

9 votes
0 answers
107 views

How to detect changes to definitions and their impacts?

4 votes
0 answers
117 views

Determining the most optimized date type for the platform with type inference

28 votes
5 answers
5k views

Are there Haskell-like languages where equations allow for arbitrary left-hand sides?

4 votes
2 answers
138 views

Supporting reasonably efficient high-level indexing for strings

-1 votes
0 answers
64 views

In C, which approach is preferable: modifying a pointer's address within a void function or assigning the mutated pointer through its return value? [closed]

2 votes
1 answer
888 views

Why do we put imports at the top of files? [closed]

17 votes
6 answers
8k views

Does Python's semicolon statement ending feature have any unique use?

6 votes
1 answer
133 views

What's the benefit of using different tokens for accessing nested namespaces/modules versus properties?

5 votes
3 answers
270 views

Reading Floating Point, perhaps without libc/msvcrt

12 votes
5 answers
532 views

Why do many language implementations not provide an option to bootstrap from another language?

4 votes
3 answers
347 views

What are the advantages and disadvantages of only allowing declarations at the top level?

1 vote
1 answer
109 views

Expressing runtime constraints with trait-bounds

9 votes
1 answer
221 views

What is the difference between GAT and HKT?

15 votes
3 answers
791 views

What are the pros and cons of register-based VMs and stack-based VMs?

1 vote
1 answer
203 views

How might we convert type declarations into constructor calls? [closed]

20 votes
6 answers
7k views

Why do some languages have both immutable "variables" and constants?

24 votes
10 answers
1k views

What are some advantages/disadvantages of having built-in syntax to represent numbers in non-decimal bases?

4 votes
5 answers
671 views

What are the pros and cons of interpreted programming languages?

13 votes
1 answer
623 views

Is there a difference between Rust's `macro_rules!` and Scheme's `syntax-rules`?

9 votes
1 answer
2k views

Why can you implement a Monoid type in Java or C#, but not Monad or Functor?

5 votes
3 answers
214 views

Types and variables in a different namespace


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