💾 Archived View for gemini.bortzmeyer.org › fosdem › event-11027.gmi captured on 2023-03-21 at 01:02:56. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-17)
-=-=-=-=-=-=-
Fridtjof Siebert
Type devroom
Combining safety and analysability with high performance － while distracted by a 🐶
Starts on day 2 (2021-02-07) at 10:30 (Brussels time, UTC+1) in room Declarative minimalistic (duration 00:20)
Matrix room #declarative minimalistic:fosdem.org
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. It combines a powerful syntax and safety
features based on the design-by-contract principle with a simple intermediate
representation that enables powerful optimizing compilers and static analysis
tools to verify correctness aspects.
Fuzion was influenced by many other languages including Java, Python, Eiffel,
Rust, Go, Lua, Kotlin, C#, F#, Nim, Julia, Clojure, C/C++, and many more. The
goal of Fuzion is to define a language that has the expressive power present in
these languages and allow high-performance implementation and powerful analysis
tools. Furthermore, Fuzion addresses requirements for safety-critical
applications by adding support for contracts that enable formal specification and
enable detailed control over runtime checks.
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.