Programmieren auf Typebene in TypeScript

Auf unserem erstes Treffen im Jahr 2020 wird Tim erklären, wie man in TypeScript auf Typ-Ebene programmiert. Es wird gezeigt werden,

• wie man einen Typ für eine Curry-Funktion schreibt, die Funktionen mit beliebiger Anzahl an Argumenten curryfizieren kann,
• wie man auf Typ-Ebene Arithmetik mit natürlichen Zahlen implementieren kann
• und wie man darauf aufbauend eine Library für typsicheres Rechnen mit physikalischen Größen implementieren kann.

Und vielleicht wird sogar bewiesen, dass Programmieren auf Typ-Ebene turing-vollständig ist.

Sollte noch Zeit bleiben (unwahrscheinlich?), wird Simon über Modallogik berichten.