New answers tagged

0

I don't know much, but I am pretty sure Linear Type Theory is used to model imperative programs. For example, Adoption and focus: practical linear types for imperative programming or On linear types and imperative update. Rust, for example, is built on something related to linear types (I forget what exactly though). It appears the more general category of ...


0

The difficulties of dealing with polymorphic operators are not removed by treating types dynamically (i.e., making them latent). The problems of choosing the correct version of the operator and inserting transfer functions if required remain more or less the same. The chief difference in treating types as manifest is that this information has to be made ...


Top 50 recent answers are included