GHC proposal: Linear constraints (github.com)
Adds a linear fat arrow %1 => this is meant to greatly improve the ergonomics of some of the APIs using linear types (it tends to apply to APIs based on typestate or related to mutation)....
Adds a linear fat arrow %1 => this is meant to greatly improve the ergonomics of some of the APIs using linear types (it tends to apply to APIs based on typestate or related to mutation)....
The Haskell Cryptography Group is glad to announce the first public release of our low-level bindings to libsodium....
Hate watching videos? Check out the complementary article, which covers the same content: https://dev.to/zelenya/how-to-introduce-haskell-into-your-company-9ff
News about the Haskell programming language from 2023-11-16.
Joachim Breitner and David Christiansen interview John MacFarlane, a professor of philosophy at UC Berkeley, but also the author of the popular pandoc document conversion tool, which has been around half as long as Haskell itself. He also explains the principle of uniformity as a design goal for lightweight markup languages, the...
Hi everyone, The Cabal development community is sending a call for participation in our quality assurance (QA) programme. We are looking to improve the quality of the software we ship on the Windows platform.
The GHC developers are happy to announce the availability of GHC 9.4.8. Binary distributions, source distributions, and documentation are available on the release page....
How to upgrade...
News about the Haskell programming language from 2023-11-09.
It is my great pleasure to announce that we have hired a new Executive Director for the Haskell Foundation: José Manuel Calderón Trilla. José is a long-time Haskeller and Haskeller-educator, with a PhD from the University of York, a stint at Galois, and is currently wrapping up a lectureship at the University of Maryland...
In this episode, we are going to look at the common design pattern where we abstract all the fields of a record type over a type constructor which can then be instantiated to the identity to get the original record type back, but also to various other interesting type constructors. We are going to look at a few examples, and are...
The Dutch Functional Programming Day (also known as FP Dag) is an annual gathering of researchers, students, and practitioners sharing a common interest in functional programming....
News about the Haskell programming language from 2023-11-02.
Preview: I’m happy to announce the release of vty version 6.0. The highlight of this release is that vty now works on Windows, thanks to hard work by Chris Hackett and Timofey Zakrevskiy! For years, many people in the Haskell community have requested Windows support in vty. Thanks to Chris and Timofey for the time and energy...
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...
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".
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....
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: infosec.pub/post/3538345...