Skip to main content

Explore our questions

2 votes
0 answers
14 views

Prior art on precedence rules on template instantiation for inner entity clashes

3 votes
5 answers
837 views

Exception handling: 'catch' without explicit 'try'

5 votes
0 answers
128 views

Why do using-directives in C++ work the way they do?

15 votes
2 answers
388 views

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

12 votes
2 answers
289 views

In Rust, why did the designers choose to make drop take &mut self instead of self

0 votes
0 answers
126 views

Do any notable languages today *not* seek to define away non-trivial optimization problems?

2 votes
1 answer
363 views

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

2 votes
0 answers
66 views

Is there a guide for implementing exceptions in languages with explicit memory management?

11 votes
5 answers
663 views

Why don't languages do automatic pimpl?

8 votes
1 answer
298 views

What runtime strategies make BEAM so good at concurrency?

14 votes
1 answer
484 views

What are some options for integrating subtyping with Damas-Hindley-Milner inference?

6 votes
0 answers
190 views

What is the history of using dependent types to avoid array bound checks

7 votes
5 answers
766 views

Exception handling: is one exception type sufficient?

4 votes
1 answer
224 views

How does compiling dependent types work?

Browse more Questions