Please log in to watch this conference skillscast.
Substructural type systems such as linearity, uniqueness, or ownership track sharing of values in the type system. Haskell’s type system supports linearity through the experimental LinearTypes; the closely related concept of uniqueness has been a central component in the type system of the Haskell-like programming language Clean for over 25 years. The increasing popularity of Rust introduced the world to an imperative language with a similar concept: ownership. This talk will be an introduction to these concepts, as well as a comparison between these different systems.
YOU MAY ALSO LIKE:
Sharing is Caring? Comparing ownership in Haskell and Rust
Edsko de Vries
Edsko has been using Haskell for nearly 20 years, and has been a professional Haskell consultant with Well-Typed for roughly half that time. He holds a PhD in advanced (substructural) type systems for pure functional languages from Trinity College, Dublin.
As a Well-Typed consultant, he has provided training across the world, from Johannesburg to Boston to Singapore. He has worked on a large variety of projects, both open source as well as closed source for specific clients. Some of the open source projects he has contributed to are Cloud Haskell, Hackage, the Hackage security library, ghc, Ziria (a DSL developed by Microsoft) and cabal. Some general purpose libraries he has (co)developed include generics-sop, nothunks, recover-rtti and large-records.
The last few years he has worked as a consultant with IOHK on the Cardano blockchain, where he was responsible for the overall architecture of the consensus layer, designed the hard fork combinator, and did research on formal specification of a crypto wallet and invented a novel coin selection algorithm.