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

• Copilot 3 by Ivan Perez

  This paper presents Copilot 3, a runtime verification framework for real-time embedded systems. Additionally, it describes the framework’s architecture and its implementation as a Domain Specific Language (DSL) embedded in Haskell.

• LiquidHaskell is a GHC Plugin by Ranjit Jhala

  By virtue of being a GHC plugin, LH can now: Run on entire Haskell packages; Export and import specifications across packages; Provide errors via existing GHC/i based editor tooling.

• Season finale: Dhall documentation generator by German Robayo

  This is my last post and final report as part of GSoC 2020, working on the Dhall documentation generator.

• Some More List Algorithms by Donnacha Oisín Kidney

  I thought I would quickly throw out some fun snippets of Haskell I had reason to write over the past couple of weeks.

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.

• Novadiscovery is looking for a backend Haskell developer (ad)

  At Nova we use Haskell to create and simulate mechanistic models of diseases and treatments like cellular pathways, the immune system or tumor growth among others. We are currently building Jinko, a SaaS platform, and are looking for developers passionate about Science and coding to join us.

• Haskell Software Engineer at Serokell

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

In brief

• Hacking on PKF files by Ramón Soto Mathiesen

  In this talk I will showcase how i have been able to create some tools that will ease data updates of these awesome games in an almost no time and letting the computer do all the work.

• Haskell Pandoc: a call to arms

  My goal is to support row and column spans for reading and writing for both of the formats.

• HIW Lightning Talk Submission by ICFP

  Here we invite Haskell implementors to share work-in-progress, project ideas, and other short talks of relevance to the venue.

Show & tell

• generic-match by Samuel Schlesinger

  A library to generalize the either and maybe combinators from base to work with any type with an instance of Generic.

Call for participation

• pretty-simple: OutputPrinter module name