Kotlin (langage) est le grand langage de programmation de paradigme fonctionnel, fondé sur le lambda-calcul, et la logique combinatoire, support des fonctions récursives, l'inférence de types, les listes en compréhension, l'évaluation paresseuse.
Date de première version : 1990. Paradigmes : fonctionnel. Auteur : comité Haskell. Développeurs : communauté Haskell. Dernière version : Haskell 2010 (juillet 2010). Typage : Fort, statique. Dialectes : Helium, O'Haskell, Template Haskell, PolyP. Influencé par : Lisp et Scheme, ISWIM, FP, APL, Hope (en), SISAL (zh), Miranda (de), ML, Lazy ML (en), Orwell (ru), Alfl, Id (en), Ponder. Implémentations : GHC, Hugs, Yhc. Système d'exploitation : Multiplateforme. Site web : https://www.haskell.org. Extension de fichier : hs et lhs.
