User ratchet freak - Programming Language Design and Implementation Stack Exchange

44 votes

Accepted

Why do many template languages have `for-else` statements?

answered Nov 10, 2023 at 11:56

13 votes

What is the explicit list of the situations that require RAII?

answered Jun 24 at 8:34

11 votes

Why target an existing VM?

answered Jul 21, 2023 at 14:25

8 votes

Could function parameters be placed inside names?

answered Jul 19, 2023 at 8:58

6 votes

Accepted

What are some common ways to optimise an interpreter?

answered Jun 28, 2023 at 12:36

5 votes

What are the alternatives to classic ad hoc function overloading?

answered Jun 21, 2023 at 14:28

5 votes

What are pros and cons of tagged vs untagged union-types?

answered Jul 12, 2023 at 9:30

5 votes

What are the approaches of protecting against partially initialized objects?

answered Jun 12 at 13:59

5 votes

Accepted

Why does C++'s unordered_map::erase fully invalidate iterators, not even supporting advancing?

answered Mar 6 at 13:37

4 votes

What is the mathematical abstraction of bitflags for use in a purely functional language?

answered Feb 23 at 12:27

4 votes

Are there languages or compilers having optimizations to deallocate variables early?

answered Feb 26 at 11:11

4 votes

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

answered May 13 at 13:45

4 votes

Accepted

Ways to have operators for both normal and floor division

answered Jul 4, 2023 at 18:26

3 votes

Tail-recursive detection and conversion

answered Jul 5, 2023 at 8:38

3 votes

How continuations compiles generators and coroutines?

answered Jul 4, 2023 at 12:04

3 votes

Can you, should you, go straight from AST to SSA?

answered Jul 25, 2023 at 12:52

2 votes

How to find the updated address of an object in a moving garbage collector?

answered Jun 30, 2023 at 11:25

2 votes

How to optimize non-tail recursion?

answered Jul 13, 2023 at 1:32

1 vote

What's the point of type safety?

answered Feb 20 at 11:05

1 vote

How do different template languages handle parsing?

answered Nov 11, 2023 at 19:18

0 votes

Optimization algorithm using conditional invariants

answered Nov 27, 2023 at 12:49

0 votes

How to ensure correct transformations with `break`, `continue` and other context-dependent statements?

answered Aug 7, 2023 at 9:56

0 votes

Accepted

Why are symbols (especially static/internal symbols) necessary?

answered Nov 6, 2023 at 10:11

0 votes

Why do we need to divide lexing and parsing stages

answered Mar 28 at 12:57

Stack Exchange Network

24 Answers

Why do many template languages have `for-else` statements?

What is the explicit list of the situations that require RAII?

Why target an existing VM?

Could function parameters be placed inside names?

What are some common ways to optimise an interpreter?

What are the alternatives to classic ad hoc function overloading?

What are pros and cons of tagged vs untagged union-types?

What are the approaches of protecting against partially initialized objects?

Why does C++'s unordered_map::erase fully invalidate iterators, not even supporting advancing?

What is the mathematical abstraction of bitflags for use in a purely functional language?

Are there languages or compilers having optimizations to deallocate variables early?

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

Ways to have operators for both normal and floor division

Tail-recursive detection and conversion

How continuations compiles generators and coroutines?

Can you, should you, go straight from AST to SSA?

How to find the updated address of an object in a moving garbage collector?

How to optimize non-tail recursion?

What's the point of type safety?

How do different template languages handle parsing?

Optimization algorithm using conditional invariants

How to ensure correct transformations with `break`, `continue` and other context-dependent statements?

Why are symbols (especially static/internal symbols) necessary?

Why do we need to divide lexing and parsing stages