oCamlCase
2026React + TypeScriptocamlcase.dev ↗Quellcode ↗
Eine interaktive Seite, die OCaml über Denkmodelle statt über auswendig gelernte Syntax vermittelt.
- Konzepte
- 27 Seiten
- Übungen
- 33 Mini + 6 Projekte
- Labs
- 4 interaktive
- Lizenz
- Open Source
Was es ist
Jede der 27 Konzeptseiten ist um ein einziges Denkmodell gebaut, von Bindungen und Closures bis zu Typinferenz und Endrekursion. Zwei Navigationsmodi decken unterschiedliche Bedürfnisse ab: eine flache Referenz und ein geführter Pfad. Der Fortschritt liegt im localStorage; kein Konto, kein Tracking.
Labs
- Typherleitungsbaum: ein echter Typprüfer, geschrieben in TypeScript, der sein Schlussfolgern als Baum zeichnet.
- Baum-Explorer: ein Rose Tree, vier Ansichten (Tour, Linearisierung, Projektion, Balance).
- Interpreter-Pipeline: ein Ausdruck, sechs Stufen zum Durchspulen; von Zeichen zu Tokens zu einem Baum zu einem Wert.
- Playground: das echte OCaml-Toplevel, nach JavaScript kompiliert, direkt im Browser.
Technische Notizen
- Elaborator, Parser und Evaluator sind eigene TypeScript-Implementierungen, kein eingebettetes Fremd-Widget.
- Code-Splitting pro Route brachte das Bundle von 840 kB auf 655 kB.
- Vorgerenderte Heads pro Route und eine generierte Sitemap decken 105 Routen ab.
- Deployment über GitHub Pages; die CI führt vor jedem Build die Tests aus.
Auf ocamlcase.dev ausprobieren ↗ocamlcase.dev
kostenlos · kein Konto
Motivation
OCaml ist an der TUM die Einstiegssprache für funktionale Programmierung, und die meisten Tutorials sind syntaxlastig. Diese Seite ist die denkmodell-orientierte Ressource, die ich mir beim Lernen gewünscht hätte.
Was ich gelernt habe
Den Typprüfer und den Interpreter selbst zu implementieren hat genau das Verständnis vertieft, das die Seite vermitteln will. Konzepte zu erklären zwingt zur Präzision, und der Betrieb der Seite war gute Praxis in Bundling, SEO und CI.