A community for the OCaml programming language https://ocaml.org/
Looking for mods, if you want to mod the community feel free to dm Ategon
Icon base by Delapouite under CC BY 3.0 with modifications to add a gradient
Members
77
Posts
26
Active Today
2
Created
1 yr. ago
-
OCaml @programming.dev Nemeski @lemm.ee 
discuss.ocaml.org OCaml 5.3.0 releasedWe have the pleasure of announcing the release of OCaml version 5.3.0. dedicated to the memory of John William Mauchly and Paul Verlaine on the anniversary of their death. De la musique avant toute chose, Et pour cela préfère l’Impair (Music first and foremost of all! Choose your measure of...
-
OCaml @programming.dev ericjmorey @programming.dev How OCaml type checker works -- or what polymorphism and garbage collection have in common | okmij.org | original February 2013 | updated January 9, 2022
okmij.org Efficient and Insightful GeneralizationA short guide on OCaml type checker, describing the surprisingly elegant algorithm for generalization, which generalizes to first-class polymorphism, MLF and local types. Polymorphism and regions have much in common.
There is more to Hindley-Milner type inference than the Algorithm W. In 1988, Didier Rémy was looking to speed up the type inference in Caml and discovered an elegant method of type generalization. Not only it is fast, avoiding scanning the type environment. It smoothly extends to catching of locally-declared types about to escape, to type-checking of universals and existentials, and even to MLF.
Alas, both the algorithm and its implementation in the OCaml type checker are little known and little documented. This page is to explain and popularize Rémy's algorithm, and to decipher a part of the OCaml type checker. The page also aims to preserve the history of Rémy's algorithm.
-
OCaml @programming.dev ericjmorey @programming.dev Announcing Godotcaml for Godot 4.2 | Fizzixnerd Blog | Matt Walker | Jun 28, 2024
Jun 28, 2024
Matt Walker writes:
This is an extremely early stage of development, but basically at this point it is possible to:
- Call any builtin Godot utility function or method (static, virtual, or otherwise) from OCaml easily, and with documentation comments for the original function intact an available through your favourite OCaml LSP implementation.
- Use Godot (binary) operators in a natural way from OCaml. (Unary operators are currently broken, which I will be investigating!)
- Construct Godot values from OCaml easily, and from OCaml analogues if they exist (e.g. I incur a dependency on Gg for low-dimensional vector math)
- Marshalling in and out of all these functions to/from the OCaml analogues. That is, a method that is in Godot on an object of type ClassyClass taking an int parameter and returning an int will appear in Godotcaml as int64 -> ClassyClass.t structure ptr -> int64, where the ClassyClass.t structure ptr is the “pointer to
-
OCaml @programming.dev Mac @programming.dev 
tarides.com Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCamlEio 1.0 delivers OCaml 5's first effect-based direct-style I/O stack, enhancing parallelism with io_uring and boosting safety through formal verification.
-
OCaml @programming.dev monomon @programming.dev GitHub - monomon/schooloprog: generate ical school schedule
github.com GitHub - monomon/schooloprog: Small program to convert sexp description to icalSmall program to convert sexp description to ical. Contribute to monomon/schooloprog development by creating an account on GitHub.
I had been meaning to try OCaml for a long time, and saw the opportunity.
My daughter's school schedule was sent in an inconvenient format (screenshot), so I decided to type it in manually in sexps, which I am a fan of.
These are used as a source for my program to generate icalendar with recurrences, exceptions for the holidays, and so on. Someone might find it useful as reference too.
