Issue 249 2021-02-04
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.
Announcing the Haskell Foundation Board by Simon Peyton Jones
I am delighted to announce the membership of the newly-constituted Haskell Foundation Board.
Dynamic type errors lack relevance by Gabriel Gonzalez
The fundamental issue is that in a dynamically typed language you cannot explain errors to the user in terms of the source code they wrote.
Fuzzing me wrong — How QuickCheck destroyed my favourite theory by Thomas Mahler
I was impressed with the power of QuickCheck, so I thought it would be a good idea to share this lesson in falsification.
Haskell’s @ symbol - Type Application by Zac Wood
One the the first nonstandard language extensions you’ll come across while developing with IHP is the fancy
Memory Fragmentation: A Deeper Look With ghc-debug by Matthew Pickering & David Eichmann
In this post we will report on our progress implementing ghc-debug, a tool for performing precise heap analysis, and how we have used it in order to pinpoint the cause of the fragmentation issues.
New random interface by Alexey Kuleshevich
This post is about the new cool features in random-1.2.0. Most notably performance improvements and the new monadic stateful interface.
Prototyping a plugin system for Purebred by Fraser Tweedale
In this post I present an experimental design for a plugin system, where plugins’ capabilities are expressed in their types.
Singleton by Type Classes
Why is it that
Trying to hire a Haskell developer? You should advertise with us!
Binary Verification with Trustix starring Adam Höse by Compositional
In this episode, Rok and Adam shine light on the inception, internals and various use cases of Trustix.
Cadenza: Building Fast Functional Languages Fast by Edward Kmett
In this talk Ed will give live coding introduction to normalization by evaluation. He will then show how Graal and Truffle, on the JVM, can be (ab)used to JIT functional languages.
Haskell as a first timer - Am I missing something ? by Olivier Guimbal
I feel a bit schizophrenic about my first impressions. There is something both very right, and very wrong about it.
Haskell.org nomination results by Alexandre Garcia de Oliveira
I’m here to announce the results for the Haskell.org committee.
Monthly Hask Anything (February 2021) by Taylor Fausak
This is your opportunity to ask any questions you feel don’t deserve their own threads, no matter how small or simple they might be!
Plutus Tx: compiling Haskell into Plutus Core by Michael Peyton Jones
Our toolchain allows a single Haskell program to produce not only an executable file that users can run on their own computers, but also the code that runs on the Cardano blockchain.
Production Haskell with Matt Parsons by Haskell Weekly Podcast
Special guest Matt Parsons talks to us about his upcoming book, Production Haskell.
Update on Dependent Haskell by Richard Eisenberg
I share a little on what’s been going on in the broader journey toward dependent types in Haskell.
Show & tell
haskell-language-server version 0.9.0 by Javier Neira
This release includes lot of refactorings and bug fixes over existing features, hlint and eval plugins among others.
named-servant by Kristof Bastiaensen
named-servant is a small package that allows you to use records for servant query parameters.
tasty-bench by Andrew Lelechenko
Featherlight benchmark framework (only one file!) for performance measurement with API mimicking
Vocoder by Marek Materzok
This repository contains a collection of Haskell libraries implementing a phase vocoder - an algorithm for processing time-varying signals in frequency domain.