[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Problem with type inference

I would like to point out that, with a primitive procedural interface, static type inference becomes hard. Indeed, if record types are values constructed at runtime, it is hard to see how much useful type inference can be done without some kind of partial evaluation.

In a previous post, I suggested dropping the syntactic layers. Another possibility, more type-friendly, would be to drop everything but (a simplicication of) the explicit-naming syntactic layer.