Astrid Lindberg
type theorist, kindred of HoTT
// haskell.day 2026 :: Annual Celebration
main :: IO Celebration
schedule :: [Talk]
speakers :: { name :: Text, talk :: Text }
type theorist, kindred of HoTT
algebraic effects, free monads
category-theoretic compilers
GHC core team
streaming abstractions
dependent types in practice
venue :: Maybe Place
Harpa Concert Hall, Reykjavík
A glass honeycomb on the North Atlantic. Doors at 08:30. Lightning track in foyer C.
Live mirror :: stream.haskell.day · chat :: #haskell-day
community :: m (m (m Person))
A celebration is monadic: each layer wraps the last, propagating context. Sponsors hold organizers, organizers hold speakers, speakers hold attendees, attendees hold the room.
register :: Email -> IO Ticket
No ticketing forms here. Send a curl-shaped greeting, get a confirmation by return.
-- in your shell curl -X POST haskell.day/api/register \ -d '{"email":"you@domain"}'
IO awaits.
tracks :: Sum Track
program :: Attendee -> IO Memory
Sign up with one curl. We send you a typed ticket.
Arrive in Reykjavík or join the stream. Coffee, seat, breath.
Twelve hours of talks, demos, hallway proofs.
PR the community. Lightning talks, mentoring, sponsorships.
manifesto :: Text
Because purity is generous: it lets us reason about what we built without re-running the world.
Because types are notes from the future, telling the present what is possible.
Because composition is the simplest political act: smaller things forming larger ones, without asking permission.
Because once a year, the lambda needs a holiday.