Issue 132
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.
Call for participation
- Amazonka and Gogol project status update
- hs-web3: Hashable instances for Solidity primitive types
- stack: Simple commands should work without ghc installed
Events
North America
- 2018-11-08 in Raleigh, NC, USA by Raleigh Haskell Meetup: (hack . yack)
- 2018-11-08 in Durham, NC, USA by Durham Haskell Meetup: Morning Haskell (and Rust!) coding session
- 2018-11-09 in Austin, TX, USA by Austin Types, Theorems, and Programming Languages: Going through Software Foundations by Benjamin Pierce et al
- 2018-11-10 in Chilliwack, BC, Canada by ChilliHask Haskell User Group: Weekly Haskell Coding Meetup
- 2018-11-10 in Norcross, GA, USA by Norcross Haskathon: Norcross Haskathon
- 2018-11-10 in Boston, MA, USA by Weekly Functional Programming Meetup: Hang out, chat FP, work on some code
- 2018-11-12 in Irvine, CA by Orange Combinator - Functional Programming In OC: Combinating - The Weekly Function
- 2018-11-12 in Pittsburgh, PA, USA by Pittsburgh Functional Programming Meetup: Type Providers - F#
- 2018-11-13 in Vancouver, BC, Canada by Vancouver Functional Programmers: Haskell Lunch Study Group • Fall ’18 Cohort
- 2018-11-13 in Santa Monica, CA, USA by Santa Monica Haskell Users Group: Haskell Study Group: Applicatives
- 2018-11-14 in Portland, OR, USA by Portland Functional Programming Study Group: PDX Func Theory Track - Logic and Proof
- 2018-11-14 in Houston, TX, USA by Houston Functional Programmers: Symbolic Boolean Computation and Set-Theoretic Empirical Research in OCaml
Europe
- 2018-11-08 in Graz, Austria by Functional Programming Graz: Functional Programming Meetup
- 2018-11-08 in London, United Kingdom by Hoodlums: Hoodlums Meetup
- 2018-11-08 in Gdańsk, Poland by Functional Tricity: Haskell&Rust! Functional Tricity #14
- 2018-11-08 in Warszawa, Poland by warsaw.ex: warsaw.ex meetup #1
- 2018-11-12 in Karlsruhe, Germany by Karlsruhe Haskell Meetup: Haskell Monday
- 2018-11-13 in Bristol, United Kingdom by CodeHub Bristol: Hack Night + Haskell Study Group
- 2018-11-14 in Stuttgart, Germany by Lambda Stuttgart: Lambda Stuttgart Meetup #10
- 2018-11-14 in Berlin, Germany by Berlin Haskell Users Group: Haskell Wednesday
- 2018-11-14 in Amsterdam, Netherlands by FP AMS: CT study group: Representable Functors
- 2018-11-14 in Prague, Czech Republic by Prague Lambda Meetup: Clojure Wednesday
- 2018-11-14 in London, United Kingdom by Skills Matter - X Matters Series - Free Developer Events: JavaScript Matters with Sara Vieira
Asia
- 2018-11-08 in Taipei, Taiwan by Functional Thursday: Functional Thursday #69 (時間更動:11/8)
- 2018-11-11 in Bangalore, India by Bangalore Functional Programmers Meetup: Parser Combinators in Haskell
- 2018-11-13 in Brisbane, Australia by Brisbane Functional Programming Group (BFPG): BFPG Monthly Meetup (last one of 2018!)
Africa
- 2018-11-12 in Sandton, South Africa by Lambda Luminaries: Functional Aspects of Kotlin in Android Development by Chester Cobus