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

• Don’t worry (about writing Haskell), be happy (writing Agda instead)! by Jesper Cockx

  As we all know, static type systems are great to ensure correctness of our programs. Sadly, in industry many people are forced to work in languages with a weak type system, such as Haskell.

• Haskell and Visual Studio by Monday Morning Haskell

  Most of the IDEs out there use graphical interfaces that let you use the mouse. Today we’ll explore one of those options - Visual Studio (aka VS Code).

• Introducing an effects system for Monocle by Tristan de Cacqueray

  This blog post explains the reasons we integrated an effect system in Monocle. This post aims to be beginner friendly. We understand that some concepts sound intimidating and we hope that this post demystifies them a bit.

• Notes on Building “XcuseMe: Exercise tracking for real people” by Willy Unterkoefler

  IHP has been fantastic. The documentation is solid, it’s easy to manage dependencies with Nix, I found a great tutorial on integrating with Elm, and deploying to IHP Cloud was a breeze (especially relative to the App Store).

• Rewrite rule representation by Jonathan Dowland

  I’ve begun writing up my phd and, not for the first time, I’m pondering issues of how best to represent things. Specifically, rewrite rules.

• Row Types in Haskell by Vanessa McHale

  “Typing Haskell in Haskell” makes the implementation of type systems concrete for programmers; recent developments in type theory have much to offer but are not developed to this depth even in theory.

Jobs

• Software Developer at Flipstone Technology Partners (ad)

  Work as part of a client development team alongside another Flipstone developer to build and maintain backend systems in Haskell at a socially-forward Texas retailer. Pair-programming with Flipstone and client developers; mentor client developers to develop their engineering skills and knowledge.

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

In brief

• Beginner-friendly Haskell contributions by Dmitrii Kovanikov

  This year, I’m participating in Hacktoberfest as a mentor and maintainer.

• Haskell Foundation August and September 2022 Update by David Christiansen

  August and September were less busy than usual in the Haskell Foundation. I was on vacation for most of August, and September was spent attending ICFP, the Haskell Implementor’s Workshop, and delivering a keynote address to the Haskell Symposium in Ljubljana.

• ICFP 2022 videos

  The 27th ACM SIGPLAN International Conference on Functional Programming

• Monthly Hask Anything (October 2022)

  This is your opportunity to ask any questions you feel don’t deserve their own threads, no matter how small or simple they might be!

Show & tell

• PL/Haskell v1.0 Released by Ed Behn

  I’d like to announce the release of version 1.0 of the PL/Haskell extension. This extension allows users to write PostgreSQL functions in the Haskell functional programming language.

• posit version 3.2 by Nathan Waivio

  Announcing the posit-3.2 library, where Real numbers are approximated by Maybe Rational. The Posit type is mapped to a 2’s complement integer type; smoothly and with tapering precision, in a similar way to the projective real line.

• Witch version 1.1.0.0 by Taylor Fausak

  Removed instances with untagged UTF-8 conversions.

Call for participation

• funflow: Use Stack for building tutorials
• hie-bios: Log at INFO before running commands