Issue 129 2018-10-18
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.
The GHC team is pleased to announce the availability of GHC 8.4.4, a patch-level release in the 8.4 series. This release fixes several bugs present in 8.4.3.
Today we’re releasing the first version of Aelve Guide — an informal wiki for the Haskell ecosystem and community. It’s written in Haskell, too.
In this post we’ll explore Haskell’s kind system, the similarities between types and kinds, and show how these can be leveraged to write safer and more reusable code.
We suppose all programming languages have the occasional wat, some function or behavior that is surprising and makes you think, “wait, what?”
How to use the applicative functor capabilities of lists to create a password list, with examples that object-oriented programmers can understand.
If you have a function from any set to itself, then a fixpoint of that function is any input that maps to itself.
I have always thought Haskell is this far-out, esoteric, academic language that no one uses.
In this recipe we’ll work through some common testing strategies and provide examples of utilizing these testing strategies in order to test Servant applications.
Here, I will supply what I consider to be the fastest way to get up and running with Haskell — it’s opinionated, and I’m sure you’ll want to tweak and improve on it as you learn more.
Do you wish you could do IO from any monad transformer stack, including those stacks that do not have IO at the base?
- Dhall 3.0.0 released
- ESCRIPT: A human readable language for programming Bitcoin scripts
- Formality: An efficient programming language featuring formal proofs
- GHC proposal: Simple constrained type families
- Granule: A statically typed functional language with graded modal types
- Hackett: A metaprogrammable Haskell (video)
- Haskell Refactor: A lightweight Vi plugin
- Monday Morning Haskell blog archive
- Notes on test coverage
- Reverse mode differentiation is kind of like a lens
- Smos: Writing a purely functional semantic editor
- Stack 1.9.1 released
- Total combinations
- Trading FunLists at a Bazaar with Yoneda
Package of the week
This week’s package of the week is Pipes, a clean and powerful stream processing library that lets you build and connect reusable streaming components.