Skip to main content

Explore our questions

7 votes
1 answer
196 views

What runtime strategies make BEAM so good at concurrency?

4 votes
0 answers
131 views

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

3 votes
4 answers
780 views

Exception handling: 'catch' without explicit 'try'

6 votes
5 answers
719 views

Exception handling: is one exception type sufficient?

11 votes
5 answers
590 views

Why don't languages do automatic pimpl?

3 votes
1 answer
189 views

How does compiling dependent types work?

7 votes
5 answers
3k views

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

10 votes
1 answer
2k views

In Python, why isn't it a syntax error when a list of strings is defined without comma separators?

1 vote
2 answers
272 views

Intersection and unions for product and sum types

7 votes
6 answers
388 views

Why intersection types have more fields and union types have fewer fields?

1 vote
0 answers
103 views

How can transpilers benefit from compiler optimizations which are compatible with semantics, if other "optimizations" in the target language aren't?

4 votes
3 answers
597 views

What are the pros and cons of SFINAE?

10 votes
3 answers
190 views

Semantics of Haskell's `seq`

7 votes
4 answers
4k views

Does using Rust eliminate the need to implement garbage collection in a language?

Browse more Questions