Stack & Methoden

Technische Kompetenzen

Sprachen

TypeScriptPythonLaTeXSQLPureScript

Frontend

SvelteKitSvelte 5Tailwind CSSSkeleton CSSSVGD3.js

Backend

Node.jsPostgreSQLPythonDynamoDBLambda (AWS)Serverless

Paradigmen

Funktionale ProgrammierungEffect SystemsTypgetriebene Entwicklung

Mathematik

KategorientheorieFunktoren & MonadenHomotopy Type Theory (HoTT)Endliche GruppenAlgebra

Effect-TS

Fiber-NebenläufigkeitLayer / Context DISchema-ValidierungStreams

Tooling

GitViteTauriElectronPytestJasmine

„A monad is just a monoid in the category of endofunctors — what's the problem?"

Philip Wadler · Theoretischer Hintergrund als Architekturwerkzeug