Haskell

In this episode, Matti and Wouter are joined by John Hughes. John is one of the authors of the original Haskell Report and talks about why functional programming matters, the origins of QuickCheck testing, and how higher order functions and lazy evaluation is the key that makes functional programming so productive, and so much fun!

News about the Haskell programming language from 2023-10-26.

Today is #Haskell Unfolder day! In our 13th episode, Edsko and Andres will be discussing the topic of "open recursion".

How to evaluate your parametric higher-order abstract syntax (PHOAS) to normal form:

https://stackoverflow.com/a/77332944/15207568

#haskell

As discussed at Convenience in the Haskell ecosystem - #169, I’ve developed a small command-line tool to add build-depends. I tried a few examples and convinced myself that it’s robust enough, but would appreciate more user acceptance testing before I decide to clutter Hackage with one more package.

$ cabal-add --help Usage: cabal-add (-f|--cabal-file FILE) [-c|--component ARG] DEP

  Extend build-depends from the command line

Available options:
  -f,--cabal-file FILE Cabal f...

We are delighted to announce that the Sovereign Tech Fund is investing in the development and maintenance of Cabal, the Haskell build system.

News about the Haskell programming language from 2023-10-19.

Wouter and Niki are joined by Iavor Diatchki to talk about his experience with different Haskell development styles, writing a high assurance wiki in php, and maintaining Haskell code across different GHC releases over multiple decades.

News about the Haskell programming language from 2023-10-12.

cross-posted from: https://infosec.pub/post/3538345

Found on Mastodon. NOT crypto.

The GHC developers are very pleased to announce the availability of the final release of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at downloads.haskell.org. GHC 9.8 brings a number of new features and improvements...

What if we were to build an alternative syntax for Haskell?

This was already featured in the Weekly News a couple of weeks back, but I think maybe it deserves it's own thread. I've tried to explain this approach to some people before, but I think this article does a much better job than I have.

I do think the "Defeating" in the title might be a little bit negative, it's have preferred something neutral like "When your result type depends on your argument values", but it's still something useful to know from retaining your type safety.

This existentials and GADTs can be converted into a CPS style without type equality constraints (usually, with enough work) so that you can start from this description but use it in languages with less sophisticated type systems -- as long as they have parametricity -- like Haskell 2010.

With UndecidableInstances, the answer is a resounding yes, with a fairly direct implementation. Without it, I keep getting stuck, though I'm not as comfortable with type families as some.

(I'm not OP on Masto, but I am interested in the answer.)

In this episode Niki Vazou and Wouter Swierstra chat with Lindsey Kuper, Assistant Professor at University of California, Santa Cruz. They discuss what to do when your data center gets hit by a tornado, life in academia versus life in industry, and what is choreographic programming.

Hi everyone, servant-0.20.1 has a release candidate available! It is a compatibility release to support aeson-2.2.

A tutorial on how to implement kind inference using unification-based constraint solving.

The GHC developers are very pleased to announce the availability of the release candidate of GHC 9.8.1. Binary distributions, source distributions, and documentation are available at downloads.haskell.org. GHC 9.8 will bring a number of new features and improvements ...

Binaries for this release are available at Index of /~hls/haskell-language-server-2.3.0.0/. These binaries can be installed using GHCup or the Haskell VSCode extension. All of these tarballs have associated GPG signatures. The signature should be from Zubin Duggal (key ID 588764FBE22D19C4). The prebuilt binaries in this release support the following GHC versions: 9.0.2 9.2.8 9.4.6 9.6.2 9.6.3 ...

News about the Haskell programming language from 2023-09-28.

The GHC developers are happy to announce the availability of GHC 9.6.3. Binary distributions, source distributions, and documentation are available on the release page. This release is primarily a bugfix release addressing a few issues found in the 9.6 series. These include: ...

News about the Haskell programming language from 2023-09-21.