Tessera
Folgen

Impure Pics

@impurepics.bsky.social

FP Advocat. Distilling functional programming for the good of all. http://youtube.com/@impurepics

29 Posts136 Follower0 Folgt
Impure Pics@impurepics.bsky.social · 2mo ago

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

Impure Pics@impurepics.bsky.social · 2mo ago

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

Impure Pics@impurepics.bsky.social · 2mo ago

- 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

Impure Pics@impurepics.bsky.social · 2mo ago

@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

gabby@fullmoon.id · 3mo ago

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

Impure Pics@impurepics.bsky.social · 3mo ago

@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

Impure Pics@impurepics.bsky.social · 5mo ago

Anyone interested in 1-1/mentoring/Q&A/whatever FP conversation?  Not trying to sell or record anything, just looking for new ways to help (and talk to someone outside of the immediate bubbles) Ping me on Discord (Zelenya) or DM here or on other platforms

Bild
Unison@unison-lang.org · 5mo ago

🫣 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 automated social media posting with this Unison cli app

You know that feeling when you need to post something on social media really quickly, but then you get stuck scrolling through all the bad takes. Well, I do ...

youtu.be