Issue 422 :: Haskell Weekly newsletter
News about the Haskell programming language from 2024-05-30. #haskell
I am innocent of uncontrolled abuse
jaror
- 30 Followers
- 43 Following
- 294 Posts
All the side effects were never mentioned to me
I am innocent of uncontrolled abuse
I am innocent of uncontrolled abuse
Koz RossSomeone 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?
@koz I would like to see such a comparison post too. In the meantime I found this stackoverflow question which contains a way to do it using an ML functor: https://stackoverflow.com/questions/48989663/monads-and-sml-modules. The obvious downside is that you have to explicitly state which monad to use at some point.
Another lesser known difference is that I believe you can't instantiate an ML signature with a polymorphic type. For example you can't write an instance of that MAPPABLE signature for a type like Map k v. At least not such that it is still polymorphic over the key type k.
Bartosz MilewskiRemove "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
Issue 420 :: Haskell Weekly newsletter
News about the Haskell programming language from 2024-05-16. #haskell
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
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.
maerwaldThe ultimate guide to Haskell Strings
https://hasufell.github.io/posts/2024-05-07-ultimate-string-guide.html
Ben GamariGHC 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
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...