Das Typsystem von Synarius
Synarius verwendet ein parameterzentriertes Typsystem, das physikalische Einheiten, Dimensionen und Abhängigkeiten explizit modelliert. Ein Überblick über die Grundideen.
Beiträge zu Softwareentwicklung, mathematischer Modellierung und Engineering AI.
Synarius verwendet ein parameterzentriertes Typsystem, das physikalische Einheiten, Dimensionen und Abhängigkeiten explizit modelliert. Ein Überblick über die Grundideen.
Jupyter Notebooks sind praktisch zum Explorieren – aber als Basis produktiver Softwarearchitekturen sind sie problematisch. Ein Plädoyer für strukturierten Code.