All Questions
Tagged with static-typing type-inference
3
questions
6
votes
1
answer
125
views
Understanding the "operational" reading of typing judgements in PFPL by Robert Harper, Chapter 4 Statics
I'm reading Practical Foundations for Programming Languages by Robert Harper and am confused by the exercises in Chapter 4, "Statics", where he discusses a (monomorphic) type system.
The ...
1
vote
1
answer
331
views
Type-checking Python vs Typescript
mypy is very slow, pyright is fast but not quick enough in a large codebase, and tsc gives an immediate intellisense and type errors.
I do not know whether it is because Python has more complex type ...
15
votes
1
answer
513
views
What are some options for integrating subtyping with Damas-Hindley-Milner inference?
Type inference in a Damas-Hindley-Milner type system with subtyping is known to be undecidable in general.
What makes it so difficult? What options are there to get around undecidability which could ...