Newsletter
Issue 309 2022-03-31
Subscribe now! We'll never send you spam. You can also follow our feed. Read more issues in the archives.
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.
Featured
-
Episode 11: Simon Peyton Jones by The Haskell Interlude
Simon is the creator of Haskell and in this episode he talks about his new position at Epic, the origins of Haskell and why “it feels right”, and the (extra)ordinary Haskell programmers.
-
Modeling PlusCal in Haskell using Cartesian products of NFAs by Gabriella Gonzalez
PlusCal is a formal specification language created to model concurrent systems, and recently I became obsessed with implementing PlusCal as an embedded domain-specific language (eDSL) in Haskell.
-
New Executive Director for the Haskell Foundation by Richard Eisenberg
It is my great pleasure to announce the next Executive Director of the Haskell Foundation: David Thrane Christiansen. David is a long-time Haskeller who comes with a demonstrated passion for functional programming, having done intensive work with Idris, Racket, and Haskell, among other formative experiences.
-
Pure Print-Style Debugging in Haskell by Rebecca Skinner
In Haskell, where printing something to the screen is a side effect to avoid, it might seem like you need to give up print debugging for the sake of purity.
Jobs
- Haskell Developer at MLabs (ad)
We are one of the leading Haskell consultancies in the fintech, blockchain and AI space, with a passion for Haskell and open source software. We are looking for a remote Haskeller to join our team. If you are excited about Haskell and are up for a new challenge, please apply here or visit our website! For any questions please email jobs@mlabs.city.
- Senior Software Engineer - Cloud at Sonatype (ad)
At Sonatype, we empower developers and security professionals with intelligent tools to innovate more securely at scale. We are looking for Haskell engineers to join our growing SaaS application team. You will contribute to our Lift product, a Continuous Assurance Platform for software teams.
- Senior Software Engineer at Scarf (ad)
Scarf is looking for a self-directed senior Haskell engineer to join our welcoming all-remote team. Come help us build maintainer-friendly tools for open-source distribution and sustainability, using great technologies like Haskell, Nix, AWS, K8S, Terraform, and more. Solid knowledge of Nix is a big plus. Hiring right away.
- Senior/Staff Software Engineer (ad)
Lumi is looking for Haskell and PureScript engineers to grow our supply chain platform. Lumi helps manufacturers around the world make their capabilities available directly to ecommerce brands. Our team is 100% remote and open to candidates in the US and UK.
Trying to hire a Haskell developer? You should advertise with us!
In brief
-
RFC: Haskell-in-Production Experience Reports by Santiago Weight
I want these reports to accumulate into reference points that might help non-visionaries believe in the economic utility of a language like Haskell.
-
Functional Programming for Physics Geeks by Scott Walck
This book teaches you to solve physics problems using the functional programming paradigm. Ideal for first-time programmers and science aficionados alike, it introduces the Haskell programming language and encourages the writing of beautiful code to match the elegant ideas of theoretical physics.
-
Making your own Monad by Monday Morning Haskell
You can use transformers to combine these into a monad that is uniquely specific to your application. Today, we’ll talk about how to make your monad into its own data type.
-
Monads by Mark Seemann
A monad is a common abstraction. While typically associated with Haskell, monads also exist in C# and other languages.
-
Names in Haskell Compilers by Vanessa McHale
One common oversight in Haskell compilers is failing to intern identifiers using
Int
s and failing to preferIntMap
s andIntSet
s. -
Our first audit of Minswap and the aftermath by Mathieu Boespflug
On the morning of the 22nd of March, 2022, we were notified about the existence of an unknown critical vulnerability on one of Minswap’s contracts.
Show & tell
-
Okapi by Rashad Gover
Okapi is a monadic parser, but for HTTP requests. It’s inspired by F#’s Giraffe and the simplicity of web frameworks in other programming languages like Python and Ruby.
-
s3k
by Jason Shipmans3k
is a script that sits between the Haskell developer andstack
, aiming to improve productivity when working in monorepos.