Haskell Interlude #72

Manuel Chakravarty

Author: mikesperber

podcast/72/index.markdown

@@ -0,0 +1,12 @@
+---
+title: Manuel Chakravarty
+episode: 72
+buzzsproutId: 18103989
+recorded: 2025-08-19
+published: 2025-10-30
+---
+
+In this episode, we talk to Manuel Chakravarty - specifically, his
+work on the ghc backend such as data-parallel Haskell and the FFI and
+how that work segued into type system design. We also discussed
+Manuel's perspective on Haskell from the language design of Swift.

podcast/72/links.markdown

@@ -0,0 +1,15 @@
+- [Manuel's homepage](https://justtesting.org/)
+- [C Foreign Function Interface](https://www.haskell.org/onlinereport/haskell2010/haskellch8.html)
+- [c2hs](https://hackage.haskell.org/package/c2hs)
+- [gtk bindings for Haskell](https://hackage.haskell.org/package/gtk)
+- [Swift](https://www.swift.org/)
+- [Sydney Cocoaheads meetup](https://www.sydneycocoaheads.com/)
+- [Bret Victor](https://worrydream.com/)
+- [Boost C++ libraries](https://www.boost.org/)
+- [Paper: Associated Types with Class](https://dl.acm.org/doi/10.1145/1040305.1040306)
+- [Paper: Type checking with open type functions](https://dl.acm.org/doi/10.1145/1411204.1411215)
+- [Paper: Data-Parallel Haskell: a status report](https://dl.acm.org/doi/10.1145/1248648.1248652)
+- [Paper: Repa: High performance, regular, shape polymorphic parallel arrays.](https://hackage.haskell.org/package/repa)
+- [Paper: Accelerate: High-Performance Parallel Arrays for Haskell](https://www.acceleratehs.org/)
+- [Agda](https://github.com/agda/agda)
+- [Haskell for Mac](http://www.haskellformac.com/)