Well-Typed
@welltyped
Followers
6K
Following
189
Media
62
Statuses
540
The Haskell Consultants
London, UK
Joined August 2010
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!
1
8
60
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
0
4
13
Check out a new blog post by @mpickering_ on how debugging Haskell space leaks led to a 10x reduction in memory usage:
0
1
12
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
0
1
7
New blog post on using the #Haskell io-sim library to test timeliness constraints in concurrent systems:
0
4
15
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:
well-typed.com
0
0
14
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:
0
14
68
We are delighted to welcome Standard Chartered as a Gold Haskell Ecosystem Supporter:
0
4
41
Well-Typed had a great time at this year's @ZuriHac. The talk recordings are now available!
0
4
32
Join us today, 2025-07-23, 1830 UTC, live on YouTube for a new episode of the #Haskell #Unfolder, this time on "pure parallelism". https://t.co/QdcRkRiwKz
1
0
10
Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and @kosmikus will show how to develop a small but useful Haskell CLI application completely from scratch. https://t.co/fETGFFWsMY
1
6
21
On Wednesday, 2025-06-25, at 1830 UTC, there will be a new episode of the #Haskell #Unfolder. This time, Edsko and I will discuss the current situation of records in Haskell. https://t.co/iRa63d5r4N
1
7
35
From GHC 9.14, GHCi will fully support Multiple Home Units, so you can load a whole multi-package Haskell project into a single GHCi session and use the REPL normally!
1
14
58
Well-Typed have come up with a great way to provide concrete value to clients while ensuring that the wider Haskell ecosystem gets investment. Thank you, Well-Typed!
Well-Typed are delighted to be working in partnership with @haskellfound to support companies investing in the #Haskell tooling ecosystem:
3
3
30
Well-Typed are delighted to be working in partnership with @haskellfound to support companies investing in the #Haskell tooling ecosystem:
0
12
62
Thanks to @effectfully and @theo for highlighting our YouTube channel! As a common theme of the comments was that we need better thumbnails, we tried to listen. Next episode of the #Haskell #Unfolder this Wednesday, 1830 UTC:
12
14
133