Jon Purdy's user avatar
Jon Purdy's user avatar
Jon Purdy's user avatar
Jon Purdy
  • Member for 11 months
  • Last seen this week
20 votes

Which horizontal whitespace should be supported?

18 votes

Are there Haskell-like languages where equations allow for arbitrary left-hand sides?

15 votes

What are the drawbacks of using indentation for code blocks?

15 votes
Accepted

What options in Unicode are there for balanced pairs of brackets like `(){}[]<>`?

13 votes

How do image-based languages deal with transient external references?

12 votes

How to implement + in a language where functions accept only one argument?

9 votes
Accepted

Pros and cons of whitespace or comments being included as tokens

9 votes
Accepted

How can polymorphism in a structural type system be compiled?

8 votes
Accepted

What exactly is Pratt parsing used for and how does it work?

7 votes

How can I optimize for average code size when designing my ISA's variable-instruction-length instruction set?

7 votes
Accepted

How is fixpoint of type exponentiation implemented?

7 votes

What is a GADT skolem?

7 votes

Static or dynamic dispatch for parametric polymorphism

6 votes
Accepted

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

6 votes
Accepted

How can declarative languages provide useful information or tools for debugging?

6 votes

Stack-based languages exposing additional stacks

5 votes
Accepted

What are some options for integrating subtyping with Damas-Hindley-Milner inference?

5 votes

Approaches for implementing weak references

5 votes

How could a language with a C-style syntax implement homoiconicity?

5 votes

A conditional block with unconditional intermediate code

4 votes
Accepted

Syntax options for providing branch prediction information

3 votes

When do we need complex type inference?

3 votes

How can I optimize for low processor-register-bit-flip-related power-consumption when designing my ISA's fixed-instruction-length instruction set?

3 votes
Accepted

Can final and full lattice type theory be combined?