Steuer-Berechnungs-Engine fuer eine Wiener Lohnabrechnung in Haskell
Übersicht
Worum es bei diesem Projekt geht.
Modelliere die Steuer-Domaene mit algebraischen Datentypen (Einkommens-Typen, Versicherungs-Klassen, Steuer-Klassen, Abzuege). Implementiere die Berechnungs-Funktionen als reine Funktionen ohne Seiteneffekte. Decke die zehn wichtigsten Berechnungs-Pfade ab (z. B. Mehrfachbeschaeftigung, Sechstel-Begrenzung fuer Sonderzahlungen, Pendlerpauschale). Schreibe property-based Tests mit Hedgehog oder QuickCheck (zufalls-getriebene Eigenschafts-Tests, die Hypothesen ueber das Verhalten der Funktionen pruefen). Vergleiche zehn Test-Cases mit dem heutigen System. Liefere Code, ein 6-seitiges Design-Dokument und einen Vergleichs-Bericht.
Das Briefing
Was Du tust und was Du zeigst.
Wie modellieren wir die oesterreichische Lohn-Steuer-Domaene in Haskell so, dass jaehrliche Aenderungen lokalen Effekt haben und property-based Tests den Kern absichern?
Earning criteria — what you'll demonstrate
- Domaene mit algebraischen Datentypen praezise modellieren
- Berechnungen als reine Funktionen ohne Seiteneffekte implementieren
- Property-based Tests fuer Geschaefts-Regeln formulieren
- Haskell-Module so schneiden, dass jaehrliche Steuer-Aenderungen lokalen Effekt haben
Studienpassung
Wo dies in Dein Studium passt.
Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Karrierewege, die das aufbaut
Kanonische RollenSoftware Engineer
Software Engineers mit Haskell-Erfahrung und Domain-Modeling-Disziplin sind in Banken-, HR- und Compliance-Software stark nachgefragt. Die property-based-Testing-Disziplin ist direkt im Tagesgeschaeft anwendbar.
Dieses Projekt schärft
- haskell
- algebraic-data-types
- property-based-testing
Backend Engineer
Backend Engineers, die saubere Domain-Models in funktionalen Sprachen bauen, vermeiden eine grosse Klasse von Defensiv-Bugs. Die Disziplin ist auch in Kotlin- oder Scala-Codebases anwendbar.
Dieses Projekt schärft
- domain-modeling
- pure-functions
- type-driven-design
Noch eine Sache