Home New Trending Search
About Privacy Terms
#
#Unfolder
Posts tagged #Unfolder on Bluesky
Static pointers (Haskell Unfolder #53)
Static pointers (Haskell Unfolder #53) "Static pointers" are references to statically known values, and can serialized independent of the type of the value (even if that value is a function), so that you can store them in files, send them ...

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

www.youtube.com/watch?v=Mc3l...

6 1 0 0
Bidirectional parsing and printing (of JSON) (Haskell Unfolder #52)
Bidirectional parsing and printing (of JSON) (Haskell Unfolder #52) YouTube video by Well-Typed

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.

www.youtube.com/watch?v=z9V5...

5 0 1 0
Original post on chaos.social

@kosmikus Again, the last #Unfolder was eye opening to me. sop-core is such an obviously useful thing.

However for production usage I am a bit weary about the runtime performance of the linked list. I guess it probably doesn’t matter much (e.g. our database has 15 types of documents which I […]

0 0 0 0
Typed servers using sop-core (Haskell Unfolder #51)
Typed servers using sop-core (Haskell Unfolder #51) YouTube video by Well-Typed

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.

www.youtube.com/watch?v=3XeI...

5 0 0 0
Singletons (Haskell Unfolder #50)
Singletons (Haskell Unfolder #50) YouTube video by Well-Typed

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).

www.youtube.com/watch?v=-zxx...

6 0 2 0
Shrinking (Haskell Unfolder #49)
Shrinking (Haskell Unfolder #49) YouTube video by Well-Typed

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: www.youtube.com/watch?v=EcV4...

5 1 1 0

Thanks @kosmikus for the last #Haskell #Unfolder episode. Yet, another example of me starting "Ah, well I know that topic." and leaving with "Oh, damn that explains the error message from last month."

0 0 0 0
Safe coercions (Haskell Unfolder #48)
Safe coercions (Haskell Unfolder #48) YouTube video by Well-Typed

After a long summer break, we're finally back for a new episode of the #Haskell #Unfolder: Edsko and I are going to talk about safe coercions, newtype vs data, roles and more ... Today, 2025-10-01, 1830 UTC on YouTube: www.youtube.com/watch?v=NC0w...

6 2 0 0
Pure parallelism (Haskell Unfolder #47)
Pure parallelism (Haskell Unfolder #47) YouTube video by Well-Typed

Join us today, 2025-07-23, 1830 UTC, live on YouTube for a new episode of the #Haskell #Unfolder, this time on "pure parallelism".

www.youtube.com/watch?v=trDq...

7 1 0 1
Developing an application from scratch (Haskell Unfolder #46)
Developing an application from scratch (Haskell Unfolder #46) YouTube video by Well-Typed

Today, Wednesday, 2025-07-09, at 1830 UTC, there's going to be a new episode of the #Haskell #Unfolder. Edsko and I will show how to develop a small but useful Haskell CLI application completely from scratch.

www.youtube.com/watch?v=5W0Z...

3 0 0 0
Haskell records in 2025 (Haskell Unfolder #45)
Haskell records in 2025 (Haskell Unfolder #45) YouTube video by Well-Typed

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.

www.youtube.com/watch?v=9hrD...

13 4 2 0
Original post on chaos.social

I love the episode image,

well-typed.com/blog/2025/05/haskell-unf...

however it is slightly overselling @kosmikus reaction. 😆

As always a very informative episode, thank you so much guys for the great channel.

Its a bit sad […]

1 0 0 0
State-based testing with quickcheck-lockstep (Haskell Unfolder #44)
State-based testing with quickcheck-lockstep (Haskell Unfolder #44) YouTube video by Well-Typed

If you want to hear from Edsko and me how to test stateful APIs using quickcheck(-lockstep), join us today, 2025-05-14, at 1830 UTC, live on YouTube for a new episode of the #Haskell #Unfolder: www.youtube.com/watch?v=RPQV...

5 1 1 0
The Haskell Unfolder Episode 43: monomorphism restriction and defaulting
The Haskell Unfolder Episode 43: monomorphism restriction and defaulting YouTube video by Well-Typed

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

3 0 0 0
The Haskell Unfolder Episode 42: logic programming with typedKanren
The Haskell Unfolder Episode 42: logic programming with typedKanren YouTube video by Well-Typed

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.

www.youtube.com/watch?v=ukk5...

5 1 0 0
The Haskell Unfolder Episode 41: generic monoids
The Haskell Unfolder Episode 41: generic monoids YouTube video by Well-Typed

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!

www.youtube.com/watch?v=db-K...

7 1 0 0
The Haskell Unfolder Episode 40: understanding through a model
The Haskell Unfolder Episode 40: understanding through a model YouTube video by Well-Typed

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 ...

www.youtube.com/watch?v=0QTt...

11 2 1 0
The Haskell Unfolder Episode 39: deriving strategies
The Haskell Unfolder Episode 39: deriving strategies YouTube video by Well-Typed

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

5 0 0 0
The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold, scan)
The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold, scan) YouTube video by Well-Typed

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.

www.youtube.com/watch?v=ww4C...

6 0 0 0
The Haskell Unfolder Episode 37: solving Advent of Code 2024 day 4
The Haskell Unfolder Episode 37: solving Advent of Code 2024 day 4 YouTube video by Well-Typed

Tomorrow, 2024-12-04, at 1930 UTC, there'll be a new episode of the #Haskell #Unfolder live on YouTube. This time, we'll try to solve Day 4 of #AdventOfCode 2024.

www.youtube.com/watch?v=KkKx...

11 1 0 0
The Haskell Unfolder Episode 36: concurrency and the FFI
The Haskell Unfolder Episode 36: concurrency and the FFI YouTube video by Well-Typed

Tomorrow, 2024-11-20, at 1930 UTC, there'll be a new episode of the #Haskell #Unfolder, on concurrency and the FFI. Edsko will explain to me what exactly the difference is between "safe" and "unsafe" FFI calls and whether safe calls are actually safe ...

www.youtube.com/watch?v=IMrB...

12 2 1 0
The Haskell Unfolder Episode 35: distributive and representable functors
The Haskell Unfolder Episode 35: distributive and representable functors YouTube video by Well-Typed

Tomorrow, 2024-11-06, at 1930 UTC, Edsko and I will stream a new episode of the #Haskell #Unfolder. This time, we're going to look at two type classes in the Haskell world that are perhaps less widely known: Distributive and Representable.

Join us live on YouTube: www.youtube.com/watch?v=g_vK...

2 0 0 0
The Haskell Unfolder Episode 24: generic (un)folds
The Haskell Unfolder Episode 24: generic (un)folds In our first anniversary episode, we are connecting back to the very beginning of the Haskell Unfolder and talk about unfolds and folds. But this time, not o...

The #Haskell #Unfolder is now 1 year old! In the anniversary episode, Edsko and I will return to the very first topic and consider (un)folds, but now in a more generic setting. Live on YouTube 2024-05-01 at 1830 UTC.

www.youtube.com/watch?v=QTgR...

0 0 0 0