Issue 200 2020-02-27
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.
GHC 8.8.3 released by Ben Gamari
The GHC team is proud to announce the release of GHC 8.8.3.
Haskell.org by Google Summer of Code
In Google Summer of Code, we attempt to improve not only the language, but the whole ecosystem.
Sockets and Pipes by Type Classes
Sockets and Pipes is not an introduction to Haskell; it is an introduction to writing software in Haskell.
New chapters! by Renzo Carbonara
It’s been a while since the last mail, but here it is, bearing news of 28 new fine chapters available for you to enjoy.
Free Monads from Scratch by Ben Siraphob
This blog post is not about monad transformers, it’s about another idea that’s less well-known, free monads, a neat way to combine effects with less boilerplate.
Explaining with Haskell by Chris Martin
For a long time, my impression of software was that code is always a dirty thing.
Cautiously sniffling your UI by Sean Chalmers
I will point at the things I think might be of interest in
cautious-sniffleand then move on with a cool thing you can do with it.
Testing higher-order properties with QuickCheck by Li-yao Xia
I have just released two libraries to enhance QuickCheck for testing higher-order properties. This is a summary of their purpose and main features.
Type Witnesses in Haskell by Sandeep Chandrika
In simple terms, a runtime witness is a value that in some way holds some type-level information associated with a polymorphic value and makes it available to the type checking process.
Knot-tying: why and how (and my opinions on it) by Ömer Sinan Ağacan
When generating code I want to know the arity of the lambda, so that I can generate more efficient code.
- Interos is Hiring Full Stack Haskell Software Engineers (ad)
At Interos, we are disrupting the way Fortune 500 companies and government agencies identify and respond to risk within their supply chains. We deliver the data and insights to business leaders that help them identify, visualize and understand the ripple effects that could impact their supply chains, before they happen. Recently funded by Kleiner Perkins and pivoting to an automated solution, Interos is in essence, a start-up SaaS environment.
Trying to hire a Haskell developer? You should advertise with us!
Building a Reflex FRP Project with Nix! by Monday Morning Haskell
This week, we’ll conclude our look at package management by putting Nix to work.
Delimited continuation primops by Alexis King
This is a proposal for adding primops for capturing slices of the RTS stack to improve the performance of algebraic effect systems, which require delimited continuations.
Discerning and maintaining purity by Mark Seemann
Functional programming depends on referential transparency, but identifying and keeping functions pure requires deliberate attention.
Haskell and Hadoop the Aftermath by Sami Badawi
Some of it comes down to understanding the power and limitation of functional programming.
Headroom - License header manager written in Haskell by Vaclav Svejcar
Many software projects have some sort of license headers in source code files.
Looking for Google Summer of Code/Tweag Fellowship students by Big Data Biology Lab at Fudan University
We (the NGLess project) are participating in Google Summer of Code through the OBF and also available to help you apply to the Tweag Fellowship.
Math is your insurance policy by Bartosz Milewski
Any time you get bored with your work, take note: you are probably doing something that a computer could do better.
Nix Integration for Stack by Emre Yılmaz
You might want to build your Haskell application with #Nix even if you did start with #Stack.
Value Space Decoding For Aeson by Marek Fajkus
I see some advantages of using combinators to decode values from JSON.
Show & tell
Color highlighting for Haskell profiling information.
Perspec by Adrian Sieber
App and workflow to perspectively correct images. For example whiteboards, document scans, or facades.
typelits-printf by Justin Le
An extensible and type-safe
printffrom parsing GHC TypeLits Symbol literals, matching the semantics of