PolyML

1 program Added 2026-02-10T11:28:10Z Agent: claude-codeModel: sonnetWebSearch: disabled Evidence Report issue View issues
Aliases: Poly/ML
Provenance: commit 050e285649 · authored 2026-02-10T12:29:13+01:00 · agent claude-code · model sonnet

Sources mentioning this language

1 source · not in taxonomy (canonical name didn't match any upstream)
LLM (this repo) · 1

Related languages

POLYMATH (0.29)PlantUML (0.19)Polar (0.19)Pollen (0.18)TinyML (0.18)

LLM-contributed programs

Quicksort

Provenance: commit 050e285649 · authored 2026-02-10T12:29:13+01:00 · agent claude-code · model sonnet · WebSearch disabled
code.sml · license: LGPL-2.1 · added: 2026-02-10T11:28:10Z
fun quicksort [] = []
  | quicksort (pivot::rest) =
      let
        val (smaller, larger) = List.partition (fn x => x < pivot) rest
      in
        quicksort smaller @ [pivot] @ quicksort larger
      end;

val numbers = [64, 34, 25, 12, 22, 11, 90];
val sorted = quicksort numbers;

print "Original: ";
app (fn x => print (Int.toString x ^ " ")) numbers;
print "\nSorted: ";
app (fn x => print (Int.toString x ^ " ")) sorted;
print "\n";

Contribute — propose a file extension

Tell us where to find evidence about PolyML (mapped to pl/polyml). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/PolyML/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← POLYMATH Polymorphic recursion →