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

A curated list of Standard ML resources + an auto-generated index of the 360+ sjqtentacles sml-* ecosystem.

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

Appunti del corso di Programmazione Funzionale per Obsidian

Leveled structured logging for Standard ML (MLton + Poly/ML): logfmt + JSON renderers, withFields child loggers, tee/filter sinks, parseLevel/setLevel, and a deterministic capturing sink. Pure.

Combinatorial enumeration and exact counting in pure Standard ML: permutations, combinations, partitions, Gray codes, Catalan/Stirling numbers (IntInf). MLton + Poly/ML.

Umbrella of the pure-SML web stack: one request->response app wiring router + middleware + sessions + negotiation. Pure, deterministic, dual-compiler.

Okapi BM25 / TF-IDF document ranking in pure Standard ML, built on an inverted index. Deterministic, MLton + Poly/ML.

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.

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

RFC-6962 Merkle trees in pure Standard ML (MLton + Poly/ML): domain-separated hashing, inclusion + consistency + multi proofs, append/updateLeaf, and accessors.

Principal Component Analysis in pure Standard ML via Jacobi eigen-decomposition: components, explained variance, transform. MLton + Poly/ML.

Pure Standard ML package-manifest resolver + lockfile + .mlb generator (smlpkg-compatible), with a thin Git/mlton build driver. Byte-identical under MLton and Poly/ML.

Consistent hashing ring with virtual nodes in pure Standard ML (CRC32-based). Minimal remapping on membership change. MLton + Poly/ML.

Generic list and rose-tree zippers in pure Standard ML (MLton + Poly/ML): tree structural edits + traversals (preorder/postorder/fold), list navigation (moveTo/start/toEnd), maps and folds.

Hexadecimal encode/decode in Standard ML: strict and tolerant decode (whitespace/0x), digit and byte helpers, and xxd-style hexdump.

Pure Standard ML orbital mechanics: vis-viva, circular/escape velocity, Hohmann and bi-elliptic transfers, Tsiolkovsky rocket equation, sphere of influence (MLton + Poly/ML)

Hindley-Milner type inference (Algorithm W) for a mini-ML in pure Standard ML, with let-polymorphism and an ofLambda bridge to the vendored sml-lambda. Dual-compiler MLton + Poly/ML.