Impure Pics

youtu.be/JXbE9CODlSY - if you are not into FP and confused about haskell having no side effects; - if you are already into FP, broaden your FP horizons;

Niclas already uses Roc in production and is living an engineering dream. Full-stack web apps in roc using joy: youtu.be/12yVcgQHAK0

Talking about the fast, friendly, and functional Roc programming language, which you can use on the BE, FE, and for scripting. Oh, and it solved error handling? www.youtube.com/watch?v=CIxi...

@tylerbutler.bsky.social is a big fan of distributed systems and Gleam; the Beryl project combines the two youtu.be/UOFA74zsSnk

@guillheu.bsky.social talks EVE Online, arbitrage tools, Gleam, and the Lustre framework. Enjoy. www.youtube.com/watch?v=XypX...

For people interested in trying Gleam and making indie games www.youtube.com/watch?v=zhi2...

One of the best blog posts I've ever seen

Writing unison code by hand for 3 hours youtu.be/kssey4P6kSA

@lexi-lambda.bsky.social talks Racket, nonogram/picross puzzles, puzzle solvers, a functional picture combinator library on top of OpenGL, and programming for fun. Enjoy. youtu.be/LwpnwQGNC9Q

I keep wondering why OCaml is so underrated. Got some answers from @david.sancho.dev, who is making some cool tools for OCaml and Reason ecosystems youtu.be/s8uevq8d4LY

We cover - What's the point of generative testing - How to reduce friction around PBT/generative testing - Capabilities (in Scala 3) - Capture checking and how they fit with capabilities - Capabilities vs Monads vs Effect handlers - The cost of purity and referential transparency

This one is for people who are scared or overwhelmed by property based testing, capabilities, monads, and capture checking. Nicolas is working on a low-friction property-based testing library, whose design was (in)directly affected by the hottest Scala feature: capabilities. youtu.be/TYzDzwu7H38

- The purpose and design of Alexandrite - Differences between "normal" compilers and "analyzers" - Reasons to choose Rust or OCaml for compiler development - Internals of compilers, some optimizations and tradeoffs - Importance of clarity and posterity

@purefunctor.me is building Alexandrite – a PureScript analyzer – designed for interactive editing. Wonder why languages need multiple compilers? How do language servers work? And how long does it take to compile a hundred thousand lines of PureScript? youtu.be/XSv5B9yI6F4

@isaacvando.bsky.social journey building Software Should Work, an independent conference on software reliability; the technical decisions behind the conference website; and insights into the importance of thinking about software and caring about the user experience. youtu.be/R2L7M5PV6xE

I'm in my first YouTube short! www.youtube.com/shorts/Fk4PL...

Y'all have to watch this because I look so prettyyyyy in this podcast But more seriously I give a really extended tour of my @trygrace.dev project and also shoot the shit on the current state of the software engineering industry

@fullmoon.id takes us on a journey with Grace: from a typed interpreted functional programming language to prompt-engineering pipelines; with thoughts on cunning LLMs, agentic coding, SE excellence (the importance of ownership, typing the code out, and holistic knowledge) youtu.be/lTEP0zrjPwY

Need to represent some complex data? Looking for a d3 alternative? Or just want to look at pretty visualizations? www.youtube.com/watch?v=gA6H...

Why learn Haskell (functional programming, or anything) in 2026? https://www.youtube.com/watch?v=Zxo_eY69yCY

A conversation about APIs that can't lie: PureScript libraries for HTTP, GraphQL, and PostgreSQL youtu.be/qTxHc8G0C0g

Nobody knows what the future of programming looks like. If the coding stays, the types and compilers will play a bigger role. Probably. youtu.be/Pnu7dXOAaQU If we are all jobless and irrelevant soon, at least I get this off my chest.

🫣 Ever open social media to post one thing… and resurface 20 minutes later? Well, here's @impurepics.bsky.social wiring up a Unison-powered CLI solution for that. They walk through the code, the Unison workflow, and how it all fits together. 👑 Thanks @impurepics.bsky.social, we're huge fans!

I'm a big fan of functional programming and obsessed with myths surrounding it. Now that we are entering a new era of programming and I'm entering a new era of being a grumpy grandpa, I want to share one story about PureScript and ramble about agency and agents. youtu.be/tASAbCENfU4

I lost my mind. Let’s go through each of the 23 GoF patterns and see which one I actually see being used and what the functional alternatives are (if any) youtu.be/qYEmJ8MYrs4

Friction in programming and why FP isn’t mainstream youtu.be/KS7bNieKvzE

Between industry and craft: youtu.be/EUTCXFa0tsM

Trying out Gleam: youtu.be/9TqkXIs5lYM

PureScript for Scala devs youtu.be/l7ufb_MbXY0

PureScript for Scala developers: dev.to/zelenya/pure...

Which part of (*./@(~:"1) # ]) @ (#: i.@(*/)) you don’t understand?