u/n00bombin r/haskell • Recommends
Zürich Friends of Haskell Effects for Less - Alexis King
0:00 / 0:00
Alexis King - “Effects for Less” @ ZuriHac 2020
Zürich Friends of Haskell
2K subscribers • 17 videos on Hallway
- Recommended by 6 people: 2 on Hacker News, 1 on Lobsters and 3 in engineering communities.
- Presented by Alexis King
Advanced. Deep dive for people who know the field.
24K views6 years ago6 recommendations
Programming languagesSystems programmingHaskellFunctional programmingPerformance and optimization
Alexis King explains how to implement efficient algebraic effect systems in Haskell and reduce their performance overhead.
The uploader added no description.Why it's here
6 people recommend thisWhat people say. Recommended as an excellent explanation of Haskell effect systems and how to optimize their performance.
Moments people linked to
u/bjzabaPikelet, Fathomin r/ProgrammingLanguages • Recommends
Alexis King - “Effects for Less” @ ZuriHac 2020
gilmion Hacker News • Recommends
On “Ask HN: Best Talks of 2020?”
I don't know, I haven't watched most of them! But the best one I did watch this year was Alexis King's 'Effects for Less' (Haskell). link to this video
u/MaoStevemaoin r/functionalprogramming • Recommends
Zürich Friends of Haskell Effects for Less - Alexis King
one-punchon Hacker News • Recommends
On “Names are not type safety”
For those who may not be familiar with the Haskell ecosystem, Alexis King (lexi-lambda) writes many blogs and libraries related to Haskell. For example, you may be interested in her recent talk on effect systems in Haskell at ZuriHac 2020,1 based on the eff library she mainly contributes to.2 1: link to this video 2: link > he's asking you to read the article more carefully she
u/ianliu88in r/haskell • Mentions
Doubt about GADTs and a video from Alexis King
In the following slide from Alexis King talk ([video she presents this code snippet:
data Eff f a where
Return :: a -> Eff a
Then :: f a -> (a -> Eff b) -> Eff b
First, I think she made a typo here, because she forgot to put the `f` type variable in the constructor types, right?
Second, how come the `Then` constructor can return `Eff f b`? I mean, I would guess that `Then` is a value holding two other values: a `f a` and a function `a -> Eff f b`, and somehow this value is of type `Eff f b`, but then wouldn't the `a` type variable be "unbound"? What happens if you pattern match a value of type `Eff f b`? Could it be a…
cryptonectoron Hacker News • Mentions
On “Linear types are merged in GHC”
Note that the focus here is to make it safe to have mutable data around, not to have manual memory management. Next up I hope: - link to this video link