To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
Definition: general-purpose, functional programming language, with lax ("non-strict") semantics and strong, static typing, named for logician Haskell B. Curry. [d] [e]