Programming Language Design and Implementation Stack Exchange is a question and answer site for designers and implementers of computer programming languages. It only takes a minute to sign up.

Sign up to join this community
Anybody can ask a question
Anybody can answer
The best answers are voted up and rise to the top

Explore our questions

4 votes
0 answers
120 views

Determining the most optimized date type for the platform with type inference

1 vote
1 answer
111 views

Expressing runtime constraints with trait-bounds

9 votes
1 answer
229 views

What is the difference between GAT and HKT?

9 votes
1 answer
2k views

Why can you implement a Monoid type in Java or C#, but not Monad or Functor?

5 votes
3 answers
215 views

Types and variables in a different namespace

9 votes
1 answer
321 views

Why does ATTAPL's linear product introduction rule not delete the objects from the context?

12 votes
7 answers
4k views

Are there any situations in which it would make sense to return a never type?

15 votes
5 answers
3k views

Do you need an "Any" type when implementing a statically typed programming language?

17 votes
3 answers
2k views

What optimizations does the strict aliasing rule facilitate?

7 votes
3 answers
334 views

How to incorporate sum types into SQL?

6 votes
2 answers
272 views

If size could be determined at compile time then why could size not be determined at preprocess time?

6 votes
1 answer
233 views

How do you implement a structural subtyping checker?

4 votes
2 answers
202 views

What are some disadvantages to allowing interfaces to require static members?

17 votes
8 answers
901 views

What are the advantages/disadvantages of prefix type syntax?

Browse more Questions