functional programming language
C7022
concept
A functional programming language is a programming paradigm where computation is treated as the evaluation of mathematical functions, emphasizing immutability, first-class functions, and avoidance of side effects.
All labels observed (4)
| Label | Occurrences |
|---|---|
| functional programming language canonical | 18 |
| purely functional programming language | 2 |
| functional programming language family | 1 |
| lazy functional programming language | 1 |
Description generation (CDg)
The one-sentence description above was generated by prompting gpt-5.1 with the class name and this instruction.
Instruction
generate a one-sentence description for a given conceptual class. # Response Format Return only the sentence: "Description: [one-sentence description of the conceptional class]"
Input
Class: functional programming language
Generated description
A functional programming language is a programming paradigm where computation is treated as the evaluation of mathematical functions, emphasizing immutability, first-class functions, and avoidance of side effects.
Instances (19)
| Instance | Via concept surface |
|---|---|
| ISWIM | — |
| ML | — |
| OCaml | — |
| M language | — |
| Standard ML | — |
| XQuery | — |
| Elm | — |
| M | — |
|
Hope
linked to:
Hope programming language
|
— |
| PureScript | — |
| Idris | — |
| Coq | — |
| ML language family | functional programming language family |
| Scala | — |
|
Miranda
linked to:
Miranda programming language
|
— |
|
Lisp
linked to:
Lisp programming language
|
— |
| Haskell | — |
| Elixir | — |
| Erlang | — |