Issue 81 2017-11-16
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.
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.
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.
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.
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,
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.
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.
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.
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.
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 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.
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.
- Inspection testing for Haskell
- jsn: An absolutely simple & terse CLI app to manipulate JSON data
- phycs: 2D physics engine for games, with optional simple rendering
- Zero to continuous integrated testing a Gaskell project with GitLab
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
- hpack: cabal-version is not set properly when using ^>= bounds
- hs-gauge: Remove code-page package
- stack: Should warn about overlapping “hs-source-dirs”
- November 16: DenverFP: “Existentializing: What is it good for?” by Sandy Maguire
- November 17: Utam Elm Lunch: Monthly meetup
- November 18: Seattle Area Haskell Users’ Group: General discussion
- November 20: Pittsburgh Functional Programming Meetup: Practical Haskell
- November 21: HaskellMN: Monthly meetup
- November 22: FunctionalTO: Functional Reactive GUI Programming with Reflex-DOM
- November 23: Madrid Haskell Users Group: Un encuentro mágico: Bitcoin y Haskell