LTWlanguages & frameworks ltw://languages

Sponsor

Language

Curry

Programming language

1995Appeared

static typing, inference typing, strong typingType system

3.8.0Latest version

Facts

Appeared: 1995
Type system: static typing, inference typing, strong typing
Latest version: 3.8.0 (April 7, 2025)
Kind: logic programming language, functional programming language
Paradigms: functional programming, logic programming, constraint programming
Developer: Kiel University
Influenced by: Prolog, Haskell
Licence: 3-clause BSD License
Influences listed: 2

Sources: Wikidata (CC0) · Wikidata Q2368856