Working on an embedded DSL for writing typed LLM workflows in Haskell: https://github.com/outervation/promptyped . It handles the "LLM in a loop" structuring for e.g. forcing an LLM to keep making changes in a loop until unit tests pass, and custom validation so the LLM is forced to retry a task if the validation fails (validation can include using a LLM to check the result, or plain Haskell function, or e.g. running a compiler/unit tests). It also allows structured context management, allowing the user to specify which files are initially provided as context to a task (which may itself be the result of a LLM query), as well as providing the LLM tools to open files it deems relevant, and prompting it to close the least important file when it has too many open (and compressing non-recently-modified source files when many are open).

Currently heavily WIP though and only has a working Go compile/test backend (Go seems particularly easy for smaller LLMs like o3-mini to work with due to being a relatively non-complex language).