---
key: pl/curry
kind: plang
name: "Curry"
url: https://plangs.page/curry
---

# Curry

> Declarative language that integrates features of functional and logic programming paradigms

A declarative programming language that uniquely integrates features of functional and logic programming paradigms. It supports non-deterministic computations, constraint programming, and combines features such as lazy evaluation and strong typing. Curry is based on Haskell but extends it with logic programming features.

## Facts

- Appeared: 1995
- Homepage: https://curry-lang.org

## Relationships

### Paradigms

- [Concurrent](https://plangs.page/paradigm/concurrent)
- [Constraint](https://plangs.page/paradigm/constraint)
- [Declarative](https://plangs.page/paradigm/declarative)
- [Functional](https://plangs.page/paradigm/functional)
- [General-Purpose](https://plangs.page/paradigm/general-purpose)
- [Lazy Eval](https://plangs.page/paradigm/lazy)
- [Logic](https://plangs.page/paradigm/logic)
- [Modular](https://plangs.page/paradigm/modular)

### Platforms

- [Cross-Platform](https://plangs.page/platform/cross)
- [Linux](https://plangs.page/platform/linux)
- [x86-64](https://plangs.page/platform/x86-64)

### Type Systems

- [Algebraic Data Types](https://plangs.page/type-system/algebraic)
- [Inferred](https://plangs.page/type-system/inferred)
- [Static](https://plangs.page/type-system/static)
- [Strong](https://plangs.page/type-system/strong)

### Implemented By

- [Haskell](https://plangs.page/haskell)

### Influenced By

- [Haskell](https://plangs.page/haskell)
- [Prolog](https://plangs.page/prolog)

### Licenses

- [BSD](https://plangs.page/license/bsd)

### Tags

- [Audio](https://plangs.page/tag/audio-dev)
- [Compiler](https://plangs.page/tag/compiler)
- [Interpreter](https://plangs.page/tag/interpreters)
- [Scripting](https://plangs.page/tag/scripting)
- [Testing](https://plangs.page/tag/testing)