Die Konferenzen für Java, Architektur- und Software-Innovation

Improve your Software Quality Using Optional Type Systems

Until the conference starts:
✓ Save up to 270€
✓ Group discount
✓ 5-Day Special
Register now
Bis Konferenzbeginn:
✓ Bis zu 270 € sparen
✓ Kollegenrabatt
✓ 5-Tages-Special
Jetzt anmelden
Thank you for attending
✓ See you in 2023
Danke für Ihre Teilnahme
✓ Wir sehen uns in 2023
Mittwoch, 4. Mai 2022
19:00 - 20:00
Gutenberg 2

The Java type system gives useful guarantees about your software, but there are many properties that cannot be expressed: that a string contains only a name, only an address, or only sanitized HTML; the range of an integer; the units of measurement of a value. Optional type systems allow developers to improve the quality of their software by encoding additional properties as optional type systems and enforcing these properties at compile time. Extending the type checker might seem scary at first, but is really simple and only requires four components: the extended types, their subtyping relationships, rules for what type each expression in a program has, and rules to decide what operations are legal.
Starting from nothing, we will create a full-fledged type-checker for Java that detects real errors in real programs. Our type system will detect errors in the use of the Optional type that the Java compiler permits and that would go undetected until runtime. You will also be ready to write your own checkers and use the dozens of available optional type systems that others have already implemented. Companies such as Amazon, Google, and Uber use these tools to improve their code quality and you can learn all about them!

This Session belongs to the Diese Session gehört zum Programm vom JAXJAX program. Take me to the program of . Hier geht es zum Programm von W-JAX W-JAX .

Take me to the full program of Zum vollständigen Programm von JAX JAX .

This Session Diese Session belongs to the gehört zum Programm von JAXJAX program. Take me to the current program of . Hier geht es zum aktuellen Programm von W-JAX W-JAX or oder JAX JAX .
Alle News der Java-Welt:
Alle News der Java-Welt:

Behind the Tracks

Agile & Culture
Teamwork & Methoden

Data Access & Machine Learning
Speicherung, Processing & mehr

Clouds, Kubernets & Serverless
Alles rund um Cloud

Core Java & JVM Languages
Ausblicke & Best Practices

DevOps & Continuous Delivery
Deployment, Docker & mehr

Strukturen & Frameworks

Web Development & JavaScript
JS & Webtechnologien

Performance & Security
Sichere Webanwendungen

Serverside Java
Spring, JDK & mehr

Digital Transformation & Innovation
Technologien & Vorgehensweisen

Best Practices

Domain-driven Design
Grundlagen und Ausblick

Spring Ecosystem
Wissen in Spring-Technologien

API-Technologie, Design und Management