Skip to main content
Programming Language Design and Implementation Beta

Student

 Student
First question with score of 1 or more.
Awarded 258 times.
Semantics on `with` keyword in C# for (heap-based) records
Awarded Apr 4 at 18:39
C specification's "sequenced before" and "pair-wise relation"
Awarded Apr 3 at 9:21
What's the current state of the art for inferring/checking integer range types?
Awarded Mar 26 at 0:36
What problems do applicative functors solve, as an abstraction relative to monads and arrows?
Awarded Mar 19 at 19:25
Are there OO languages which implement objects as persistent data-structures?
Awarded Jan 30 at 18:40
Strongest criticisms of object-oriented languages? [closed]
Awarded Jan 20 at 12:11
Strings and arrays in Project Valhalla
Awarded Jan 17 at 23:41
Alternatives to ANTLR 3 for LL(1) Grammar verification
Awarded Jan 17 at 1:32
Why can't a parser for C++ be realized with a DPDA?
Awarded Jan 3 at 13:01
Why no "full-stack" SQL-like language?
Awarded Dec 16, 2024 at 12:06
What's the justification for implicitly casting arrays to pointers (in the C language family)?
Awarded Dec 12, 2024 at 9:03
Idiomatic memory allocation and garbage collection in LLVM
Awarded Dec 8, 2024 at 17:49
What challenges might still prevent compiler or JIT optimizations of common FP operations like map, filter, and reduce?
Awarded Nov 9, 2024 at 8:12
How to detect and resolve ambiguous grammars?
Awarded Nov 6, 2024 at 23:04
Analysis of methods to ensure memory safety
Awarded Oct 18, 2024 at 20:00
Why was && chosen as rvalue reference in C++?
Awarded Oct 16, 2024 at 15:10
Rationale for requiring struct prefix in C
Awarded Oct 13, 2024 at 2:37
How are CFG and BNF different?
Awarded Oct 11, 2024 at 4:26
What is the term for types that are not type variables?
Awarded Oct 6, 2024 at 7:32
Are there languages geared towards component-based design?
Awarded Sep 14, 2024 at 9:38
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 15:45
Why do "modern" languages not provide argv and exit code in main?
Awarded Sep 9, 2024 at 5:30
Language that records and enforces type constraints/predicates
Awarded Sep 1, 2024 at 23:13
(post deleted or otherwise unavailable)
Awarded Aug 8, 2024 at 14:11
How is clang able to evaluate loops without getting stuck in an infinite loop?
Awarded Aug 5, 2024 at 20:30
Multi-stage programming vs monomorphization/defunctionalization
Awarded Aug 5, 2024 at 16:36
SSA Construction: DFS of CFG vs Traversal of Dominator Tree
Awarded Aug 2, 2024 at 3:04
Why did C++ standard library name the containers map and unordered_map instead of map and ordered_map?
Awarded Jul 19, 2024 at 4:53
Prior art for concatenative array language?
Awarded Jul 13, 2024 at 17:47
Why do using-directives in C++ work the way they do?
Awarded Jul 11, 2024 at 19:10
How is a python namespace implemented in terms of memory under Cpython implementation? [closed]
Awarded Jul 7, 2024 at 9:09
Exception handling: 'catch' without explicit 'try'
Awarded Jun 27, 2024 at 11:12
Compressed pointers, why not "relative" rather than "base" encoding?
Awarded Jun 12, 2024 at 18:17
Why is array access not an infix operator?
Awarded Jun 10, 2024 at 14:40
Are there any advantages of evaluating expressions differently in compile time and runtime?
Awarded May 28, 2024 at 17:46
Representing multiple alternative ASTs in one structure
Awarded May 27, 2024 at 7:10
What are some of the challenges in implementing, and disadvantages of having, dependent types in a programming language?
Awarded May 26, 2024 at 11:57
References in a language where everything is a reference?
Awarded May 21, 2024 at 18:17
Why don't languages do automatic pimpl?
Awarded May 19, 2024 at 10:35
Languages in which array types must be declared before usage
Awarded May 14, 2024 at 9:10
From a parsing perspective, which is more efficient? Right-to-left or left-to-right argument parsing?
Awarded May 13, 2024 at 19:20
What are the cons of inlining then optimizing and then reverse inlining?
Awarded Apr 29, 2024 at 6:03
What programming languages exist which model the human beings using the application as language level constructs?
Awarded Apr 29, 2024 at 2:40
What does it mean that a language has an "effect system"?
Awarded Apr 24, 2024 at 18:45
Understanding the "operational" reading of typing judgements in PFPL by Robert Harper, Chapter 4 Statics
Awarded Apr 20, 2024 at 8:21
How are algebraic data types implemented?
Awarded Apr 19, 2024 at 20:56
Why implement function syntax as `f a b` or `f: a b` instead of `f(a,b)`?
Awarded Apr 16, 2024 at 22:35
Is there a language where "everything is a dataframe"?
Awarded Apr 12, 2024 at 22:52
Type-checking Python vs Typescript
Awarded Apr 9, 2024 at 19:01
What are the limitations of combining tracing GC with manual memory management?
Awarded Apr 7, 2024 at 1:56
What are some syntax options for wildcard matching? (+ extensions)
Awarded Apr 1, 2024 at 10:16
Does a Rust implementation of the Monkey programming language require a garbage collector?
Awarded Mar 29, 2024 at 20:03
Theoretical Book on Compilers [closed]
Awarded Mar 22, 2024 at 13:11
How to save C struct pointers in interpreted language? [closed]
Awarded Mar 16, 2024 at 19:57
Should a virtual machine stack have a limited size?
Awarded Mar 12, 2024 at 21:31
(post deleted or otherwise unavailable)
Awarded Mar 4, 2024 at 17:35
What's the relation between a language being managed and its compiler being reversible?
Awarded Feb 29, 2024 at 7:06
How does link-time function inlining work?
Awarded Feb 28, 2024 at 18:49
Effective Tail Call Optimization in Non strict functional languages
Awarded Feb 15, 2024 at 16:47
If garbage collection always sacrifice performance in multi-threaded languages, then how do some languages approch this problem?
Awarded Feb 7, 2024 at 2:25
1
2 3 4 5