4 ms·
Doesn't gradual type system mean something else here? As in developers being able to iteratively add types while leaving untyped parts for later? At least this
by pawelduda 2y ago
Doesn't gradual type system mean something else here? As in developers being able to iteratively add types while leaving untyped parts for later? At least this is how Ruby's Sorbet describes it
- mhanberg 2y agoCorrect, a gradual type system is a form of type system and not the method for rolling it out.
- arrowsmith 2y agoIt's a gradual type system that they're rolling out gradually.
- pjam 2y agoYes, but the discussion here was about it being a gradual, gradual type system, as in, the gradual type system being added gradually
- dub_gui 2y agoYou’re right about what a gradual type system means! A gradual type system allows flexibility in how you approach typing a codebase. It also means that your system incorporates a dynamic type, making your types 'gradual'. Interestingly, gradual set-theoretic types are flexible enough to let you gradually implement type inference for that system. Hence, the gradual gradual type system. :-)