Programming Language Design and Implementation Stack Exchange

Score of 2

2 answers

866 views

Why is it mandatory to specify the type of some compound literals when it could be deduced?

mezzoctane

reputation score 105

modified yesterday

Score of 1

0 answers

73 views

Why doesn't an Ada enumeration type declaration define declarative region?

mezzoctane

reputation score 105

modified yesterday

Score of 2

3 answers

246 views

Autovivification outside Perl

G. Sliepen

reputation score 1695

answered Jun 28 at 15:06

Score of 3

1 answer

263 views

What would an AI-targeted programming language look like?

kaya3

reputation score 22890

answered Jun 14 at 10:03

Score of 6

1 answer

592 views

A question about parallel programming (OpenMP and MPI)

Jerry Coffin

reputation score 1019

answered Jun 13 at 23:08

Score of -3

2 answers

496 views

How can I re-suggest an evolution for Java that has been declined once: operator overloading?

Marc Le Bihan

reputation score 405

modified Jun 12 at 5:45

Score of 1

2 answers

193 views

Conundrum with regard to methods on lvalues that return rvalues

CommunityBot

reputation score 1

modified Jun 10 at 1:01

Score of 4

3 answers

3683 views

Why does C++'s unordered_map::erase fully invalidate iterators, not even supporting advancing?

Toby Speight

reputation score 800

modified Jun 1 at 16:54

Score of 0

0 answers

212 views

Attempt to make a memory-safe language with little cost: Can boxing work like this?

Dannyu NDos

reputation score 1587

asked May 30 at 8:47

Score of 6

3 answers

470 views

Is there any particular reason to only implement 2 and 3 input hypot?

DannyNiu

reputation score 593

answered May 28 at 14:31

Score of 0

1 answer

176 views

How can 2 non-seqcst atomic operations be re-ordered if they're separated by semicolon in the same function?

Simon Farnsworth

reputation score 1350

modified May 27 at 15:48

Score of -1

2 answers

576 views

Parallel like CUDA, safe like Rust [closed]

Toby Speight

reputation score 800

modified May 27 at 14:16

Score of 5

1 answer

197 views

Algorithm M vs. Bidirectional type checking

Jay Lee

reputation score 267

answered May 21 at 1:34

Score of 7

7 answers

1266 views

What are the consequences of allowing decimal-point-less number literals to be interpreted as floats?

André L F S Bacci

reputation score 2883

answered May 15 at 19:17

Score of 12

5 answers

749 views

Prior art on modeling characters of variable lengths

user23013

reputation score 3339

answered May 15 at 11:26

Score of 11

2 answers

995 views

Idiomatic memory allocation and garbage collection in LLVM

CommunityBot

reputation score 1

modified May 4 at 17:04

Score of 6

0 answers

169 views

Robust semantic parsing of LaTeX into an extensible math IR

iBe

reputation score 69

asked May 3 at 0:01

Score of 9

5 answers

2192 views

What is the purpose of asynchronous dispose operations in C#?

Toby Speight

reputation score 800

modified Apr 27 at 12:36

Score of 14

1 answer

945 views

Are there metrics on how often variables in dynamically-typed languages change their type (not "parametrically")

DannyNiu

reputation score 593

modified Apr 23 at 14:22

Score of 8

1 answer

780 views

What are the advantages of using Dependent Modal Types in a language?

Jon Purdy

reputation score 3708

modified Apr 19 at 22:22

Score of 15

6 answers

1808 views

What do various designers of JavaScript regret or dislike about its design? Given the opportunity, what would they do differently and why?

user3840170

reputation score 255

modified Apr 16 at 18:37

Score of -1

1 answer

255 views

Proposal: 1lang — A single language with native columnar DB + native ML engine in one unified runtime (zero-copy pipeline)

IMSoP

reputation score 3511

answered Apr 13 at 15:47

Score of 1

5 answers

402 views

Efficiency consideration for using strings (or other hashable key types) as iterator type for hash tables?

user23013

reputation score 3339

answered Apr 9 at 20:01

