Skip to main content

Explore our questions

5 votes
0 answers
77 views

What are some of the challenges in implementing, and disadvantages of having, dependent types in a programming language?

17 votes
2 answers
3k views

What does it mean that a language has an "effect system"?

143 votes
1 answer
47k views

How should I read type system notation?

11 votes
1 answer
335 views

What is "graded modality" in type theory?

22 votes
4 answers
4k views

How are "strong" and "weak" typing defined?

5 votes
6 answers
692 views

What programming languages contain a built-in imaginary data type?

0 votes
2 answers
113 views

Is it valid to call a configuration-format—with associated JSON-schema—a language?

8 votes
2 answers
357 views

How are algebraic data types implemented?

3 votes
1 answer
316 views

Why is type-punning at compile-time a no-go?

4 votes
1 answer
317 views

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

5 votes
1 answer
311 views

Can final and full lattice type theory be combined?

1 vote
2 answers
301 views

What is the mathematical abstraction of bitflags for use in a purely functional language?

6 votes
1 answer
342 views

How to design interfaces to mimic haskell-like type classes in an object oriented language?

21 votes
2 answers
4k views

To box or not to box? (how to determine if a value can be more efficiently passed by value or by reference)

Browse more Questions