AI & FP: Fast, Cheap & Correct -- Without Choosing Two
Melbourne Compose is the monthly in-person meetup for functional programmers in Melbourne, every 3rd Thursday of the month in Carlton.
Our July meeting will be 6:00-8:00 pm Thurs 16th of July at our regular venue, Activity Room 2 at Kathleen Syme Center in Carlton. Arrive from 5:30 for chat and socialising, talks start start at 6:30pm. Please RSVP via Luma.
Daniel Vianna will present on:
"AI & FP: Fast, Cheap & Correct -- Without Choosing Two
AI coding tools work less by charisma than by feedback. A model can draft code quickly; the hard question is how cheaply the environment catches wrong drafts. Functional programming helps by making some wrong drafts impossible to finish: a checkout step cannot take payment before it has an address, a delivery option, and a reviewable order. The compiler becomes the critic that forces the agent to keep trying.
Daniel Vianna will use recent experience with AI agents on a Rust webserver and a Python/Airflow data warehouse to compare two very different feedback loops. The session will be part talk, part discussion: where AI helps today, where it still lies with confidence, and what guarantees we would need before trusting agentic workflows further."
Hope to see you there :)
-Ben Hutchison & John Walker