Steuer-Berechnungs-Engine fuer eine Wiener Lohnabrechnung in Haskell
Übersicht
Worum es bei diesem Projekt geht.
Modelliere die Steuer-Domäne in Haskell mit algebraischen Datentypen und reinen Funktionen. Erhalte ein verifizierbares Zertifikat.
Das Szenario
Der Anbieter (rund EUR 14 Mio. Umsatz) plant die Umstellung auf eine neue Plattform ueber drei Jahre — der Steuer-Kern soll der erste Baustein sein und die Re-Implementierungs-Disziplin etablieren.
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.
Functional Programming
Bachelor · Programming Languages
Strong alignment
This challenge maps to Functional Programming at the Bachelor level. It sharpens the same practical skills your coursework expects — but in a real industry context with actual constraints and deliverables.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
- Haskell
Apply haskell to solve real industry problems and demonstrate production-level capability.
- Algebraic Data Types
Apply algebraic data types to solve real industry problems and demonstrate production-level capability.
- Pure Functions
Apply pure functions to solve real industry problems and demonstrate production-level capability.
- Property Based Testing
Apply property based testing to solve real industry problems and demonstrate production-level capability.
- Domain Modeling
Apply domain modeling to solve real industry problems and demonstrate production-level capability.
- Type Driven Design
Apply type driven design to solve real industry problems and demonstrate production-level capability.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Software 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