Skip to main content
Programming Language Design and Implementation Beta

Scholar

 Scholar
Ask a question and accept an answer.
Awarded 159 times.
Why can't a parser for C++ be realized with a DPDA?
Awarded Apr 21 at 12:39
What's the current state of the art for inferring/checking integer range types?
Awarded Apr 1 at 18:43
Language constructs to reduce inadvertent interface implementation in purely structural type systems?
Awarded Feb 14 at 15:20
Why is it so hard to evaluate functions with constant arguments at compile-time?
Awarded Feb 8 at 5:20
C specification's "sequenced before" and "pair-wise relation"
Awarded Jan 26 at 17:41
Strongest criticisms of object-oriented languages? [closed]
Awarded Jan 22 at 22:04
Strings and arrays in Project Valhalla
Awarded Jan 19 at 19:46
What's the justification for implicitly casting arrays to pointers (in the C language family)?
Awarded Dec 15, 2024 at 21:02
What computation models are typically used when designing a language? [closed]
Awarded Nov 13, 2024 at 19:06
How are CFG and BNF different?
Awarded Oct 14, 2024 at 22:53
What do you call the act of rebalance an parse tree so simplistic regex are closest to the root node over variables/identifiers?
Awarded Sep 10, 2024 at 17:52
Why do "modern" languages not provide argv and exit code in main?
Awarded Sep 10, 2024 at 2:51
Multi-stage programming vs monomorphization/defunctionalization
Awarded Aug 8, 2024 at 21:25
How is clang able to evaluate loops without getting stuck in an infinite loop?
Awarded Aug 7, 2024 at 11:36
Why did C++ standard library name the containers map and unordered_map instead of map and ordered_map?
Awarded Jul 19, 2024 at 18:16
How is a python namespace implemented in terms of memory under Cpython implementation? [closed]
Awarded Jul 7, 2024 at 9:48
Exception handling: is one exception type sufficient?
Awarded Jun 27, 2024 at 18:17
Executable files with a bytecode compiler/interpreter
Awarded Jun 13, 2024 at 2:01
Why is array access not an infix operator?
Awarded Jun 10, 2024 at 17:10
Why isn't the nullable marker in Dart a monad? [closed]
Awarded May 27, 2024 at 23:56
Representing multiple alternative ASTs in one structure
Awarded May 27, 2024 at 7:17
Why don't languages do automatic pimpl?
Awarded May 21, 2024 at 21:40
What is "graded modality" in type theory?
Awarded May 5, 2024 at 15:20
Is it valid to call a configuration-format—with associated JSON-schema—a language?
Awarded May 1, 2024 at 22:35
What are the cons of inlining then optimizing and then reverse inlining?
Awarded Apr 30, 2024 at 0:56
What does it mean that a language has an "effect system"?
Awarded Apr 24, 2024 at 16:32
Why implement function syntax as `f a b` or `f: a b` instead of `f(a,b)`?
Awarded Apr 22, 2024 at 14:25
Understanding the "operational" reading of typing judgements in PFPL by Robert Harper, Chapter 4 Statics
Awarded Apr 21, 2024 at 15:18
How are algebraic data types implemented?
Awarded Apr 19, 2024 at 3:35
Type-checking Python vs Typescript
Awarded Apr 10, 2024 at 12:40
What are the limitations of combining tracing GC with manual memory management?
Awarded Apr 9, 2024 at 17:25
Why does python allow single-line compound statements?
Awarded Apr 9, 2024 at 13:04
Theoretical Book on Compilers [closed]
Awarded Apr 4, 2024 at 12:47
Are there metrics on how often variables in dynamically-typed languages change their type (not "parametrically")
Awarded Mar 25, 2024 at 2:55
Determining the most optimized data type for the platform with type inference
Awarded Mar 19, 2024 at 14:48
How to save C struct pointers in interpreted language? [closed]
Awarded Mar 17, 2024 at 11:46
Should a virtual machine stack have a limited size?
Awarded Mar 14, 2024 at 18:27
Can total (primitive) corecursion be implemented?
Awarded Mar 9, 2024 at 19:03
How does link-time function inlining work?
Awarded Mar 3, 2024 at 16:07
How to support syntax like `a && b = c` for a conditional assignment expression?
Awarded Feb 10, 2024 at 10:31
Is Epic Games' Verse gradually typed?
Awarded Feb 1, 2024 at 22:04
What is the difference between specification and a reference for programming languages?
Awarded Jan 30, 2024 at 17:01
Why is almost every programming language made in English?
Awarded Jan 29, 2024 at 2:48
How can we define a denotational semantics for recursive functions?
Awarded Jan 17, 2024 at 2:40
What are the implications of NaN-Boxing?
Awarded Jan 5, 2024 at 22:16
How can I account for expressions when building control-flow graphs?
Awarded Dec 31, 2023 at 17:36
Colored vs uncolored functions
Awarded Dec 29, 2023 at 2:12
Why don't popular regex engines support complement and intersection?
Awarded Dec 23, 2023 at 23:20
Async Implementation
Awarded Dec 22, 2023 at 17:09
Concept Overloading in C++
Awarded Dec 21, 2023 at 9:07
What if all static methods in Java or C# could be extension methods just by default?
Awarded Dec 11, 2023 at 13:11
Correctness of mixed signed/unsigned arithmetic
Awarded Dec 9, 2023 at 1:52
Why do common Rust packages depend on C code?
Awarded Dec 2, 2023 at 22:04
Studies on learnability of braces vs. indentation for code blocks for beginners?
Awarded Nov 29, 2023 at 21:15
Do parsers typically need access to all tokens?
Awarded Nov 27, 2023 at 18:17
Language features for making code easier to unit test
Awarded Nov 27, 2023 at 16:01
Why do some languages have both immutable "variables" and constants?
Awarded Nov 26, 2023 at 11:35
Reading Floating Point, perhaps without libc/msvcrt
Awarded Nov 26, 2023 at 1:56
Expressing runtime constraints with trait-bounds
Awarded Nov 25, 2023 at 8:35
How does the map function work in stack-based languages?
Awarded Nov 14, 2023 at 9:33
1
2 3