|
|
|
|
|
|
by mananaysiempre
1403 days ago
|
|
|
>> As an example, it would be unsustainable if, every time we changed a single function’s body, the language server had to re-typecheck the entire codebase. If only there were a type system[1] where you could reinfer the function’s type in isolation and then recheck all uses! (I don’t think Trevor Jim’s work on System P2 and System P received any further development, even in “better SML” work like 1ML, which seems like a shame, so I’m going to shill it wherever it appears relevant.) [1] https://dl.acm.org/doi/10.1145/237721.237728 |
|
|