OCaml PlanetLanguages
Thought Experiment #1

Yesterday evening I was at the first Thought Experiment, a new series of informal evenings on how "AI is changing the way we code, find vulnerabilities, and prove theorems".
Read at OCaml Planet ↗More from OCaml Planet on Accept All

LanguagesOCaml now has type recovery: when type checking goes wrong, but keeps going OCaml Planet

LanguagesNotes from week 41 OCaml Planet

Languages.plan-26-41: Hello, is it Part II you're looking for? OCaml Planet

LanguagesOCaml's module language is the perfect fit for agentic programming OCaml Planet

LanguagesAn Overview of OCaml Release Readiness: How Does the OCaml Ecosystem Stay Up-to-Date with the Compiler? OCaml Planet
