Haskell Weekly

Issue 81

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.

Want to see something featured in Haskell Weekly? We love contributions! Tweet us at @HaskellWeekly or open a pull request.

Featured

  • 2017 state of Haskell survey results

    I am excited to announce the results of the 2017 state of Haskell survey, published by Haskell Weekly! To the 1,335 people that responded to the survey: Thank you! I appreciate your feedback.

  • GHC 8.2.2 release candidate 3

    The GHC team is very pleased to announce the third candidate of the 8.2.2 release of the Glasgow Haskell Compiler. This is the third and last of three release candidates leading up the final 8.2.2 release.

  • Haskell Communities and Activities Report: 33rd edition

    Many thanks go to all the people that contributed to this report, both directly, by sending in descriptions, and indirectly, by doing all the interesting things that are reported.

  • GHC proposal: Linear types

    This proposal introduces a notion of linear function to GHC. Linear functions are regular functions that guarantee that they will use their argument exactly once. We propose a new language extension, -XLinearTypes.

  • Hadrian is on the way

    Hadrian, a new build system for GHC that we have been working on for the past three years, has finally been merged into the GHC tree. However it’s not yet time to celebrate — there are still many issues that need to be addressed before the Make-based build system may retire.

  • Finite-state machines part 1: Modeling with Haskell data types

    By teaching the type system about possible states and state transitions in our program, it can verify that we follow our own business rules, both when we write new code, and when we modify existing code.

  • Conventional interfaces in functional programming

    SICP describes conventional interfaces as a design principle for working with data structures. It is composed of a set of standard operators or combinators that connect the different steps required to implement computations in computer programs.

  • Haskell theory exploration

    This repository provides commands for performing “theory exploration”. Theory exploration describes the task of taking in some function definitions and outputting conjectures about those functions.

  • Expression of interest: MDN style documentation

    As a beginner, I’ve had many struggles learning Haskell, and a lot of that has been the lack of “reference” style documentation compared to “tutorial” style documentation.

  • Dependent types in Haskell

    Dependent types help to form a proof that the most critical features work the way we want them and all that in compile time. We can form specific set of types that will ensure all invariants program can have will work properly.

Jobs

  • Health eFilings: Backend Ruby and Haskell engineer

    Our current code base is written in Ruby and Coffee Script, but some new modules are being written in Haskell. You will be on the front lines of creating a Haskell-based infrastructure that is maintainable and can scale to support our needs as we grow.

In brief

Package of the week

This week’s package of the week is cmark, a fast and accurate CommonMark (Markdown) parser and renderer.

Call for participation

Events