FP-Syd meeting!

Our July meeting's presentation about Closure culminated in an AI generating more than 20 screens of untyped code that would access and modify the internet. So FP-Syd in August is finally the time to explore AI-assisted coding in a bit more detail.
How about AI-assisted Functional Programming? (abstract below)

As usual, doors open at 6pm for networking and mingling, and the talk will start around 6:45pm.

We are always on the look-out for potential speakers, and ready for lightning talks, too. If you have seen something intriguing or worked on code that excites you, take the stage and tell us about it! Join our slack, contact one of the organisers, or just bring your lightning talk on the day.

How about AI-assisted Functional Programming?
Modern AI tools can generate impressive amounts of code, but can they
truly reason with the discipline required for serious functional
programming? Do AI tools and their sophisticated mimic display the
principles and best practices we value?

• Can AI tools provide implementations, or at least scaffolding, for
  core algorithmic problems?
• What types and type features are used in generated code? Do AI tools
  enable better type discipline?
• Can AI refactoring transliterate impure code into a pure language?

This talk is a live, high-wire experiment to find out. We'll move beyond simple "write me a function" prompts and explore the frontiers of AI-assisted FP development. Expect a dynamic and unpredictable session where we may collectively discover the boundaries of AI's current capabilities in the functional domain.
However, am I simply asking the tool the wrong questions?
Critically, I am not an expert in prompt engineering. This session is a shared exploration. I fully expect my prompts to be suboptimal and the AI's output to be flawed. That’s where you come in.
Audience contributions are not just welcome; they are essential.
We'll need your help to craft better prompts, to critically evaluate the generated code, and to spot the subtle (and not-so-subtle) errors. Join us for a live, unfiltered, and largely unprepared interrogation of a large language model. Together, let's determine if we have a new Socratic partner for FP development or just a stochastic parrot with a LISP manual and a Haskell accent.