The Haskell Symposium is a two-day workshop co-located with the International Conference on Functional Programming (ICFP). In a previous blog post we discussed the Haskell Implementors’ Workshop (HIW), which is another Haskell-workshop co-located with ICFP, but unlike HIW, the Haskell Symposium is a scientific workshop with...
I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.
Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.
This profile is from a federated server and may be incomplete. Browse more on the original instance.
Getting ready for the 20th episode of the #Haskell Unfolder tonight: https://well-typed.com/blog/2024/02/haskell-unfolder-episode-20-dijkstras-shortest-paths/
I just finished reading the Tide Child (Bone Ships) trilogy by @RJBarker .
I don't even quite remember why I started reading these. It wasn't a recommendation, I just browsed for something interesting and the setting (sailing boats and sea dragons) sounded appealing.
This was one of the most remarkable book series I've read in the last few years. I often feel like I'm so difficult to please, and books that are supposed to be great feel underwhelming to me, so it's a relief if every once in a while it still happens that I'm truly impressed. The setting in these books is quite unique and full of fantastic ideas I won't spoil, the world building is excellent, and the characters are fantastic. I usually like it if characters in stories aren't merely reacting to events unfolding around them. In this story, life certainly isn't easy for any of the main actors, and there are many things that happen to them, but at the same time, it is very clearly their choices and actions that shape the story, and that's what makes it all so rewarding.
I think I have to check out the other books by this author! @RJBarker , you certainly have a new fan!
A new episode (#20 already!) of the #Haskell Unfolder is upcoming! Tomorrow, Wednesday, 2024-02-21 at 1930 UTC Edsko and I will talk about how to translate imperative pseudo-code into idiomatic Haskell, using Dijkstra's shortest path algorithm as an example.
This should be suitable for relative beginners, all Haskell code will be simple and hopefully straight-forward.
Hope to see you all there!
New blog post: Understanding Haskell's type system
The #Haskell Foundation is looking for new Board members: https://discourse.haskell.org/t/2024-call-for-nominations-for-the-haskell-foundation/8778
#Haskell Unfolder Episode 19 complete!
Looking forward to the #Haskell Unfolder tomorrow (2024-01-31) at 1930 UTC: Edsko and I will take a look at a function called
repeatedlyand discuss its relation to
foldl'. After recently having looked at a couple of somewhat more advanced topics, this should very much be a beginner-friendly episode.
why do haskellers deal with libraries that jump through crazy hoops to get automatic lifting in optic composition, while for everything else manual lifting is fine?
Basically, I understand the concepts of functional programming quite well and can also programme #purescript or #haskell relatively confidently. But when it comes to #typelevel programming, I haven't quite got over this threshold yet. I would really like to understand everything better and learn more in this area, because many cool libraries are based on it.
I'm looking forward to the first #Haskell Unfolder episode of 2024, tonight, 2024-01-17 at 1930 UTC live on YouTube. Edsko and I will look at a special case of type-level programming. We will show how to compute (with) constraints over type-level lists, and also revisit the topic of class aliases which we've briefly mentioned in earlier episodes.
on, the most useless function in #haskell base. There’s really never a situation where inlining it doesn’t make the code easier to understand.
f = foldr (flip (const . (+1))) 0
Finished playing Heaven's Vault over the holidays (because @mheinzel mentioned it a while ago). Very beautiful, very calm game. Quite enjoyable and relaxing.
Now playing Hogwarts Legacy. Obviously very different, but also quite impressive so far.
Getting very close to the end (as in 100%) of Super Mario Bros. Wonder. This was as fun as expected. It's remarkable that Nintendo somehow manage to consistently release high-quality games for their major IPs with hardly ever any real misses. Also great to see that my daughter is now completing everything nearly as quickly as I am. One more year or so, and I'll be chanceless in comparison.