OCaml Weekly News

• Switch back to threaded console for all systems; fix unresponsive console on Windows (#7906, @nojb)
• Respect -p / --only-packages for melange.emit artifacts (#7849, @anmonteiro)
• Fix scanning of Coq installed files (@ejgallego, reported by @palmskog, #7895 , fixes #7893)
• Fix RPC buffer corruption issues due to multi threading. This issue was only reproducible with large RPC payloads (#7418)
• Fix printing errors from excerpts whenever character offsets span multiple lines (#7950, fixes #7905, @rgrinberg)

• Fix a crash when using a version of Coq < 8.13 due to the native compiler config variable being missing. We now explicitly default to (mode vo) for these older versions of Coq. (#7847, fixes #7846, @Alizter)
• Duplicate installed Coq theories are now allowed with the first appearing in COQPATH being preferred. This is inline with Coq’s loadpath semantics. This fixes an issue with install layouts based on COQPATH such as those found in nixpkgs. (#7790, @Alizter)
• Revert #7415 and #7450 (Resolve ppx_runtime_libraries in the target context when cross compiling) (#7887, fixes #7875, @emillon)

euler is a library for doing integer arithmetic with OCaml’s standard integers (31 or 63 bits). It provides:

• Drop-in, overflow-detecting base arithmetic: if you are paranoid about vicious bugs sneaking in silently, this library detects overflows and signal them by throwing an exception; the module can be used as a drop-in replacement for the standard library (beware that Euler.Arith.min_int differs from Stdlib.min_int, the latter being a forbidden value). There are also a few additional functions such as integer logarithms and square roots.
• More advanced arithmetic: for the weird folks (like myself) who are interested in advanced arithmetic but do not care about integers larger than 2⁶², and thus do not want the burden of using an arbitrary-precision library (zarith of GMP), there you are. The library provides some classic functions such as
  • the GCD,
  • the Jacobi symbol,
  • primality testing (fast and deterministic for all 63-bit integers!),
  • integer factorization (implementing Lenstra’s elliptic curve factorization, which was apparently one of the best known algorithms back when I wrote that code, but obviously it is still very slow! — and I must say I understand very little about it…),
  • a prime sieve (heavily optimized) and a factorization sieve,
  • Euler’s totient function (slow too, of course),
  • and so on.
• Solvers for some forms of integer equations (so-called “Diophantine equations”):
  • linear congruence systems (the Chinese remainder theorem),
  • Pell-Fermat’s equations (the Chakravala method) — preliminary code that just needs some packaging effort).

• Modular arithmetic: including finding modular inverses (and pseudo-inverses). A nice functorial interface provides convenient notations and uses a private type to enforce that values are always normalized in the range 0..*m*−1 where m is the modulus. Example use:

      module M = Euler.Modular.Make (struct let modulo = 42 end)
      let () = assert (M.( !:1 /: (!:33 +: !:4) = !:5 **:(-4) ))
      (* said otherwise, modulo 42, the inverse of (33 + 4) is equal to 5^(−4) *)
  

Writing this library was fun and educative for me, and allowed me to solidify my math training in code. In fact, as the name suggests, the initial incentive was playing with Project Euler (hence the focus on integers that fit in a machine word) while sparing me the boredom of implementing a prime sieve for the hundredth time.

Nevertheless, I believe euler might prove actually useful outside of the playground. Overflow detection is an actual need in some software, and implementing it is not trivial, even less so after some amount of micro-optimization (see code). Modular arithmetic is not trivial either (e.g. multiplication is not as simple as (a * b) mod m because this computation might overflow). And well, even integer logarithms and square roots are handy at times, and again they not trivial to implement (as using their floating-point counterpart gives incorrect results for large integers).

project-euler: https://projecteuler.net/

http://jfla.inria.fr/jfla2024.html

30 janvier au 2 février 2024

Abbaye de Saint-Jacut, Saint-Jacut-de-la-Mer

Les 35es Journées Francophones des Langages Applicatifs (JFLA) se tiendront en Bretagne, à Saint-Jacut-de-la-Mer (Côtes-d’Armor), du mardi 30 janvier 2024 au vendredi 2 février 2024.

Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques.

• Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions à d’autres paradigmes.
• Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt théorique, technique ou méthodologique.
• Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles.
• Spécification, prototypage, développements formels d’algorithmes.
• Vérification de programmes ou de modèles, vérification déductive, interprétation abstraite, raffinement.
• Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues de la communauté scientifique. Outils et plateformes pour le web.
• Problématiques d’enseignement, de formation, ou de diffusion des langages fonctionnels et applicatifs. Environnements et méthodologies de développement, retours d’expérience.

Les articles soumis aux JFLA sont relus par au moins deux personnes s’ils sont acceptés, et au moins trois personnes s’ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet.

Il n’y a donc pas de raison de ne pas soumettre aux JFLA !

Attention : les dates limites sont fermes et définitives. Il n’y aura pas d’extension.

• Soumission des résumés et articles : 19 octobre 2023, AoE
• Notification aux auteurs : 1er décembre 2023, AoE
• Version finale des articles : 18 décembre 2023, AoE

Nous acceptons quatre types de soumissions :

• Article de recherche (18 pages max.) portant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l’aspect recherche n’est pas entièrement finalisé. Nous encourageons aussi la soumission d’articles présentant avec élégance un résultat connu sous un angle nouveau.
• Article court (9 pages max.) décrivant un problème particulier, les pistes en cours d’investigation, et visant à rechercher de l’aide de la part de la communauté. Les articles courts peuvent également présenter de manière synthétique et cohérente un ou plusieurs résultats déjà publié(s).
• Tutoriel (3 pages max.) exposant clairement les objectifs et l’intérêt de la présentation, ainsi que l’environnement informatique nécessaire à sa réalisation.
• Démonstration de logiciel (3 pages max.) décrivant l’intérêt du logiciel, qu’il soit prototypique ou abouti, ainsi que ses spécificités.

Les articles peuvent être rédigés en français ou en anglais.

La forme de l’article doit être soignée, et le contenu rédigé de manière structurée et claire.

Le style LaTeX jflart doit impérativement être utilisé sans modification de la mise en page. Le style LaTeX et sa documentation sont disponibles depuis le site web de la conférence.

Les limites de pages sont strictes. Les références bibliographiques ne sont pas comptabilisées dans la limite de pages. Les annexes aux articles ne sont pas autorisées.

Les auteurs peuvent soumettre du matériel supplémentaire, séparé de l’article soumis, sous forme de texte (version longue, sans limite de pages) et/ou de développement logiciel. L’évaluation de ce matériel supplémentaire est à la discrétion des relecteurs. Les articles soumis doivent donc être auto-contenus et évaluables sans ce matériel supplémentaire.

Les soumissions parallèles dans d’autres conférences, journaux ou workshops avec actes ne sont pas autorisées.

Les membres du comité de programme sont autorisés à soumettre un article. Les présidents du comité ne le sont pas.

Les articles doivent être soumis via HotCRP.

L’évaluation des articles suit un processus en simple-aveugle : les relecteurs des articles sont anonymes, mais pas les auteurs.

Les articles acceptés seront publiés dans les actes de la conférence, sur HAL (portail institutionnel Inria), et les auteurs en donneront une présentation lors des journées. Les présentations seront, de préférence, données en français.

Delphine Demange et Adrien Guatto, JFLA 2024

In April, we started working on building an in-package search feature for OCaml packages on OCaml.org. We continued this effort through May, and we released the feature at the end of the month. In-package search is now accessible for every package on OCaml.org! :tada:

Note that this is the first, minimal version of the feature. We’re planning many improvements in the coming months, especially as the odoc team is currently working on adding search capabilities to odoc.

Relevant PRs and Activities:

• Fix incomplete search index ocaml-doc/voodoo#59
• Integrate experimental in-browser search ocaml/ocaml.org#1165
• Get community feedback for the minimal prototype of in-package search on Discuss

We approved and merged numerous changes, including serving OCaml.org’s static assets under cache-busting URLs, refactorings for better code health, and scraping OCaml Planet feeds individually. A big thank you to the contributors!

We initiated work on a design system for OCaml.org, emphasising buttons, dropdowns, and typography. As part of this work, we invested time researching potential improvements to our CSS, including a potential migration from Tailwind to UnoCSS for better custom rules support. We opened an issue with UnoCSS to explore options for a standalone CLI and have begun to create Dream components for UI elements that occur repeatedly.

We began working on adding tags to facilitate blog search and added several RSS feeds from the old OCaml Planet to the OCaml blog. As a consequence, we had to address issues relating to these new RSS sources.

Relevant PRs and Activities:

• Bugfixes:
  • Close form tag in changelog.eml ocaml/ocaml.org#1155
  • Install page: only distinguish between Windows and everything else; fix wrong default selection ocaml/ocaml.org#1191
• Data:
  • Bump Ahrefs job, as it’s still relevant ocaml/ocaml.org#1168
• By External Contributors:
  • Use OCamlorg_static.Media.url for media ocaml/ocaml.org#1163
  • Add O(1) labs in Industrial User page ocaml/ocaml.org#1180
• OCaml Planet:
  • Add Signal and Threads as an RSS source ocaml/ocaml.org#1197
  • Fix RSS sources filename ocaml/ocaml.org#1198
  • Create RSS feed planet folder, if missing ocaml/ocaml.org#1200
  • Add Archives of OCaml Weekly News to /blog ocaml/ocaml.org#1201
  • Fix scraping path management ocaml/ocaml.org#1204
  • Add Caml Weekly News RSS feed ocaml/ocaml.org#1207
  • Add Signal and Threads RSS feed ocaml/ocaml.org#1209
  • Add emelle.tv RSS feed ocaml/ocaml.org#1217
  • Add ocaml.org hand-picked RSS feed ocaml/ocaml.org#1218
• Other:
  • Serve dashboard assets from file system ocaml/ocaml.org#1167