Issue 371 2023-06-08
Welcome to another issue of Haskell Weekly! Haskell is a safe, purely functional programming language with a fast, concurrent runtime. This is a weekly summary of what’s going on in its community.
Build your own grep in Haskell by CodeCrafters
Build your own implementation of grep from scratch. Along the way, learn about Regex syntax and how Regexes are evaluated.
Announcing halide-haskell - a Haskell interface for the Halide image and array processing language by Tom Westerhout & Alex Drake
If you are struggling with getting your computation to run on a GPU, or have a piece of code that isn’t easily expressed with massiv’s or Accelerate’s builtins, or fail at making LLVM autovectorize your loop, the halide-haskell library might be for you.
Announcement: Mensam by Felix Springer
Sometimes there are events at the office, that many people want to attend. At some point we had more employees than desks in the office, so we needed a reservation system.
Dynamic programming in Haskell: automatic memoization by Brent Yorgey
Last time, we developed some code to efficiently solve this problem using a mutually recursive pair of a function and a lookup table represented by a lazy, immutable array. This solution is pretty good, but it leaves a few things to be desired.
haskell-cihow-to: caching and using your program executable by Fraser Tweedale
In this article I show how to extend the
haskell-ciGitHub Actions workflow to pass the built executable to subsequent jobs.
Implementing Co, a Small Language With Coroutines #4: Adding Channels by Abhinav Sarkar
In the previous post, we added coroutines to Co, the small language we are implementing in this series of posts. In this post, we add channels to it to be able to communicate between coroutines.
Testing control-flow translations in GHC by Norman Ramsey
Code’s behavior can be tested by running it, but we wanted to test the translation before integrating it with GHC. So we simulated translated code by tracing possible executions symbolically.
Trying to hire a Haskell developer? You should advertise with us!
Statically-typed functional languages boast numerous merits, such as robust type safety, immutability, and expressive syntax, but these can also pose challenges when designing software that effectively solves intricate problems and scales over time.
GHC+DH Weekly Update #6, 2023-06-07 by Vladislav Zavialov
After a long break, this is the sixth update on the implementation of dependent types in GHC.
Haskell Foundation DevOps Weekly Log, 2023-06-07 by Bryan Richter
Hello from Rapperswil, Switzerland! I am currently sitting on the grass under a tree next to a bunch of GHC hackers who are relaxing after the first day of the GHC Contributor’s Workshop.
IOG GHC Update #11 by IOG
Biweekly update from the GHC DevX team at IOG.
LambdaConf returns in its first edition after the pandemic, reimagined as a multi-disciplinary developer conference featuring thought-provoking, entertaining, and mind-blowing talks and workshops that will forever change the way you write software.
Monadic lenses are the optic for right monad modules I by Jules Hedges
I figured out encoding of 2 more lens-like constructions in the “van Laarhoven” (functor quantification) style used by Haskell’s Control.Lens.
MuniHac 2023 • July 7-9 • on-site in Munich by David Luposchainsky
Hey people from central-ish Europe (and anyone willing to travel there)! We’re happy to announce Munihac 2023, our free three-day hackfest, this year a bit earlier than usual, namely from the 7th to the 9th of July (with the option of a beginner’s workshop on the 6th already).
This year, Well-Typed is delighted to support both the GHC Contributors’ Workshop and ZuriHac.
Show & tell
base32 version 0.3 by Emily Pillmore
base32-0.3is out now, with extended support for GHCs 8.10 thru 9.6, as well as a
bytestringmin version bump.
crypton by Kazu Yamamoto
Crypton is a fork from cryptonite with the original author’s permission.