Haskell Weekly

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

• 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-sniffle and 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.

Jobs

• 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!

In brief

• 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

• Haskell Profile Highlight

  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 printf from parsing GHC TypeLits Symbol literals, matching the semantics of printf from Text.Printf in base.

Call for participation

• library: Add edit and delete option in author and book view