Well-Typed Profile
Well-Typed

@welltyped

Followers
6K
Following
189
Media
62
Statuses
540

The Haskell Consultants

London, UK
Joined August 2010
Don't wanna be here? Send us removal request.
@welltyped
Well-Typed
6 days
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
@welltyped
Well-Typed
22 days
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
@welltyped
Well-Typed
1 month
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
@welltyped
Well-Typed
1 month
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
@welltyped
Well-Typed
2 months
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:
1
1
9
@welltyped
Well-Typed
2 months
New blog post on using the #Haskell io-sim library to test timeliness constraints in concurrent systems:
0
4
15
@welltyped
Well-Typed
2 months
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:
0
3
12
@welltyped
Well-Typed
2 months
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:
Tweet card summary image
well-typed.com
0
0
14
@welltyped
Well-Typed
3 months
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
@welltyped
Well-Typed
3 months
We are delighted to welcome Standard Chartered as a Gold Haskell Ecosystem Supporter:
0
4
41
@welltyped
Well-Typed
4 months
Well-Typed had a great time at this year's @ZuriHac. The talk recordings are now available!
0
4
32
@welltyped
Well-Typed
4 months
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
@welltyped
Well-Typed
5 months
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
@welltyped
Well-Typed
5 months
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
@welltyped
Well-Typed
6 months
Check out the latest #Haskell toolchain development report from Well-Typed:
Tweet card summary image
well-typed.com
1
5
18
@welltyped
Well-Typed
6 months
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
@josecalderon
José Manuel Calderón Trilla (@jmct.bsky.social)
6 months
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!
@welltyped
Well-Typed
6 months
Well-Typed are delighted to be working in partnership with @haskellfound to support companies investing in the #Haskell tooling ecosystem:
3
3
30
@welltyped
Well-Typed
6 months
Well-Typed are delighted to be working in partnership with @haskellfound to support companies investing in the #Haskell tooling ecosystem:
0
12
62
@welltyped
Well-Typed
7 months
Starting in ~20 minutes, a new episode of the #Haskell #Unfolder, with Edsko and @kosmikus discussing testing of stateful APIs:
0
1
19
@welltyped
Well-Typed
7 months
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