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

Implement your own Type System today!

Session
Until the conference starts:
✓ Group discount
✓ Save up to 247 €
Register now
Bis Konferenzbeginn:
✓ 5-Tages-Special
✓ Kollegenrabatt
✓ Bis zu 247 € sparen
Jetzt anmelden
Until August 13:
✓ Agile Day
for free

✓ Group discount
✓ Save up to 756 €
Register now
Bis 13. August:
✓ Agile Day
for Free

✓ Kollegenrabatt
✓ Bis zu 756 € sparen
Jetzt anmelden
Infos
Mittwoch, 9. September 2020
18:15 - 19:15

Many developers view type theory as abstruse and confusing. It’s not! This talk will show you the four simple components of a type system: the types, their subtyping relationships, how to give a type to each expression in your program, and what operations are illegal. If you specify these four things, you have designed a type system. Starting from nothing, in less than an hour, we will create a full-fledged type-checker that detects real errors in real programs. We will implement our type-checker for Java, and it will handle all Java constructs, such as generics, subtyping, and lambdas. Our type system will detect errors in the use of the optional type that the Java compiler permits and that would go undetected until run time. You will also be ready to use the dozens of available pluggable type-systems that others have already implemented and that are in use at companies such as Amazon, Google, and Uber to improve code quality. The tool is freely available at https://CheckerFramework.org

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 Online Edition Online Edition .

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

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 .

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 Online Edition Online Edition , JAX JAX or oder W-JAX W-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

Microservices
Strukturen & Frameworks

Web Development & JavaScript
JS & Webtechnologien

Performance & Security
Sichere Webanwendungen

Serverside Java
Spring, JDK & mehr

Digital Transformation & Innovation
Technologien & Vorgehensweisen

Software-Architektur
Best Practices

Domain-driven Design
Grundlagen und Ausblick

Spring Ecosystem
Wissen in Spring-Technologien

Web-APIs
API-Technologie, Design und Management