Skip to content

Haskell Interlude #87: Ed Kmett #640

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mikesperber merged 1 commit into from
Oct 2, 2026
Merged

Haskell Interlude #87: Ed Kmett #640

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 16 additions & 0 deletions podcast/87/index.markdown
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
---
title: Edward Kmett
episode: 87
buzzsproutId: 19899290
recorded: 2026-04-01
published: 2026-10-02
---

For the new Haskell Interlude, we sat down with Edward Kmett. Ed is
the Founder and Chief Scientist of Positron AI. More importantly, he's
a legend in the Haskell community for authoring many, many popular
Haskell packages, first and foremost lens - and generally turning up
the abstraction level to 11. We talk about design principles for
Haskell libraries, category theory, cache-oblivious algorithms and his
current work involving Haskell, C++, and FPGAs. Ed talks fast, so
strap in!
111 changes: 111 additions & 0 deletions podcast/87/links.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,111 @@
<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml">

<head>
<title>links.html</title>
<meta http-equiv="Content-Type" content="text/html;charset=utf-8"/>

</head>

<body>

<ul>
<li><a href="http://comonad.com/reader/">Ed’s blog: Comonad
Reader</a></li>
<li><a href="https://www.gwtproject.org/">Google Web Toolkit</a></li>
<li><a href="https://dherman.dev/">Dave Herman</a></li>
<li><a href="https://smlfamily.github.io/">Standard ML</a></li>
<li><a href="https://nodejs.org/">Node.js</a></li>
<li><a href="https://raku.org/">Raku (Perl 6)</a></li>
<li><a
href="https://en.wikipedia.org/wiki/Pugs_(compiler)">Pugs</a></li>
<li><a href="https://en.wikipedia.org/wiki/Audrey_Tang">Audrey
Tang</a></li>
<li><a
href="https://hackage.haskell.org/package/category-extras">category-extras
Haskell package</a></li>
<li><a href="https://hackage.haskell.org/package/comonad">comonads
Haskell package</a></li>
<li><a href="https://conal.net/">Conal Elliott</a></li>
<li><a
href="https://link.springer.com/book/10.1007/978-1-4757-4721-8">Book:
Categories for the Working Mathematician</a></li>
<li><a href="https://web.cecs.pdx.edu/~mpj/">Mark Jones</a></li>
<li><a href="https://web.cecs.pdx.edu/~mpj/pubs/fpca93.html">Paper: A
system of constructor classes</a></li>
<li><a
href="https://comonad.com/reader/2011/monad-transformers-from-comonads/">Blog
post: Monad Transformers from Comonads</a></li>
<li><a href="https://hackage.haskell.org/package/mtl">mtl Haskell
package</a></li>
<li><a href="https://lens.github.io/">The Lens Library</a></li>
<li><a href="https://github.com/scalaz/scalaz">scalaz: Principled
Programming in Scala</a></li>
<li><a
href="https://www.manning.com/books/functional-programming-in-scala">Book:
Functional Programming in Scala</a></li>
<li><a href="http://cufp.org/">Commercial Users of Functional
Programming</a></li>
<li><a href="https://ermine-language.github.io/">Ermine programming
language</a></li>
<li><a href="https://hackage.haskell.org/package/multiplate">multiplate
Haskell package</a></li>
<li><a href="https://hackage.haskell.org/package/uniplate">uniplate
Haskell package</a></li>
<li><a
href="https://hackage.haskell.org/package/lens-family">lens-family
Haskell package</a></li>
<li><a href="https://www.imdb.com/title/tt1677720/">Movie: Ready Player
One</a></li>
<li><a href="https://hackage.haskell.org/package/linear">linear Haskell
package</a></li>
<li><a href="https://comonad.com/reader/2012/mirrored-lenses/">Blog
post: mirrored lenses</a></li>
<li><a href="https://hackage.haskell.org/package/lens">lens Haskell
package</a></li>
<li><a href="https://hackage.haskell.org/package/microlens">microlens
Haskell package</a></li>
<li><a href="https://hackage.haskell.org/package/optics">optics Haskell
package</a></li>
<li><a href="https://comonad.com/reader/series/oblivious/">Blog series:
Cache-Oblivious Data Structures</a></li>
<li><a
href="https://www.cambridge.org/core/books/purely-functional-data-structures/0409255DA1B48FA731859AC72E34D494">Book:
Purely Functional Data Structures</a></li>
<li><a href="https://www.positron.ai/">Positron AI</a></li>
<li><a
href="https://en.wikipedia.org/wiki/Single_instruction,_multiple_data">SIMD</a></li>
<li><a href="https://www.cs.drexel.edu/~gbm26/projects/ghc-simd/">SIMD
support in ghc</a></li>
<li><a href="https://hackage.haskell.org/package/ad">ad Haskell
package</a></li>
<li><a href="https://dl.acm.org/doi/10.1145/1190216.1190242">paper: Lazy
multivariate higher-order forward-mode AD</a></li>
<li><a href="https://blog.sigfpe.com/">Dan Piponi</a></li>
<li><a href="https://pytorch.org/">Pytorch</a></li>
<li><a href="https://en.wikipedia.org/wiki/Integer_programming">Integer
Linear Programming</a></li>
<li><a href="https://pharr.org/matt/">Matt Pharr</a></li>
<li><a href="https://en.wikipedia.org/wiki/AVX-512">AVX-512</a></li>
<li><a href="https://github.com/gingrspacecadet/coda">Coda
language</a></li>
<li><a href="https://wiki.haskell.org/Backpack">Backpack</a></li>
<li><a href="https://ezyang.com/">Edward Z. Yang</a></li>
<li><a href="https://people.mpi-sws.org/~skilpat/">Scott
Kilpatrick</a></li>
<li><a
href="https://mail.haskell.org/pipermail/libraries/2015-March/025381.html">Proposal:
Make Semigroup as a superclass of Monoid</a></li>
<li><a
href="https://wiki.haskell.org/Functor-Applicative-Monad_Proposal">Functor-Applicative-Monad
Proposal</a></li>
<li><a
href="https://www.schoolofhaskell.com/user/edwardk/editorial/procrustean-mathematics">Blog
post: Procrustrean Mathematics</a></li>
</ul>

