# Haskell Interlude #83: POPL 2026 - Part 2

**URL:** https://discourse.haskell.org/t/haskell-interlude-83-popl-2026-part-2/14274
**Category:** Links
**Created:** [June 15, 2026, 6:21am UTC](https://discourse.haskell.org/t/haskell-interlude-83-popl-2026-part-2/14274 "2026-06-15T06:21:25Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![sperber](https://avatars.discourse-cdn.com/v4/letter/s/59ef9b/32.png) [@sperber](https://discourse.haskell.org/u/sperber)
#### Post date: [June 15, 2026, 6:21am UTC](https://discourse.haskell.org/t/haskell-interlude-83-popl-2026-part-2/14274/1 "2026-06-15T06:21:25Z")

</div>

Today’s Interlude is the second part of a miniseries on this year’s Symposium on Principles of Programming Languages, a.k.a. POPL 2026, hosted by Jessica Foster.

In this episode we talk about: symbolic execution monads, what a lazy linear core in Haskell might have in common with Rust, hyperfunctions, the hallway track, and how to deal with rejection.

> **[POPL 2026 - Part 2](https://haskell.foundation/podcast/83/)**
>
> This is the first part of a miniseries on this year's Symposium on
> Principles of Programming Languages, a.k.a. POPL 2026, hosted by Jessica
> Foster.