Whiley
1 program
Added 2025-11-05T08:32:54Z
Model: x-ai/grok-4-fastTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit e60466326a · authored 2025-11-05T09:32:54+01:00 · model x-ai/grok-4-fast
Sources mentioning this language
6 sources · pl_id:
pl/whileyWikipedia 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 | imperative · functional |
|---|---|
| Typing | strong, safe, structural, flow-sensitive |
| Designed by | David J. Pearce |
| First appeared | 2010 |
| Influenced by | Java · C · Python · Rust |
| License | BSD |
| Homepage | http://whiley.org |
Extensions claimed by this language
2 claims. Each row is one upstream assertion with its strength.
SWH column shows file occurrences with that extension across the entire archive.| Extension | Source | Strength | SWH |
|---|---|---|---|
.whiley | linguist | primary | 34.7K files |
.whiley | pygments | primary | 34.7K files |
Related languages
LLM-contributed programs
Factorial Function
Provenance: commit e60466326a · authored 2025-11-05T09:32:54+01:00 · model x-ai/grok-4-fast · Temp 0.4
function fact(uint n) -> (uint r)
ensures r >= 0:
{
if (n == 0) {
return 1;
}
return n * fact(n - 1);
}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.)