Skip to main content
Programming Language Design and Implementation Beta

Enlightened

 Enlightened
First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.
Awarded 101 times.
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
Awarded Nov 2 at 16:39
Why don't many languages have integer range types?
Awarded Oct 17 at 12:12
How can an object-oriented language support hot reloading of classes?
Awarded Oct 17 at 12:12
What is the rationale behind the WebAssembly `if` statements behaving like `block` when it comes to breaking (`br`), rather than being transparent?
Awarded Sep 15 at 20:15
Why does the do-while loop in C-like languages require the curly brackets `{` and `}`? Wouldn't the grammar be perfectly parsable without them?
Awarded Sep 14 at 14:00
What are some options for integrating subtyping with Damas-Hindley-Milner inference?
Awarded Aug 24 at 8:01
If linear negation is interpreted as representing destructors, how to make sense of double linear negation elimination?
Awarded Aug 18 at 19:36
What are the consequences of allowing breaking/returning from every statement?
Awarded Aug 6 at 23:05
“return(x);” vs. “return x;”
Awarded Jul 21 at 6:36
What are the key steps to compiling a custom programming language that is similar to Rust (typechecking, type inference, and borrow checking)?
Awarded Jul 8 at 18:36
Is being "context-free" an objective property of a programming language's grammar
Awarded Jun 19 at 19:55
Why do (or don't) languages forbid unreachable code?
Awarded Jun 11 at 1:50
What are the considerations when modifying cases in a text?
Awarded Jun 1 at 21:18
Are there any languages where you can make a variable update whenever a dependent value changes?
Awarded May 18 at 22:56
What are some caveats to be careful about when implementing the `?:` (ternary conditional) operator?
Awarded Mar 28 at 18:15
Why might a language avoid reallocation?
Awarded Feb 16 at 19:19
How do modern compilers choose which variables to put in registers?
Awarded Feb 14 at 10:16
Why did C99 have to add the underscored keywords for _Bool _Complex _Imaginary but not for inline or restrict?
Awarded Feb 7 at 3:30
What optimizations are possible with unsequenced operators?
Awarded Feb 3 at 12:06
Why does the `target` attribute in HTML require a string starting with an underscore, such as `"_blank"`? Why not simply `"blank"`?
Awarded Feb 1 at 4:01
Strings and arrays in Project Valhalla
Awarded Jan 19 at 22:10
Why do many programming languages use the symbol of two vertical parallel lines `||` to mean "or"?
Awarded Jan 12 at 20:21
What's the justification for implicitly casting arrays to pointers (in the C language family)?
Awarded Dec 15, 2024 at 21:57
How are CFG and BNF different?
Awarded Oct 14, 2024 at 23:51
What programming languages implement memory safety?
Awarded Oct 11, 2024 at 1:32
Why is the "scan backwards" method of parsing right-associative operators considered to be anti-pattern? What alternatives are recommended?
Awarded Sep 22, 2024 at 21:15
What are the differences between Unit and Singleton Types?
Awarded Aug 15, 2024 at 12:46
How to tolerate syntax errors in a typed language?
Awarded Aug 1, 2024 at 14:03
What runtime strategies make BEAM so good at concurrency?
Awarded Jul 27, 2024 at 22:30
Exception handling: is one exception type sufficient?
Awarded Jun 27, 2024 at 20:08
What is the explicit list of the situations that require RAII?
Awarded Jun 25, 2024 at 1:45
What exactly is Pratt parsing used for and how does it work?
Awarded Jun 21, 2024 at 0:40
Does a simple syntax stack based language need a parser?
Awarded Jun 20, 2024 at 11:30
What is the difference between GAT and HKT?
Awarded May 30, 2024 at 2:42
How do you correctly compile the chained comparison operators like ones that exist in Python (`a < b < c`), if `b` might have side-effects?
Awarded May 1, 2024 at 23:26
What are the pros and cons of automatically curried functions?
Awarded Apr 30, 2024 at 2:07
How are "strong" and "weak" typing defined?
Awarded Apr 28, 2024 at 23:31
Why do compilers typically convert code into abstract syntax/parse trees before the final product?
Awarded Apr 27, 2024 at 17:48
What does it mean that a language has an "effect system"?
Awarded Apr 25, 2024 at 14:45
What are the advantages and disadvantages of the callee versus caller clearing the stack after a call?
Awarded Mar 26, 2024 at 7:31
Is there a generic way to refer to the current function in recursion?
Awarded Mar 24, 2024 at 9:26
What are the advantages and disadvantages of making types as a first class value?
Awarded Mar 19, 2024 at 2:03
How are C++ style references implemented behind the scenes? Could they be implemented without pointers?
Awarded Mar 8, 2024 at 19:32
Would it be safe to introduce the "freeze" statement?
Awarded Feb 21, 2024 at 0:26
How to test a compiler/interpreter?
Awarded Feb 15, 2024 at 8:52
Is Epic Games' Verse gradually typed?
Awarded Feb 11, 2024 at 6:26
Async Implementation
Awarded Jan 26, 2024 at 0:08
How can I account for expressions when building control-flow graphs?
Awarded Jan 18, 2024 at 23:01
Why do most programming languages derive min/max from comparison operators, rather than the other way round?
Awarded Jan 17, 2024 at 22:16
What are the advantages of keyword based syntax versus punctuation based syntax?
Awarded Dec 3, 2023 at 12:37
Why are volatile objects so difficult to work with in C++?
Awarded Dec 1, 2023 at 16:50
Why do some languages have both immutable "variables" and constants?
Awarded Nov 26, 2023 at 12:26
Why do many template languages have `for-else` statements?
Awarded Nov 24, 2023 at 16:27
Why does ATTAPL's linear product introduction rule not delete the objects from the context?
Awarded Nov 16, 2023 at 2:34
How does Rust parse ambiguous macros?
Awarded Nov 15, 2023 at 14:46
What language was the first to treat null checks as smart casts to non-nullable types?
Awarded Nov 12, 2023 at 15:57
Why did Rust require macro names to have an exclamation point at the end?
Awarded Oct 31, 2023 at 1:18
What is the difference between having an auto type and having dynamic typing?
Awarded Oct 2, 2023 at 23:36
Why do relational comparison operators never short-circuit?
Awarded Oct 2, 2023 at 18:26
Why would accessing uninitialized memory necessarily be undefined behavior?
Awarded Sep 30, 2023 at 23:05
1
2