Newsletter
Issue 132 2018-11-08
Subscribe now! We'll never send you spam. You can also follow our feed. Read more issues in the archives.
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.
Survey
The second annual state of Haskell survey started last week on the 1st and continues until the 15th. More than 2,800 people filled out the survey already. If you already filled it out: Thank you! Please share it so we can get a good picture of the Haskell community. If you have not filled it out yet: We want to hear from you! Please take a few minutes to fill it out.
Featured
-
GHC 8.6.2 released by Ben Gamari
The GHC team is very happy to announce the availability of GHC 8.6.2, a bugfix release to GHC 8.6.1. The 8.6 release fixes several regressions present in 8.6.1.
-
Hakyll part 1: Setup & initial customization by Robert Pearce
First post in a series on making & customizing a static site with Hakyll.
-
Exceptionally monadic error handling by Jan Malakhovski
We notice that the type of
catch :: c a -> (e -> c a) -> c a
operator is a special case of monadic bind operator(>>=) :: m a -> (a -> m b) -> m b
and the semantic (surprisingly) matches. -
Lambda the Ultimate pattern factory by Thomas Mahler
Recently, while re-reading through the Typeclassopedia I thought it would be a good exercise to map the structure of software design-patterns to the concepts found in the Haskell type class library and in functional programming in general.
-
Haskell at FINN.no by Sjur Millidahl
Haskell is a purely functional programming language, with a powerful type system. The ability to express intent using types brings correctness, and the composition of a large program as small, independent building blocks makes it easy to reason about the code.
-
Haskell by example: Utopian tree by Jan van Brügge
In this series we solve coding challenges from Hackerrank in Haskell in a proper, functional way. A Utopian Tree has two growth spurts every year, one in spring and one in summer.
-
My experience upgrading GHC, build tools, and dev tools by Matt Renaud
I went through the process of setting up my environment again and wanted to document my process and the pain points I ran into.
-
Signal processing in Haskell by Rinat Stryungis
Today I would like to tell you about my work in the laboratory of the Physics Department of Moscow State University, where I study for a Master’s degree.
-
The trouble with typed errors by Matt Parsons
What we really want is: Order independence, no boilerplate, easy composition, and easy decomposition.
-
Waargonaut the JSONer by Sean Chalmers
Waargonaut is a Haskell library for encoding/decoding/manipulating JSON. The design and development of which has been driven by a dissatisfaction with the current status quo of JSON libraries in Haskell.
Jobs
-
Engineer at Mercury in San Francisco
Mercury is building a bank for businesses. We are currently 8 people and have raised $6m. We are close to alpha launch and are looking to grow our team.
-
We are creating the next generation AI chip. Our software team is looking for exceptional compiler experts to help us create the software on the chip.
-
Compiler developer at Crowdstrike
We’re looking for a talented colleague to join our small language and data tools team. The ontology team at Crowdstrike researches, develops, and maintains tooling central to the data model used throughout our engineering department, including custom languages and compiler environments.
-
Formal methods engineer in Zurich
Work as part of the globally distributed engineering team, together with the product and design teams, to define, develop and deliver on products.
-
Senior software engineer at Bloomberg in New York
You are passionate about build systems that can manage a large-scale, multi-language codebase. You are interested in building tools that can prevent complex bugs and keep our code clean.
In brief
- A tale on semirings
- An answer to “The Trouble with Typed Errors”
- Announce:
strict-tuple
- Applicative validation
- Benchmarks for Haskell serialization libraries
- Carnap.io: A formal logic framework for Haskell
- Darcs Hub future
- Eliminating run time errors in OCaml and Haskell
- Elm part 3: Adding effects
- Hacktoberfest 2018 wrap-up
- Haskell implementations archive
- Haskell vs. Go vs. OCaml vs. …
- Hasktorch v0.0.1
- How can I become comfortable with laziness in Haskell?
- Journal of Functional Programming: Call for PhD abstracts
- Moving towards dialogue
- Pandoc donation from Handshake
- Pandoc for Italy, exploratory post
- Proposal: Stack code of conduct
- Proving monoids with Idris
- The
EventHandlers
pattern
Package of the week
This week’s package of the week is QuickCheck, a library for random testing of program properties.