Repository contenente esami con soluzione proposti durante lo sbarramento dell'esame di Programmazione Funzionale (prof Kuper).

Working through "Unix System Programming with Standard ML" by Anthony L. Shipman, 2001

Appunti del corso di Programmazione Funzionale per Obsidian

Classic string matching & analysis in pure Standard ML: KMP, Z-function, Boyer-Moore, Rabin-Karp, Aho-Corasick, Manacher (MLton + Poly/ML)

MessagePack binary serialization (spec v2.0) in pure Standard ML

Merkle tree construction, root computation, and inclusion proofs in pure Standard ML

Arbitrary-precision decimal arithmetic for Standard ML (Java BigDecimal style), built on IntInf with explicit rounding modes. Portable, tested on MLton and Poly/ML.

CIE colour-science extensions (XYZ, xyY, CIELUV, CIE94, Bradford adaptation, CCT) on top of sml-color, in pure Standard ML for MLton and Poly/ML

Bitcoin Script stack machine interpreter (subset) in pure Standard ML

CODATA fundamental physical constants as typed, dimensioned quantities in pure Standard ML, built on sml-units (MLton + Poly/ML).

Virtual DOM in pure Standard ML: diff two sml-html trees into a minimal patch list with a round-tripping apply oracle. Dual-compiler (MLton + Poly/ML), byte-identical, deterministic.

Pure Standard ML animated GIF encoder (LZW + median-cut palette) (MLton + Poly/ML)

Parser combinators for Standard ML (MLton + Poly/ML), with position tracking and precise error reporting.

Entity-Component-System (ECS) architecture with sparse component stores in pure Standard ML

Persistent 2-3 finger tree (sequence/deque) in pure Standard ML (MLton + Poly/ML)

Untyped + simply-typed lambda calculus: parser, capture-avoiding substitution, normal-order reduction, STLC typechecker, in pure Standard ML (MLton + Poly/ML)

BLAKE3 cryptographic hash function in pure Standard ML

Balanced k-d trees in pure Standard ML: nearest-neighbour, k-NN, box, and radius queries over real coordinates. Deterministic, byte-identical on MLton and Poly/ML.

Pure Standard ML JSONPath query engine over sml-json (MLton + Poly/ML)

Scene math for Standard ML (MLton + Poly/ML): transforms (TRS), camera view/projection, frustum culling, and ray/AABB/sphere/triangle intersection. Built on sml-glm, FFI-free.