Welcoming
Registration
This event is open to everyone who register. Come early, meet the speakers and have a coffee.
Rickard Andersson
Software Developer, Quanterall
Rickard has been programming for 20+ years and has worked on video game backends, insurance and financial platforms using languages such as Erlang, Elixir and Haskell. He currently lives in Bulgaria and works in Quanterall where he works on prototyping, research and tool making in PureScript and other functional languages.
Guarantees and Intent in Software Development
Rickard's talk will present a look into the differences between intent and guarantees in code, as well as how we can express them and leverage them to stay on track while building software.
Prof Simon Thompson
Technical Project Director, IO Global
Professor of Logic and Computation, University of Kent
Simon works with IOG on languages for distributed application development, including Marlowe and Plutus, as well as audit and certification for DApps. He is also a researcher and educator in function programming at the Universities of Kent and ELTE Budapest, and has published textbooks on Erlang, Haskell and type theory.
Lazy Interactions - Back to the Future
This talk will show us how to build interactive programs in Haskell using the core features of modern functional languages: higher-order functions, pattern matching, data types, and lazy evaluation. This approach was first used in Miranda in the late 1980s, and Simon will reflect on what has changed - and what hasn't - in functional programming between then and now.
Filip Haglund
CTO, Lesslie.se
Filip is after the orders of magnitude improvements in life. Previously a professional functional programming language designer, recently turned CTO. Enjoys reasoning from fundamentals to turn things on their heads.
What Should Error Handling Be Like?
Whenever the happy path meets the real world, those edge cases and exceptions inevitably come up. There are tons of ways to handle errors, and people like to roll their own. Let's take a look at the fundamentals and reason our way towards choosing a better error-handling abstraction with the tools at hand, be it in C or Purescript.