Haskell Linear Types: On the joy, and occasional value, of linear comonoids


詳細
Join us for an exciting evening of Haskell discussions in Tokyo! We're thrilled to welcome Arnaud Spiwack, a prominent GHC compiler contributor and maintainer of the LinearTypes extension, as our featured speaker.
🎤 Talk (English): On the joy, and occasional value, of linear comonoids
Arnaud will share his expertise on Linear Types, a powerful type system feature that helps manage resources more precisely in functional programming. At the moment he's thinking a lot about linear comonoids.
📍 Location:
Hosted by Imiron
12Kanda Building (2nd Floor Communal Area), Kanda, Tokyo.
(Please use the outside stairs to access the second floor.)
🍕 What to Expect:
- Meeting with fellow Haskell enthusiasts.
- Learn about Haskell's linear types from an expert.
- A welcoming environment for all skill levels.
Join us for an evening of learning, discussion, and community building!
Space is limited, so please RSVP to secure your spot.

Haskell Linear Types: On the joy, and occasional value, of linear comonoids