Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism

Patrycja Balik, Szymon Jędras, Piotr Polesiuk

Type-and-effect systems help the programmer to organize data and computational effects in a program. While for traditional type systems expressive variants with sophisticated infer…