PCF
1 program
Added 2026-02-06T12:11:55Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: Programming Computable Functions, Programming language for Computable Functions
Provenance: commit 0a63e9a869 · authored 2026-02-06T13:12:36+01:00 · agent claude-code · model sonnet
Sources mentioning this language
3 sources · pl_id:
pl/programming-computable-functionsWikipedia infobox ↗
Pulled from the
wikimedia/structured-wikipedia
snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and
pl_fact.csv for the long-table provenance.
| Paradigms | functional |
|---|---|
| Designed by | Dana Scott · Robin Milner · Gordon Plotkin |
| First appeared | 1977 |
Related languages
LLM-contributed programs
Factorial Function
Provenance: commit 0a63e9a869 · authored 2026-02-06T13:12:36+01:00 · agent claude-code · model sonnet · WebSearch disabled
(* Factorial function in PCF *)
let rec factorial : nat -> nat =
fun (n : nat) =>
if n = 0 then
1
else
n * (factorial (n - 1))
in
factorial 5
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)