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