Well-Typed (@welltyped) profile picture

The Haskell Consultants

London, UK
Joined August 2010
Photo by Well-Typed (@welltyped)Photo by Well-Typed (@welltyped)Photo by Well-Typed (@welltyped)Photo by Well-Typed (@welltyped)Photo by Well-Typed (@welltyped)Photo by Well-Typed (@welltyped)Photo by Well-Typed (@welltyped)
New blog post by @alfredodinapoli announcing Hypha: an experimental Haskell CLI tool for exploring project dependencies, reading documentation and using LLMs without hammering Hackage or Hoogle well-typed.com/blog/2026/10/…
1
5
42
1,213
We're delighted to finally announce the first official release of hs-bindgen, a tool that automatically generates Haskell bindings from C headers. Read the announcement at well-typed.com/blog/2026/10/… or check it out at hackage.haskell.org/package/… .
1
20
2
72
3,488
ghc-debug enables precise heap analysis of #Haskell programs for memory use debugging. We've been making it more usable on large programs: well-typed.com/blog/2026/10/…
1
1
24
2,317
Well-Typed are happy to announce Eventlog Live, which streams real-time telemetry from any Haskell application to any observability platform that supports the OpenTelemetry protocol! well-typed.com/blog/2026/09/…
11
2
44
4,613
Here's a quick recap of what the Well-Typed team were up to at this year's ZuriHac: well-typed.com/blog/2026/09/…
4
15
693
If you use Haskell Language Server or the Haskell Debugger, Well-Typed have implemented whole project loading to make the developer experience better: well-typed.com/blog/2026/09/…
5
35
1,947
We're making #Haskell projects build 10-15% faster thanks to architectural improvements in Cabal! well-typed.com/blog/2026/05/…
6
45
2,416
New blog post with a comprehensive discussion of exception annotations, which have been much improved in GHC 9.12: well-typed.com/blog/2026/05/… .
10
752
After a somewhat longer break, we're finally back with a new #Haskell #Unfolder episode. Tomorrow, 2026-04-22, at 18:30 UTC, Edsko and @kosmikus will talk about selective applicative functors. youtube.com/watch?v=Yt2E1vrg…
3
1
16
1,430
Second alpha release of hs-bindgen now available. If you've been using alpha1, upgrading is recommended as this contains some important bugfixes. well-typed.com/blog/2026/03/…
1
15
969
`hs-bindgen` release preview: automatic binding generation from C headers well-typed.com/blog/2026/02/…
1
2
16
1,045
Join us for a new episode of the #Haskell #Unfolder, today, 2025-12-10 at 1930 UTC. This time we're discussing bidirectional parsing and printing, using as an example the autodocodec package by @kerckhove_ts . youtube.com/watch?v=z9V59Y0V…
1
13
1,606
Congratulations to Rodrigo Mesquita (Well-Typed) and Bernardo Toninho (University of Lisbon) on their paper "Lazy Linearity for a Core Functional Language" being accepted at POPL 2026! well-typed.com/blog/2025/11/…
1
6
58
3,739
There's going to be a new episode of the #Haskell #Unfolder today, 2025-11-12, at 1930 UTC. We're going to discuss how to implement (more) type-safe APIs via some type-level programming using the sop-core package. youtube.com/watch?v=3XeIoA0a…
4
15
2,744
Check out a new blog post by @mpickering_ on how debugging Haskell space leaks led to a 10x reduction in memory usage: well-typed.com/blog/2025/10/…
1
12
1,051