Type-safe APIs with PureScript: http, graphql, and postgres

Published: 20 April 2026
on channel: Impure Pics

661

Three libraries and one idea: let the type system do the boring work (if the logic doesn't match the spec, it doesn't build). My friend, Mark, walks me through his PureScript libraries for building safe production APIs. This conversation was unscripted and has some abrupt cuts. I hope you enjoy

https://github.com/rowtype-yoga
Type-safe http apis https://github.com/rowtype-yoga/pures...
Type-safe graphql https://github.com/rowtype-yoga/pures...
Type-safe postgres https://github.com/rowtype-yoga/pures...

#fp #functionalprogramming #purescript

Subscribe to Impure Pics: https://bit.ly/impure-youtube

More Impure Pics
🐣 / impurepics
📦 http://impurepics.com
👕 http://merch.impurepics.com
📗 Functional Alphabet book: https://bit.ly/fp-abc-soft-cover

Watch more Impure Pics
• Debunking Haskell Myth: “Tooling Issue”

About Impure Pics
FP Advocat. Distilling functional programming for the good of all

Get in touch: https://zelenya.com

00:00 Begin
00:17 (1) Type-safe https apis
07:14 Error Handling and path params
09:20 It breaks
09:30 Back to Error Handling and path params
11:36 Request Bodies
15:08 Query params and headers
19:13 Looking at the golden tests
22:44 (2) Type-safe graphql (teaser)
25:23 (3) Type-safe postgresql (teaser)
30:46 Parting thoughts

On this page of the site you can watch the video online Type-safe APIs with PureScript: http, graphql, and postgres with a duration of hours minute second in good quality, which was uploaded by the user Impure Pics 20 April 2026, share the link with friends and acquaintances, this video has already been watched 661 times on youtube and it was liked by 25 viewers. Enjoy your viewing!

501