Talks
- By: Dr. Fridtjof Siebert and Michael Lill
- Event: VMIL 2024
- 20 Oct 2024
Fuzion is a new language targeting safety-critical systems by building on few but powerful concepts and enabling static analysis of applications to verify their correctness. The Fuzion Intermediate Representation (FUIR) ...
- By: Dr. Fridtjof Siebert
- Event: Fosdem 2024
- 3 - 4 Feb 2024
The Fuzion language is a hybrid functional and object-oriented language that in many respects behaves exactly diametrical to Java. Nevertheless, the JVM has turned out an excellent target platform for Fuzion...
- By: Dr. Fridtjof Siebert
- Event: TyDe 2023
- 4 Sep 2023
This talk explains how the Fuzion language unifies the handling of type arguments and value arguments in calls and how types can be equipped with callable features...
- By: Dr. Fridtjof Siebert
- Event: Fosdem 2023
- 4 - 5 Feb 2023
Since FOSDEM 2022, Fuzion has seen two major improvements: The introduction of Algebraic Effects and a unification of types parameters and argument fields...
- By: Dr. Fridtjof Siebert
- Event: Fosdem 2023
- 4 - 5 Feb 2023
This talk will explain algebraic effects and type features in Fuzion and show how they can be used...Many examples will be given that show how typical code patterns in Java can be realized in a purely functional way using effects.
- By: Dr. Fridtjof Siebert
- Event: Gulaschprogrammiernacht GPN20
- 19 - 22 Mai 2022
Fuzion is a modern general purpose programming language that unifies concepts found in structured, functional and object-oriented programming languages into the concept of a Fuzion feature...
- By: Dr. Fridtjof Siebert
- Event: Fosdem 2022
- 5 - 6 Mai 2022
This talk will focus on Fuzion's aspects related to safety-critical software development. A fundamental idea of Fuzion is to provide a simple language at a high level of abstraction and move implementation decisions from the developer to the compiler...
- By: Dr. Fridtjof Siebert
- Event: Fosdem 2022
- 5 - 6 Mai 2022
This talk will explain how Java's concepts such as classes, interfaces, methods, constructors, packages, etc. are mapped to the single concept of a Fuzion feature. The fzjava tool will be explained that provides Fuzion interfaces to Java libraries. Finally, the Fuzion interpreter and a (planned) Java byte-code back-end are presented...
- By: Dr. Fridtjof Siebert
- Event: Fosdem 2022
- 5 - 6 Mai 2022
This talk will present the advances in the Fuzion languages since its first public announcement at FOSDEM 2021. This includes a simplified and cleaned-up syntax, improved type inference, its safety features, foreign language interface to Java and an overview of the existing and planned toolchain...
- By: Dr. Fridtjof Siebert
- Event: Ada Europe 2021
- 7 - 10 June 2021
Fuzion addresses requirements for safety-critical applications by adding support for contracts that enable formal specification and detailed control over runtime checks...
- By: Dr. Fridtjof Siebert
- Event: Fosdem 2021
- 6 - 7 February 2021
The talk will explain Fuzion's motivation and present its main concepts, feature declarations and feature calls. It will not go into details of the syntax, but present Fuzion's approach to immutability, memory management and type inference...