Score of 2

1 answer

184 views

How to choose between symbol tables vs. resolved identifiers, for different language tooling?

ratchet freak

reputation score 2168

answered Apr 9 at 11:19

Score of 3

2 answers

897 views

Pros and cons of treating endless loops as "anything can happen" UB, versus merely allowing limited reordering

André L F S Bacci

reputation score 2883

modified Apr 8 at 12:21

Score of 0

1 answer

245 views

How to attach meta-fields to WASM scopes/activations?

CommunityBot

reputation score 1

modified Mar 29 at 8:03

Score of 2

3 answers

792 views

How can I get away with treating ## as an operator in replacement list?

Jerry Coffin

reputation score 1019

modified Mar 20 at 2:43

Score of 13

3 answers

819 views

What dedicated syntax has been used for `fold`/`reduce`?

André L F S Bacci

reputation score 2883

answered Mar 16 at 15:20

Score of 4

3 answers

364 views

Parsing a juxtaposition operator

Erik Eidt

reputation score 976

answered Mar 11 at 21:50

Score of 22

6 answers

5100 views

Why is array access not an infix operator?

CoffeeTableEspresso

reputation score 516

modified Mar 11 at 21:17

Score of 7

3 answers

831 views

Why link the entire static library rather than only the needed functions?

Simon Farnsworth

reputation score 1350

answered Mar 11 at 18:11

Score of 3

2 answers

566 views

Is instruction scheduling obsolete?

osa1

reputation score 889

modified Mar 11 at 8:46

Score of 2

1 answer

352 views

How to implement multiple assignment with multiple values in ast tree

CommunityBot

reputation score 1

modified Mar 5 at 2:01

Score of 23

7 answers

5467 views

Should a language have both null and undefined values?

André L F S Bacci

reputation score 2883

modified Mar 3 at 16:24

Score of 6

0 answers

235 views

SSA Construction: DFS of CFG vs Traversal of Dominator Tree

Jonas

reputation score 729

modified Mar 2 at 5:21

Score of 11

4 answers

1587 views

What are the pros and cons of static typing?

Seggan

reputation score 3472

modified Feb 25 at 20:42

Score of 4

1 answer

1090 views

How can an abstract-syntax tree be converted into linear three-address code?

Jonas

reputation score 729

modified Feb 23 at 16:33

Score of 2

0 answers

149 views

SineFlexione: lazy evaluation via constructors + strict evaluation via methods

CommunityBot

reputation score 1

asked Feb 22 at 14:02

Score of 6

6 answers

1221 views

Are there languages geared towards component-based design?

Michael Homer♦

reputation score 15921

modified Feb 7 at 8:21

Score of 6

3 answers

2303 views

What are some common ways to optimise an interpreter?

Gavin D. Howard

reputation score 2808

modified Feb 7 at 6:16

Score of 0

1 answer

243 views

How does the parser of PHP and Perl work when a variable contains a function pointer and we are calling the function it points to via `()`?

IMSoP

reputation score 3511

modified Jan 27 at 10:58

Score of 10

2 answers

1979 views

What is switch statement fallthrough, in the perspective of functional programming?

Dannyu NDos

reputation score 1587

modified Jan 24 at 4:03

Score of 0

1 answer

451 views

Why aren't the performance benefits of Splay Trees offset by the fact that using them disables many compiler optimizations? [closed]

Eric Lippert

reputation score 7305

answered Jan 23 at 16:10

Score of 4

0 answers

234 views

Why is the `debugger;` statement a dedicated syntax construct in JavaScript?

jmoreno

reputation score 207

modified Jan 22 at 11:45

Score of 3

6 answers

1268 views

Is there any way a Java-like language could implement immutable primitive arrays without incurring performance penalties?

jmoreno

reputation score 207

answered Jan 19 at 16:24

Score of 4

2 answers

410 views

Representing a composition of variable sized structures

rtpax

reputation score 141

modified Jan 19 at 14:08

Top Questions

Looking for more? Browse the complete list of questions, or popular tags. Help us answer unanswered questions.