A bit about Unison, for the uninitiated
Unison is a general-purpose, statically typed functional programming language in which functions are saved and identified by a hash of their AST, not as text values on a file system. We think this decision has radical consequences and built everything from our code hosting tooling and cloud platform to suit this new programming model. š
What to expect at Unison Forall
š Unison on the web
Discover how to build web apps with Unison and Unison Cloud, leveraging the unique capabilities of the language and tooling to power full-stack applications.
š Distributed systems
Learn how Unison's support for distributed computing lends itself to better abstractions for topics like event-driven architectures.
š§° Programming language innovations
Dive into algebraic effects and other wild Unison language features and see how they can lead to cleaner, more elegant code.
šÆ Updates and exclusive previews
Get the latest news and updates directly from the Unison team, and find out what's ahead for the Unison ecosystem.
Unison Forall is a community gathering, a celebration of new technical ideas, and a chance to connect with Unison developers from around the world. So, mark your calendar, grab your virtual seat, and join us at Unison Forall! We're excited to see you there!
Schedule (in Eastern time)
Opening remarks
RĆŗnar Bjarnason
Full Stack Web Development with Unison, htmx, and Web Components
Tavish Pegram
How to Learn a Language (without ever using it)
Kyle Goetz
Toward a rich and graphical UCM
Simon HĆøjberg
15 minute break
UIs in Unison
This talk will survey approaches to building Unison UIs today, then speculate (wildly!) on what might be possible in the future š®
Dan Freeman
Boost your command-line applications with potions!
potions
, a library for parsing command-line arguments: its features, how Unison is leveraged for its implementation (abilities anyone?) and some of the paper cuts that hurt during its development.Eric Torreborre
hour break
Busy Beaver Problem
One class of functions is called the busy beaver problem; for a Turing machine of a number of states. How many steps can they take before they halt?
Daan van Berkel
Distributed streaming on Unison Cloud
Weāll start our journey in the beautiful landscape of functional programming APIs, and then take an ability handler to the perilous world of distributed systems, a world where we need fences, leases, shards and view changes to make our system scalable and resilient. We will learn how to implement those standard techniques on Unison Cloud, and then discuss the unique optimisations enabled by its innovative combination of features.