Well-Typed

The Haskell Consultants

[Well-Typed @welltyped]

Check out the latest work by Well-Typed on improving the #Haskell toolchain: https://t.co/mbAs1l2BRZ

[Well-Typed @welltyped]

We're making #Haskell projects build 10-15% faster thanks to architectural improvements in Cabal! https://t.co/mvaEfeOhSV

[Well-Typed @welltyped]

New blog post with a comprehensive discussion of exception annotations, which have been much improved in GHC 9.12: https://t.co/SxcZqDTsuB .

[Well-Typed @welltyped]

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.

https://t.co/WVa5dmqCB5

[Well-Typed @welltyped]

Second alpha release of hs-bindgen now available. If you've been using alpha1, upgrading is recommended as this contains some important bugfixes. https://t.co/LhWoETfbeT

[Well-Typed @welltyped]

Check out the latest report from our Haskell toolchain team: https://t.co/OjY2TlrdOm

[Well-Typed @welltyped]

`hs-bindgen` release preview: automatic binding generation from C headers https://t.co/kf1l5YSXCI

[Well-Typed @welltyped]

Join us tonight, 2026-01-21 at 1930 UTC, for the first new #Haskell #Unfolder episode of 2026, on static pointers.

https://t.co/AcbBDbZUCr

[Well-Typed @welltyped]

Check out the latest activity from the #Haskell toolchain team at Well-Typed: https://t.co/T2CEttbJX8

[Well-Typed @welltyped]

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 .

https://t.co/FLvWaDFVBv

[Well-Typed @welltyped]

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! https://t.co/WRlGVYVQWU

[Well-Typed @welltyped]

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.

https://t.co/gBq0bLHitP

[Well-Typed @welltyped]

Check out a new blog post by @mpickering_ on how debugging Haskell space leaks led to a 10x reduction in memory usage: https://t.co/2RYnV2amOV

[Well-Typed @welltyped]

Join us tonight for the 50th (!) episode of the #Haskell #Unfolder, on singletons! Live on YouTube 1930 UTC (note the changed time in some countries due to DST-related fluctuations).

https://t.co/TOrN0diNfL

[Well-Typed @welltyped]

Join us today, 2025-10-15, at 1830 UTC, for a new episode of the #Haskell #Unfolder, on the importance of shrinking for property-based testing: https://t.co/XGEDTvfjl4

[Well-Typed @welltyped]

New blog post on using the #Haskell io-sim library to test timeliness constraints in concurrent systems: https://t.co/5qrWXgmhzO

[Well-Typed @welltyped]

After a long summer break, we're finally back for a new episode of the #Haskell #Unfolder: Edsko and @kosmikus are going to talk about safe coercions, newtype vs data, roles and more ... Today, 2025-10-01, 1830 UTC on YouTube: https://t.co/FkDPQIV2CW

[Well-Typed @welltyped]

Check out what our Haskell toolchain team have been up to over the last few months! Our GHC Activities Report has a new name to reflect its wider scope: https://t.co/zArATvaluL

[Well-Typed @welltyped]

In the future, Haskell users will be able to annotate their programs to get better stack traces, thanks to work by the Well-Typed team: https://t.co/BSKc6z6Byk

[Well-Typed @welltyped]

We are delighted to welcome Standard Chartered as a Gold Haskell Ecosystem Supporter: https://t.co/DeSIVbfX8d