Slides + Repo Hi everyone! I am attaching the slides + repos of the speakers here. If you have any other queries or questions, drop me a mail at email@example.com . I’ll b… more
This conference is focused on the theory and practice of the PureScript programming language. We will discuss:
- How to get started
- How to get productive - best practices and tooling.
- Demystifying PureScript - a deep dive of the concepts.
- Real world case studies of PureScript in production, and the lessons learnt.
At the end of the conference you will:
- Gain a deep understanding of PureScript, its ecosystem, and how it compares with other prevalent approaches.
- Know how to architect large applications with PureScript that are maintainable, and scale to large codebases and team sizes.
- Understand some of the practical challenges of adopting PureScript and how to overcome them.
- Get advice, tips, and techniques from industry leaders with real world PureScript experience.
- Functional programming enthusiasts
- Engineering Leaders - directors, leads, architects
- Web developers
PureScript conference is curated by Anupam Jain. Anupam works with strongly typed FP, user interfaces, analytics, and fintech. Anupam has written the Concur UI framework, and has founded the FP India user group.
For further details about the PureScript conference, call 7676332020. Or, you can leave your query at https://hasgeek.com/FP-Juspay/purescript-conference/comments. The organizers will get back to you.
The Hills Are Alive With the Sound of Comonads
Comonads famously project computations into future contexts. But what if the future is uncertain? What if, like in Demolition Man, the computation wakes up in a hostile, dystopian 2032? Instead, we’d like the computation to wake up in a place more like Encino Man, or at least An American Pickle.
This was the starting point for purescript-wags, a web audio engine that projects future audio states onto the mutable and referentially opaque Web Audio API. In this talk, I’ll show how existential types can be used inside of cofree comonads to add a modicum of type safety to a mutable-state model, and I’ll also show how linear types can be grafted onto comonads as a zero-cost abstraction to tame the volatile Web Audio API.
At the end, I’ll show how this facilitates the rendering of complex audio graphs in a sub-fifteen-millisecond deadline, allowing for low-latency MIDI and audio applications in the browser like https://wags.fm/, https://whatis.wags.fm/ and https://yap.wags.fm/.