# Typed servers using sop-core (Haskell Unfolder #51)

**URL:** <https://discourse.haskell.org/t/typed-servers-using-sop-core-haskell-unfolder-51/13261>\
**Category:** Links\
**Created:** [November 12, 2025, 5:18pm UTC](https://discourse.haskell.org/t/typed-servers-using-sop-core-haskell-unfolder-51/13261 "2025-11-12T17:18:50Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![kosmikus](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/kosmikus/32/372_2.png) [@kosmikus](https://discourse.haskell.org/u/kosmikus)\
**Post date:** [November 12, 2025, 5:18pm UTC](https://discourse.haskell.org/t/typed-servers-using-sop-core-haskell-unfolder-51/13261/1 "2025-11-12T17:18:50Z")

</div>

![](https://img.youtube.com/vi/3XeIoA0aVLQ/maxresdefault.jpg)https://www.youtube.com/embed/3XeIoA0aVLQ?feature=oembed&wmode=opaque&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7

Will be streamed today, 2025-11-12, at 1930 UTC.

Abstract:

_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 to some of the foundational concepts of the sop-core library, and we will discuss some ways of dealing with serialization in a more strongly typed setting. While does this require a bit of type level programming, hopefully by the end of this episode that won’t look quite so intimidating anymore, and the benefit is not just better Haskell types, but also a better bits-on-the-wire communication protocol._