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 72 times.
Exception handling: is one exception type sufficient?
Awarded Jun 27 at 20:08
What is the explicit list of the situations that require RAII?
Awarded Jun 25 at 1:45
What exactly is Pratt parsing used for and how does it work?
Awarded Jun 21 at 0:40
Does a simple syntax stack based language need a parser?
Awarded Jun 20 at 11:30
What is the difference between GAT and HKT?
Awarded May 30 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 at 23:26
What are the pros and cons of automatically curried functions?
Awarded Apr 30 at 2:07
How are "strong" and "weak" typing defined?
Awarded Apr 28 at 23:31
Why do compilers typically convert code into abstract syntax/parse trees before the final product?
Awarded Apr 27 at 17:48
What does it mean that a language has an "effect system"?
Awarded Apr 25 at 14:45
What are the advantages and disadvantages of the callee versus caller clearing the stack after a call?
Awarded Mar 26 at 7:31
Is there a generic way to refer to the current function in recursion?
Awarded Mar 24 at 9:26
What are the advantages and disadvantages of making types as a first class value?
Awarded Mar 19 at 2:03
How are C++ style references implemented behind the scenes? Could they be implemented without pointers?
Awarded Mar 8 at 19:32
Would it be safe to introduce the "freeze" statement?
Awarded Feb 21 at 0:26
How to test a compiler/interpreter?
Awarded Feb 15 at 8:52
Is Epic Games' Verse gradually typed?
Awarded Feb 11 at 6:26
Async Implementation
Awarded Jan 26 at 0:08
How can I account for expressions when building control-flow graphs?
Awarded Jan 18 at 23:01
Why do most programming languages derive min/max from comparison operators, rather than the other way round?
Awarded Jan 17 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
Does using Rust eliminate the need to implement garbage collection in a language?
Awarded Sep 28, 2023 at 17:16
What are the syntax options for implementing a ternary "if" operator?
Awarded Sep 27, 2023 at 13:20
Pros and cons of automatically importing the scope of the object in the methods
Awarded Sep 5, 2023 at 5:01
In Python, why isn't it a syntax error when a list of strings is defined without comma separators?
Awarded Sep 4, 2023 at 1:51
What are the advantages of syntactic sugar and when should it be added?
Awarded Aug 30, 2023 at 16:15
What operations are common in stack-based languages?
Awarded Aug 28, 2023 at 20:01
How to Add Static Typing to a Stack Language?
Awarded Aug 26, 2023 at 16:26
Why did JavaScript choose to include a void operator?
Awarded Aug 26, 2023 at 13:55
How expressive of a type system is too expressive, for the average programmer?
Awarded Aug 25, 2023 at 2:16
Why short and long and double and similar instead of unambigous width types such as int16 or int64 or float64?
Awarded Aug 22, 2023 at 20:55
How can type systems be a useful formal framework for modeling things other than type-checking?
Awarded Aug 16, 2023 at 14:28
What are the advantages/disadvantages of distinguishing statements and expressions?
Awarded Aug 14, 2023 at 19:27
What are the pros/cons of a tree-based interpreter vs a bytecode-VM-based interpreter?
Awarded Aug 14, 2023 at 3:56
What are denotational semantics, and what are they useful for?
Awarded Aug 12, 2023 at 16:20
What are "interior iteration" and "exterior iteration"?
Awarded Aug 11, 2023 at 14:40
What are the downsides of having no syntactic sugar for data collections?
Awarded Aug 9, 2023 at 17:56
Do all nodes (except for the entry) in SSA have an immediate dominator?
Awarded Aug 9, 2023 at 14:02
How, if at all, do kinds fit into the type universe hierarchy?
Awarded Aug 6, 2023 at 17:45
Dynamic and Static scoping and recursion
Awarded Aug 6, 2023 at 15:02
Are x87 long doubles still relevant?
Awarded Jul 31, 2023 at 17:05
What are the pros and cons of a compiler with a single-pass parser?
Awarded Jul 12, 2023 at 14:55
Can regex be compiled into efficient machine code?
Awarded Jul 11, 2023 at 18:36
Why would a language have different error handling for libraries and applications?
Awarded Jul 8, 2023 at 18:31
What are the disadvantages of lazy languages?
Awarded Jul 8, 2023 at 7:26
Parsing `do`-`while`, `while`-`do`-`end` and `do`-`end`
Awarded Jul 7, 2023 at 3:41
Tail-recursive detection and conversion
Awarded Jul 6, 2023 at 12:25
What are the pros and cons of allowing keywords to be abbreviated?
Awarded Jul 4, 2023 at 15:30
Ternary operators other than ?:
Awarded Jul 2, 2023 at 6:31
What should be included in error messages?
Awarded Jul 1, 2023 at 20:55
1
2