</body>
</html>
49 changes: 49 additions & 0 deletions podcast/87/links.markdown
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,49 @@
- [Ed's blog: Comonad Reader](http://comonad.com/reader/)
- [Google Web Toolkit](https://www.gwtproject.org/)
- [Dave Herman](https://dherman.dev/)
- [Standard ML](https://smlfamily.github.io/)
- [Node.js](https://nodejs.org/)
- [Raku (Perl 6)](https://raku.org/)
- [Pugs](https://en.wikipedia.org/wiki/Pugs_(compiler))
- [Audrey Tang](https://en.wikipedia.org/wiki/Audrey_Tang)
- [category-extras Haskell package](https://hackage.haskell.org/package/category-extras)
- [comonads Haskell package](https://hackage.haskell.org/package/comonad)
- [Conal Elliott](https://conal.net/)
- [Book: Categories for the Working Mathematician](https://link.springer.com/book/10.1007/978-1-4757-4721-8)
- [Mark Jones](https://web.cecs.pdx.edu/~mpj/)
- [Paper: A system of constructor classes](https://web.cecs.pdx.edu/~mpj/pubs/fpca93.html)
- [Blog post: Monad Transformers from Comonads](https://comonad.com/reader/2011/monad-transformers-from-comonads/)
- [mtl Haskell package](https://hackage.haskell.org/package/mtl)
- [The Lens Library](https://lens.github.io/)
- [scalaz: Principled Programming in Scala](https://github.com/scalaz/scalaz)
- [Book: Functional Programming in Scala](https://www.manning.com/books/functional-programming-in-scala)
- [Commercial Users of Functional Programming](http://cufp.org/)
- [Ermine programming language](https://ermine-language.github.io/)
- [multiplate Haskell package](https://hackage.haskell.org/package/multiplate)
- [uniplate Haskell package](https://hackage.haskell.org/package/uniplate)
- [lens-family Haskell package](https://hackage.haskell.org/package/lens-family)
- [Movie: Ready Player One](https://www.imdb.com/title/tt1677720/)
- [linear Haskell package](https://hackage.haskell.org/package/linear)
- [Blog post: mirrored lenses](https://comonad.com/reader/2012/mirrored-lenses/)
- [lens Haskell package](https://hackage.haskell.org/package/lens)
- [microlens Haskell package](https://hackage.haskell.org/package/microlens)
- [optics Haskell package](https://hackage.haskell.org/package/optics)
- [Blog series: Cache-Oblivious Data Structures](https://comonad.com/reader/series/oblivious/)
- [Book: Purely Functional Data Structures](https://www.cambridge.org/core/books/purely-functional-data-structures/0409255DA1B48FA731859AC72E34D494)
- [Positron AI](https://www.positron.ai/)
- [SIMD](https://en.wikipedia.org/wiki/Single_instruction,_multiple_data)
- [SIMD support in ghc](https://www.cs.drexel.edu/~gbm26/projects/ghc-simd/)
- [ad Haskell package](https://hackage.haskell.org/package/ad)
- [paper: Lazy multivariate higher-order forward-mode AD](https://dl.acm.org/doi/10.1145/1190216.1190242)
- [Dan Piponi](https://blog.sigfpe.com/)
- [Pytorch](https://pytorch.org/)
- [Integer Linear Programming](https://en.wikipedia.org/wiki/Integer_programming)
- [Matt Pharr](https://pharr.org/matt/)
- [AVX-512](https://en.wikipedia.org/wiki/AVX-512)
- [Coda language](https://github.com/gingrspacecadet/coda)
- [Backpack](https://wiki.haskell.org/Backpack)
- [Edward Z. Yang](https://ezyang.com/)
- [Scott Kilpatrick](https://people.mpi-sws.org/~skilpat/)
- [Proposal: Make Semigroup as a superclass of Monoid](https://mail.haskell.org/pipermail/libraries/2015-March/025381.html)
- [Functor-Applicative-Monad Proposal](https://wiki.haskell.org/Functor-Applicative-Monad_Proposal)
- [Blog post: Procrustrean Mathematics](https://www.schoolofhaskell.com/user/edwardk/editorial/procrustean-mathematics)
Loading