@well-typed-blog
Publisher
6
Posts
Recently Martijn Bastiaan, QBayLogic’s COO, invited Well-Typed to come to QBayLogic HQ and give a one-day workshop on falsify, the new property based testing library that I developed for the Haskell Symposium back in 2023 (paper, presentation). QBayLogic is the company behind Clash: a purely func...
Well-Typed are delighted to announce a release preview of hs-bindgen, a tool for automatic Haskell binding generation from C header files. We hope to invite some feedback on this initial release and then publish the first “official” version 0.1 in a few weeks. No backwards incompatible changes ar...
The Haskell Debugger is ready to use with GHC-9.14!
Read about the latest Haskell development and maintenance activity from Well-Typed in this report on work funded by Haskell Ecosystem Support Packages.
We’re delighted to announce that Rodrigo’s paper on the theory for extending GHC Core to cover linear types has been accepted at POPL 2026, and will be presented in January. Read more background on Rodrigo’s blog, or check out the extended version of the paper on arXiv!
As part of their Haskell Ecosystem Support Package, QBayLogic asked us to investigate a space leak in one of their Haskell applications, a simulation of a circuit using Clash. The starting point was a link to a ticket in the bittide-hardware package with reproduction instructions.
