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

• Blazing fast Fibonacci numbers using Monoids by Gabriella Gonzalez

  This post illustrates a nifty application of Haskell’s standard library to solve a numeric problem.

• Continuous Integration in Haskell by Matthias Benkort

  I will go through how to setup a continuous integration environment for Haskell projects.

• Great moments in Haskell history by Type Classes

  April 1990: Haskell 1.0: The first specification Haskell 1.0 of Haskell, called the “Haskell Report”.

• How many function arguments? by Jonathan Dowland

  In Haskell it’s quite common for the implementation of a function to reference one less argument than the type signature declares.

• Is Haskell a Bad Choice? by Brian Jones

  I hope what I have laid out below serves as a good view into a non-software company up in Alaska using Haskell to develop applications with.

• Micro C, Part 3: Generating LLVM by Joseph Morag

  We will then pretty print the generated bytecode with llvm-hs-pretty and call clang on it to generate machine code for our preferred target.

• Parallel typeclass for Haskell by Gabriel Volpe

  In the following sections, I will be providing examples and use cases for this typeclass to showcase why it would be great to have it in Haskell.

• Permissive, then restrictive: learning how to design Haskell programs by William Yao

  Functional design has historically been somewhat difficult to teach, and even harder to teach concisely.

• Polysemy - Part III - Tests by Julien Debon

  The problem is, how do you test effectful code? As the name indicates, naive tests would have various effects, rendering them “hard” to both write and run.

• Syntactic ambiguity resolution in the GHC parser by Shayne Fletcher

  There are places in the Haskell grammar where it’s not known apriori whether it’s an expression a command or a pattern that is being parsed.

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.

• Haskell Engineer at Signify Technology in Austin

Trying to hire a Haskell developer? You should advertise with us!

In brief

• Adding Interactivity with Elm! by Monday Morning Haskell

  In this final part of our series, we’ll combine Servant with Elm to produce an interactive page.

• Axel: Haskell’s semantics, plus Lisp’s macros by Joshua Grosso

  Meet Axel: a purely functional, extensible, and powerful programming language.

• Build systems à la carte: Theory and practice by Andrey Mokhov

  In this paper, we offer a systematic, and executable, framework for developing and comparing build systems, viewing them as related points in a landscape rather than as isolated phenomena.

• Coming to PureScript from Haskell/Reflex/Nix by Sridhar Ratnakumar

  The initial feel for what it is like to develop PureScript as a Haskeller who comes from the world of Nix and GHCJS.

Show & tell

• servant-forma by Romain Viallard

  Servant combinator to integrate your Forma validated forms.

• singlethongs by Renzo Carbonara

  Like singletons, but much smaller.

• souffle-haskell by Luc Tielen

  Bindings for the Souffle Datalog language.

• telegram-raw-api by Poscat

  I’m announcing my rewrite of the telegram-api library, which divides into 2 packages: telegram-types and telegram-raw-api.

Call for participation

• cabal: Change knownSuffixHandlers from [(String, String)] to [(PackageName, UnqualComponentName, Extension)]
• dunai: Dunai-test is missing Functor constraint
• neuron: neuron new: disallow empty title