In this episode, we'll see how deriving-via can be used to capture rules that relate type classes to each other. As a specific example, we will discuss the definition of the Monad type class: ever since this definition was changed back in 2015 in the Applicative Monad Proposal, instantiating Monad to a new datatype requires...
I gave a talk on monads to some friends yesterday and recorded it for anyone who's interested. They are current and retired programmers, so the talk may suit others in that line of work....
The GHC developers are very pleased to announce the availability of the first alpha prerelease 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, including:...
GHC Proposal #601 proposes a lifecycle for Haskell language extensions and an associated system of compiler warnings. The lifecycle categorizes language extensions as being one of the following:...
The Haskell Unfolder Episode 16: monads and deriving via (well-typed.com)
In this episode, we'll see how deriving-via can be used to capture rules that relate type classes to each other. As a specific example, we will discuss the definition of the Monad type class: ever since this definition was changed back in 2015 in the Applicative Monad Proposal, instantiating Monad to a new datatype requires...
Monads and More: An introduction for software developers
I gave a talk on monads to some friends yesterday and recorded it for anyone who's interested. They are current and retired programmers, so the talk may suit others in that line of work....
GHC 9.8.1-alpha1 is now available (discourse.haskell.org)
The GHC developers are very pleased to announce the availability of the first alpha prerelease 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, including:...
GHC Steering Committee seeks input from industrial Haskell users (discourse.haskell.org)
GHC Proposal #601 proposes a lifecycle for Haskell language extensions and an associated system of compiler warnings. The lifecycle categorizes language extensions as being one of the following:...