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

• GHC 8.10.7 is now available by Zubin Duggal

  The GHC team is very pleased to announce the availability of GHC 8.10.7. This is a small bugfix release, fixing one linking portability issue present in GHC 8.10.5 and GHC 8.10.6 on some x86_64 macOS toolchains.

• Haskell Love Conference

  If you’re ready to take your Haskell skills to the next level and you still haven’t made plans, register now to join us on September 10th.

• Announcing the new IHP Developer Subscription + IHP v0.14 by Marc Scholten

  Today I’m happy to announce the new IHP Pro and IHP Business plans together with the release of IHP v0.14.

• Dependency Analysis of Haskell Declarations by Artem Kuznetsov

  Haskell is one of the few languages that let you structure your program how you see fit. Functions and data types can be declared and used in arbitrary order.

• Dependent Types are a Runtime Maybe by Doug Beardsley

  Awhile back I was discussing dependent types with someone and we ended up concluding that dependent types can always be replaced by a runtime Maybe.

• forall by Martin Šošić

  While normaly forall plays a role of the “universal quantifier”, it can also play a role of the “existential quantifier” (depends on the situation). What does all this mean and how can forall be used in Haskell? Read on to find out!

• Naming function arguments in Dhall by Gabriella Gonzalez

  This post showcases some neat Dhall language features for improving the readability of types that I think other languages should steal.

• Nascent GHC Proposal: Source Rewrite Rules and Optional Constraints by Chris Smith

  Lately, I’ve been thinking more and more about something that would be nice to have in GHC.

Jobs

• Senior Haskell developer (ad)

  Do you want to put real climate science in the hands of the public? We are looking for more team members who wants to join us as a senior haskell developer. Let’s change the world, together!

• Full stack functional developer (ad)

  We are growing continuously and looking for more great team members. Do you want to put real climate science in the hands of the public? Let’s change the world, together!

• Infrastructure Team Lead at Channable

• Senior Haskell Engineer at Serokell

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

In brief

• Daily ICFP: Day 5 by Tweag

  Several Tweagers all agreed to gather notes here about our ICFP (International Conference on Functional Programming) experiences.

• Haskell Foundation August Update by Andrew Boardman

• Haskell Implementors Workshop videos by ACM SIGPLAN

Show & tell

• Glean by Facebook

  System for collecting, deriving and querying facts about source code.

• Goal: Geometric OptimizAtion Libraries by Sacha Sokoloski

  Today I’m happy to announce the release of version 0.20 of my numerical optimization and machine learning libraries that I call Goal (Geometric OptimizAtion Libraries).

• Magical Haskell by Anton Antich

  Teaching modern typed functional programming and Haskell language in a fun and accessible way using real-world examples and a lot of visuals to help structure abstract concepts and develop intuition.

• Weighted Search Package by Donnacha Oisín Kidney

  I have packaged up the more interesting bits from the Algebras for Weighted Search paper and put it up on hackage.

Call for participation

• concordium-client: Add a check for node version when establishing connection
• ihp: Horizontal scrollbars when using pagination