I am finding the combination of LLMs and strongly-typed functional programming to be incredibly potent.

By building programs out of small, single-purpose pure functions, it is much easier to review the output of the LLM, whilst also giving me the ability to grok and steer the overall direction of the code. A traditional type-checker catches many of the looks-right-but-is-subtly-wrong hallucinations too.