MLPolyR
1 program
Added 2026-03-17T12:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: ML with Polymorphic Records
Provenance: commit 884353ad75 · authored 2026-03-17T05:01:59+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
2 sources · pl_id:
pl/mlpolyrRelated languages
LLM-contributed programs
Fibonacci Benchmark
Provenance: commit 884353ad75 · authored 2026-03-17T05:01:59+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
(* Fibonacci benchmark in MLPolyR *)
fun fib 0 = 0
| fib 1 = 1
| fib n = fib (n - 1) + fib (n - 2)
fun run_bench n =
let
fun loop i acc =
if i > n then acc
else loop (i + 1) (fib i)
in
loop 0 0
end
val result = run_bench 30
val _ = print ("fib(30) = " ^ Int.toString result ^ "\n")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.)