Well-Typed (@welltyped) 's Twitter Profile
Well-Typed

@welltyped

The Haskell Consultants

ID: 184844481

linkhttp://www.well-typed.com/ calendar_today30-08-2010 16:36:01

517 Tweet

6,6K Followers

256 Following

Well-Typed (@welltyped) 's Twitter Profile Photo

Read about the latest improvements to the #Haskell development toolchain by Well-Typed: well-typed.com/blog/2024/12/g…

Well-Typed (@welltyped) 's Twitter Profile Photo

The #Haskell #Unfolder is back! In tomorrow's episode, we'll take a look at #CUDA and write some simple functions in it. We'll also show how to interface from Haskell to CUDA and how to use QuickCheck to test CUDA functions from Haskell. youtube.com/watch?v=ww4C3j…

Well-Typed (@welltyped) 's Twitter Profile Photo

Tomorrow, 2025-02-11, we'll live-stream a new episode of the #Haskell #Unfolder. Edsko and Andres Löh will discuss the various strategies for deriving instances that GHC offers and their relative strengths and weaknesses. Hope to see you all there! youtube.com/watch?v=NEUbp2…

Well-Typed (@welltyped) 's Twitter Profile Photo

Tomorrow, 2025-03-12, at 1930 UTC (note: one hour later than usual in Canada / US due to asynchronous DST shifts), there'll be a new episode of the #Haskell #Unfolder, titled "understanding through a model". We'll talk about QuickCheck and convolutions... youtube.com/watch?v=0QTt2W…

Well-Typed (@welltyped) 's Twitter Profile Photo

Check out the latest report from our #Haskell toolchain team, covering GHC, Cabal and HLS: well-typed.com/blog/2025/03/g…

Andres Löh (@kosmikus) 's Twitter Profile Photo

Tonight, 2025-03-26, at 1930 UTC (still an unusual time for US/Canada) there'll be a new episode of the #Haskell #Unfolder, and after all this time, we'll finally talk about generics! youtube.com/watch?v=db-KjK…

Well-Typed (@welltyped) 's Twitter Profile Photo

The #Haskell #Unfolder is two years old! Join us for a new episode tomorrow, 2025-04-16, at 1830 UTC, live on YouTube. This time, the topic is logic programming with typedKanren, which is a typed version of #miniKanren embedded into Haskell. youtube.com/watch?v=ukk5JD…

Well-Typed (@welltyped) 's Twitter Profile Photo

Our work on Explicit Level Imports for #Haskell received the best paper award at TFP, and the implementation has been merged! well-typed.com/blog/2025/04/e…

Well-Typed (@welltyped) 's Twitter Profile Photo

Today, there will be a new #Haskell #Unfolder episode, where Edsko and Andres Löh will talk about the monomorphism restriction and defaulting. Join us live on YouTube 2025-05-07 at 1830 UTC (or watch later) via youtube.com/watch?v=nD93M2…

Well-Typed (@welltyped) 's Twitter Profile Photo

Thanks to effectfully and Theo - t3.gg 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: youtube.com/watch?v=RPQVsa…

Well-Typed (@welltyped) 's Twitter Profile Photo

Starting in ~20 minutes, a new episode of the #Haskell #Unfolder, with Edsko and Andres Löh discussing testing of stateful APIs: youtube.com/watch?v=RPQVsa…

Well-Typed (@welltyped) 's Twitter Profile Photo

Well-Typed are delighted to be working in partnership with Haskell Foundation to support companies investing in the #Haskell tooling ecosystem: well-typed.com/blog/2025/06/h…

José Manuel Calderón Trilla (@jmct.bsky.social) (@josecalderon) 's Twitter Profile Photo

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 (@welltyped) 's Twitter Profile Photo

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! well-typed.com/blog/2025/06/g…

Well-Typed (@welltyped) 's Twitter Profile Photo

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. youtube.com/watch?v=9hrDm7…

Well-Typed (@welltyped) 's Twitter Profile Photo

Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and Andres Löh will show how to develop a small but useful Haskell CLI application completely from scratch. youtube.com/watch?v=5W0ZUY…

Well-Typed (@welltyped) 's Twitter Profile Photo

Join us today, 2025-07-23, 1830 UTC, live on YouTube for a new episode of the #Haskell #Unfolder, this time on "pure parallelism". youtube.com/watch?v=trDqqZ…