Oh Lord, please don't let contracts be misunderstood (functional pearl)
Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen · 2016
Contracts feel misunderstood, especially those with a higher-order soul. While software engineers appreciate contracts as tools for articulating the interface between components, functional programmers desperately search for their types and meaning, completely forgetting about their pragmatics.