Media Summary: When writing functions involving GADTs in Shrinking is a critical step in property based testing. When we generate random inputs for functions in order to test them, those ... Debugging space leaks can be one of the more difficult aspects of writing professional
Singletons Haskell Unfolder 50 - Detailed Analysis & Overview
When writing functions involving GADTs in Shrinking is a critical step in property based testing. When we generate random inputs for functions in order to test them, those ... Debugging space leaks can be one of the more difficult aspects of writing professional Monads are a very powerful abstraction: sometimes too powerful. We discuss why we might not always want the full generality of ... In this episode, we are going to look at two interacting "features" of the When GHC knows that two types have the same run-time representation, it allows you to use coerce to go from a value of one to a ...
Exception handling is difficult, especially in the presence of asynchronous exceptions. In this episode we will revise the basics of ... In the first episode, to honour the name of our show, we will take a look at the `unfoldr` function and discuss how it works and how ... In this episode we consider how we can design a typed client/server interface for a simple API. We will use this as an introduction ... In this episode, which is based on a former Well-Typed interview problem, we will discuss how to perform multiple simultaneous ... QuickCheck is useful for more than just testing. Comparing the behaviour of a system to a model can be used to check if a system ... In this video we explore foldings on lists.
