30 Followers
43 Following
294 Posts
All the side effects were never mentioned to me
I am innocent of uncontrolled abuse

Issue 422 :: Haskell Weekly newsletter

News about the Haskell programming language from 2024-05-30. #haskell

https://haskellweekly.news/issue/422.html

Issue 422

News about the Haskell programming language from 2024-05-30.

Haskell Weekly

Someone who knows #Haskell and ML: is there a writeup somewhere explaining how first-class modules (a la ML) can do similar things to Haskell type classes? I'm finding it hard to figure that out.

To give a more concrete case: suppose I wanted to write something like Control.Applicative, which provides an 'interface' Applicative with some methods, as well as functions that work for _any_ Applicative. How would I do this with ML-style first-class modules?

Issue 421 :: Haskell Weekly newsletter

#haskell

https://haskellweekly.news/issue/421.html

Issue 421

News about the Haskell programming language from 2024-05-23.

Haskell Weekly
Remove "ask" from Haskell and you get Hell.

Type Theory Forall Podcast: David Christiansen

In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer.... #haskell

https://www.typetheoryforall.com/episodes/haskell-lean-idris-and-the-art-of-writing-1

Type Theory Forall

Type Theory much beyond inference rules

Issue 420 :: Haskell Weekly newsletter

News about the Haskell programming language from 2024-05-16. #haskell

https://haskellweekly.news/issue/420.html

Issue 420

News about the Haskell programming language from 2024-05-16.

Haskell Weekly

Haskell Interlude Podcast 49: Arseniy Seroka

Wouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Serokell because he could not get a Haskell job. He speaks about the business side of a Haskell company, about the need for more... #haskell

https://haskell.foundation/podcast/49/

Arseniy Seroka

Wouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Serokell because he could not get a Haskell job. He speaks about the business side of a Haskell company, about the need for more sales and marketing for Haskell itself, and about the Haskell Developer Certification.

The ultimate guide to Haskell Strings · Hasufell's blog

GHC 9.10.1 is at long last released!

Between the continued iteration on the GHC20xx meta-extension mechanisms, further improvements in the JS/wasm backends, and (my favorite) the availability of exception backtraces in `base`, there is lots in this release to be excited about.

See the Haskell Discourse thread for the full announcement:

https://discourse.haskell.org/t/ghc-9-10-1-is-now-available/9523

#haskell

GHC 9.10.1 is now available!

The GHC developers are very pleased to announce the release of GHC 9.10.1. Binary distributions, source distributions, and documentation are available at downloads.haskell.org and shortly via GHCup. GHC 9.10 brings a number of new features and improvements, including: The introduction of the GHC2024 language edition, building upon GHC2021 with the addition of a number of widely-used extensions. Partial implementation of the GHC Proposal #281, allowing visible quantification to be used...

Haskell Community

Who’s coming to ZuriHac?! I’m so excited!

#haskell

I’m coming to ZuriHac
40%
I’m coming to ZuriHac and the ecosystem workshop
26.7%
I can’t attend this year
33.3%
Poll ended at .