# \#language **URL:** https://discuss.ocaml.org/tag/language/110.md [Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md) --- ## [I wrote a DSL for AI personalities in OCaml](https://discuss.ocaml.org/t/i-wrote-a-dsl-for-ai-personalities-in-ocaml/17860)
**Author:** [@GriffinCanCode](https://discuss.ocaml.org/u/GriffinCanCode)\ **Replies:** 0\ **Last updated:** [March 1, 2026, 12:12am UTC](https://discuss.ocaml.org/t/i-wrote-a-dsl-for-ai-personalities-in-ocaml/17860 "2026-03-01T00:12:28Z")
Hi guys, I wanted a more deterministic way to create personalities for my AI agents that was consistent in production. The interesting catch being that the compiler had to output a prompt, and it needed to be access… --- ## [Any annotation to ensure a type is immutable?](https://discuss.ocaml.org/t/any-annotation-to-ensure-a-type-is-immutable/16212)
**Author:** [@rixed](https://discuss.ocaml.org/u/rixed)\ **Replies:** 15\ **Last updated:** [March 9, 2025, 8:06pm UTC](https://discuss.ocaml.org/t/any-annotation-to-ensure-a-type-is-immutable/16212 "2025-03-09T20:06:50Z")
It occurred to me a few times that I have been wanting for a way to make sure a deep record type received as an argument was immutable. Something like: type thing = { ... many fields with many sub-records ... } let c… --- ## [Could we move string and bytes to sliced types?](https://discuss.ocaml.org/t/could-we-move-string-and-bytes-to-sliced-types/15862)
**Author:** [@lthms](https://discuss.ocaml.org/u/lthms)\ **Replies:** 27\ **Last updated:** [December 31, 2024, 7:38pm UTC](https://discuss.ocaml.org/t/could-we-move-string-and-bytes-to-sliced-types/15862 "2024-12-31T19:38:12Z")
OCaml is a language that prides itself (for good reason IMO) to take backward compatibility very seriously. And as far as I can tell, that claim is pretty solid. That being said, OCaml started a long time ago (no offens… --- ## [OCaml Cycle detection and Garbage Collector](https://discuss.ocaml.org/t/ocaml-cycle-detection-and-garbage-collector/15757)
**Author:** [@KoviRobi](https://discuss.ocaml.org/u/KoviRobi)\ **Replies:** 6\ **Last updated:** [December 14, 2024, 5:53pm UTC](https://discuss.ocaml.org/t/ocaml-cycle-detection-and-garbage-collector/15757 "2024-12-14T17:53:47Z")
Hi, I was wondering about something, when it comes to cycle detection – if I naively make a search data structure (hash table, tree) with pointers as keys to detect cycles, then presumably that will break with the garba… --- ## [Vote: would you like to try a new language designed as better OCaml?](https://discuss.ocaml.org/t/vote-would-you-like-to-try-a-new-language-designed-as-better-ocaml/15528)
**Author:** [@lilac](https://discuss.ocaml.org/u/lilac)\ **Replies:** 0\ **Last updated:** [October 30, 2024, 3:09pm UTC](https://discuss.ocaml.org/t/vote-would-you-like-to-try-a-new-language-designed-as-better-ocaml/15528 "2024-10-30T15:09:37Z")
Realized that I cannot edit the original post, so I create a new topic. I apologize if this troubles you. As a first step of my work on the Hi language, I want to collect feedback from the community, to see how many OCa… --- ## [\[ANN\] Liquidsoap 2.1.0](https://discuss.ocaml.org/t/ann-liquidsoap-2-1-0/10192)
**Author:** [@toots](https://discuss.ocaml.org/u/toots)\ **Replies:** 0\ **Last updated:** [July 17, 2022, 6:16pm UTC](https://discuss.ocaml.org/t/ann-liquidsoap-2-1-0/10192 "2022-07-17T18:16:35Z")
Liquidsoap 2.1.0 was just released, some ~10 months after the initial release of the 2.0.x release cycle! The release is available here: Release Liquidsoap 2.1.0 · savonet/liquidsoap · GitHub and should be coming throug… --- ## [Plugin-system for OCaml programs](https://discuss.ocaml.org/t/plugin-system-for-ocaml-programs/9048)
**Author:** [@Gopiandcode](https://discuss.ocaml.org/u/Gopiandcode)\ **Replies:** 10\ **Last updated:** [December 22, 2021, 8:28pm UTC](https://discuss.ocaml.org/t/plugin-system-for-ocaml-programs/9048 "2021-12-22T20:28:53Z")
One common functionality that I’ve found myself wanting to incorporate into applications that I build is the support for user-defined plugins/extensions (without having to re-compile the application itself), but I don’t … --- ## [Aliasing a functor application in a module interface?](https://discuss.ocaml.org/t/aliasing-a-functor-application-in-a-module-interface/8546)
**Author:** [@gasche](https://discuss.ocaml.org/u/gasche)\ **Replies:** 4\ **Last updated:** [September 29, 2021, 8:10pm UTC](https://discuss.ocaml.org/t/aliasing-a-functor-application-in-a-module-interface/8546 "2021-09-29T20:10:19Z")
I keep trying to write things like this in module interfaces module Var : Map.OrderedType module VarSet = Map.Make(Var) (\* ^ Syntax error: 'end' expected \*) This is rejected, it appears that modu… --- ## [Backwards Compatibility](https://discuss.ocaml.org/t/backwards-compatibility/4258)
**Author:** [@bluddy](https://discuss.ocaml.org/u/bluddy)\ **Replies:** 9\ **Last updated:** [August 20, 2019, 5:21am UTC](https://discuss.ocaml.org/t/backwards-compatibility/4258 "2019-08-20T05:21:00Z")
I’d like to continue the discussion that was started in another thread about backwards compatibility by pointing to what seems to me to be a true marvel of backwards compatibility: the Rust compiler. Please read this pag… --- ## [Is there any OCaml(not ML or StandardML) - inspired languages with dependent types and algebraic affects?](https://discuss.ocaml.org/t/is-there-any-ocaml-not-ml-or-standardml-inspired-languages-with-dependent-types-and-algebraic-affects/1023)
**Author:** [@egoholic](https://discuss.ocaml.org/u/egoholic)\ **Replies:** 5\ **Last updated:** [November 20, 2017, 2:04pm UTC](https://discuss.ocaml.org/t/is-there-any-ocaml-not-ml-or-standardml-inspired-languages-with-dependent-types-and-algebraic-affects/1023 "2017-11-20T14:04:01Z")
Is there any OCaml - inspired languages with dependent types and algebraic affects or libraries / preprocessors / compiler extensions that provides such features for OCaml?