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

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

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

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

Bitcoin Script stack machine interpreter (subset) in pure Standard 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

Arbitrary-precision decimal arithmetic for Standard ML (Java BigDecimal style), built on IntInf with explicit rounding modes. Portable, tested on MLton and 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.

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

First-order term rewriting in pure Standard ML: unification, matching, LPO, critical pairs, and Knuth-Bendix completion (dual-compiler MLton + Poly/ML).

Prometheus-style counters, gauges, histograms + text exposition in pure Standard ML (MLton + Poly/ML)

Step/event sequencer and drum machine in pure Standard ML on sml-midi + sml-music: grid patterns, GM drums, Euclidean (Bjorklund) rhythms, and Standard MIDI File output (MLton + Poly/ML).

ECDSA and Schnorr (BIP-340) signatures over secp256k1 in pure Standard ML

Unified AEAD facade (ChaCha20-Poly1305 + AES-128/256-GCM) in pure Standard ML, with byte-exact RFC 8439 / NIST GCM vectors. Dual-compiler (MLton + Poly/ML).

A Standard ML library of state-based CRDTs: G-Counter, PN-Counter, LWW-Register, and OR-Set