Skip to main content
Programming Language Design and Implementation Beta

Announcer

 Announcer
Share a link to a post later visited by 25 unique IP addresses. This badge can be awarded multiple times.
Awarded 22 times.
Are checked exceptions inherently inconvenient? How to design them in a more ergonomic manner?
Awarded Dec 8 at 21:04
What can be learned from problems (and associated solutions / goals to strive for) C++ committee members have identified with their proposal culture?
Awarded Oct 26 at 19:10
How have modern language designs dealt with Unicode strings?
Awarded Oct 20 at 4:11
What are denotational semantics, and what are they useful for?
Awarded Oct 19 at 9:56
What's the point of type safety? [closed]
Awarded Jun 3 at 18:49
Are there any advantages of evaluating expressions differently in compile time and runtime?
Awarded May 29 at 8:16
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 Apr 29 at 17:25
Why do common Rust packages depend on C code?
Awarded Apr 17 at 2:25
Why do compilers typically convert code into abstract syntax/parse trees before the final product?
Awarded Mar 28 at 23:36
Why do common Rust packages depend on C code?
Awarded Feb 1 at 19:37
How can I specify a programming language step-by-step more formally than by providing a reference interpreter?
Awarded Jan 15 at 16:00
Why do common Rust packages depend on C code?
Awarded Nov 27, 2023 at 0:09
Is there any particular reason to only include 3 out of the 6 trigonometry functions?
Awarded Nov 21, 2023 at 17:56
How should I read type system notation?
Awarded Oct 30, 2023 at 19:30
Why is it so difficult to implement the first Futamura projection?
Awarded Oct 26, 2023 at 8:05
What styles of interpreter are not well-supported by RPython?
Awarded Sep 20, 2023 at 11:47
How to ensure that an optimising compiler will terminate?
Awarded Aug 29, 2023 at 23:20
How to prevent undecidable type systems?
Awarded Aug 25, 2023 at 12:11
Are there metrics on how often variables in dynamically-typed languages change their type (not "parametrically")
Awarded Aug 15, 2023 at 23:45
How should I read type system notation?
Awarded Aug 13, 2023 at 4:47
Why do most languages use the same token for `EndIf`, `EndWhile`, `EndFunction` and `EndStructure`?
Awarded Jul 7, 2023 at 21:45
Can something like a Donkey Sentence exist in a programming language?
Awarded Jul 1, 2023 at 7:40