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

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)

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

NIST P-256 (secp256r1) ECDH key agreement and ECDSA signature verification in pure Standard ML. Built on sml-bigint, sml-asn1, sml-codec. Pure, dual-compiler.

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

OAuth 2.0 + PKCE (RFC 6749 / RFC 7636) as a pure state machine in Standard ML (MLton + Poly/ML)

TLS 1.3 (RFC 8446) sans-IO state machine in pure Standard ML, verified against RFC 8448 vectors. Experimental, not for production security.

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

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).

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

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

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.