OCaml Weekly News

Previous Week<= /a> Up Next Week

Hello

Here is the latest OCaml Weekly News, for the week of September 10 to 17, 2= 024.

Ptime 1.2.0 =E2=80=93 Mtime 2.1.0 =E2=80=93 Qrc 0.2.0

Ptime 1.2.0 =E2=80=93 Mtime 2.1.0 =E2=80=93 Qrc 0.2.0

Archive: https://discuss.ocaml.org/t/ann-ptime-1-2-0-mtime-2-1-0= -qrc-0-2-0/15268/1

Daniel B=C3=BCnzli announced

There are new releases of these packages:

Ptime POSIX time fo= r OCaml, release notes, docs
Mtime Monotonic tim= e for OCaml, release notes, docs
Qrc QR code encoder f= or OCaml, release notes, docs

See the individual release notes for details about the changes.

The library structure of Ptime and Mtime was changed to align it on the myt= hical library convention and make it for less surprising names (it used to = make sense, it no longer does):

The {M,P}time_clock modules are now in the {p,m}time= .clock libraries as they should be. These libraries were also made t= o export the base {p,m}time library so tha= t you can trim you requires when you use the clocks.
The libraries {p,m}time.clock.os are deprecated. They now = simply export {p,m}time.clock and warn on usage.

Best and a big thanks to my donors

Unicode 16.0.0 update for Uucd, Uucp, Uunf and Uuseg

Archive: https://discuss.ocaml.org/t/ann-unicod= e-16-0-0-update-for-uucd-uucp-uunf-and-uuseg/15270/1

Daniel B=C3=BCnzli announced

Unicode 16.0.0 was released on September 10th. It adds 5185 new characters = for a total of 154'998 characters.

If you are into retrocomputing or terminal graphics this may be your ultima= te chance to find an odd character to make an effect among the 686 new symb= ols for legacy computing that are added =E2=80=93 I'm hearing this may = me be the last batch, the resource is finite! See the annou= ncement page for links to all the other equally interesting additions.

If you are obsessed about deep linking into standard definitions, note that= the normative core specification becomes a proper HTML document; rather tha= n a bunch of PDF files or that 1400 pages hard-copy I once purchased for 5.= 0.0 circa 2007 :=E2=80=93). The neat result is that we can now precisely hy= perlink to the normative definition of an OCaml Uchar.t= value.

Accordingly these libraries had to be updated (aggregated, boring, release = notes here<= /a>)

Uucd 16.0.0 Unicode c= haracter database decoder for OCaml, docs
Uucp 16.0.0 Unicode c= haracter properties for OCaml, docs
Uunf 16.0.0 Unicode t= ext normalization for OCaml, docs
Uuseg 16.0.0 Unicode= text segmentation for OCaml, docs

Both Uucd and Uucp are incompatible releases sinc= es new block and script enumerants were added.

Other than that the minimal Unicode introduction and Unicode OCaml tips is = still here<= /a> and remember that despite the uninformed myths OCaml :heart: Unicode.

A big thanks for funding from the OCaml So= ftware Foundation and from my faithful donors.

Outreachy Demo Presentation

Archive: https://discuss.ocaml.org/t/outreachy-demo-presentation/15189/4

Patrick Ferris announced

The demo presentation video is now online: https://watch.ocaml.org/w/peT3MdWjS1BYYMbowEJ1= gv – thank you to everyone who joined and particularly the mento= rs, co-mentors and interns!

A big thank you also to Tarides and Jane Street for providing resources= and funding to make this round possible. A reminder that today is the last day to sign up to the next round –= Outreachy December 2024 Round!

Live Stream to follow OCaml Workshop, ML Workshop, and other t= alks at ICFP

Archive: https://discuss.ocam= l.org/t/live-stream-to-follow-ocaml-workshop-ml-workshop-and-other-talks-at= -icfp/15232/4

jbeckford announced

FYI: For people like me who were on vacation or otherwise unavailable, the = several hour Live Stream is still available.

The intro to the workshop and the first OCaml talk start at https://www.youtube.com/liv= e/OuQqblCxJ2Y?t=3D2254s.

DkML 2.1.2 and opam 2.2.0

Archive: https://discuss.ocaml.org/t/ann-dkml-2-1-2-and-opam-2-2-0/15187= /5

jbeckford announced

DkML 2.1.3 was released. The major changes are:

Upgraded from opam 2.2.0 to opam 2.2.1.
The ocaml/opam-repository tag was advanced to Sep 10, 2024.
bugfix: dk Ml.Switch init was broken on Linux and macOS. D= kML 2.1.2 had incorrectly pinned the dkml-host-abi and d= kml-target-abi of the master DkML build machine. https://gitlab.com/dkml/dis= tributions/dkml/-/issues/24
Allow prereleases of Visual Studio; requested at https://gitlab.com/dkml/distri= butions/dkml/-/issues/23.

Upgrading is:

winget remove dkml # Ignore "exit code: 4294967295"
winget install dkml

The full release notes are at https://gitlab.com/dkml/distributions/dkml/-/rel= eases/2.1.3.

store v0.1.0

Archive: h= ttps://discuss.ocaml.org/t/ann-store-v0-1-0/15274/1

Basile Cl=C3=A9ment announced

I would like to announce the first release of store (docs), a lib= rary providing a snapshottable bag of mutable references, an efficient data= -structure for back-tracking workloads.

To install it, type opam update && opam install store.

Store provides a simple API for capturing and restoring state as well as ea= sy-to-use high-level wrappers to automatically rollback changes on failure = (tentatively) or unconditionally (temporarily). I= t boasts almost-zero overhead when back-tracking is not used and best-in-cl= ass performance for back-tracking use cases.

The design and implementation of Store is described in the paper Snapshottable stores, which was given= a Distinguished Paper award at this year's ICFP in Milan. As recognized by= this award, the paper is well-written and easy to understand; please give = it a read if you are interested in either back-tracking workloads or subtle= data structure invariants!

I also want to give a shout-out to Fran=C3=A7ois Pottier's Monolith, which = proved invaluable during the development of Store to find and diagnose subt= le bugs.

Store was developed through collaboration between myself (Basile Cl=C3=A9me= nt) at OCamlPro and Gabriel Scherer at Inria, and the persistent interface = was formally verified by Cl=C3=A9ment Allain and Alexandre Moine at Inria.

Tsdl 1.1.0

Archive: htt= ps://discuss.ocaml.org/t/ann-tsdl-1-1-0/15275/1

Daniel B=C3=BCnzli announced

There's a new release of Tsd= l, thin bindings to the C SDL libra= ry. See the release notes for details.

Docs: online or= odig doc tsdl
Install: opam install tsdl

Daniel

A big thanks to my donors<= /a>.

OCaml-css 0.2.0

Archive: https://discuss.ocaml.org/t/ann-ocaml-css-0-2-0/15276/1

Zoggy announced

OCaml-css 0.2.0 is releas= ed and already available in opam (package css).=20

OCaml-css is a library to parse and print CSS. (docs)

Main changes are the introduction of property spaces and partial handling o= f nested rules.

Properties are now defined in spaces. A Css space is predefined, with some CSS properties, but you can define a new s= pace with specific properties to use the CSS syntax for these properties in= your application. (this is what is done in the to be not yet released 0.2.= 0 version of stk).

Nested style rules are now parsed and can be expanded. = Nested @-rules are not handled yet.

OCaml-stk 0.2.0 and Chamo 4.1.0

Archive: https://discuss.ocaml.org/t/ann-ocaml-stk-0-2-0-and-chamo= -4-1-0/15288/1

Zoggy announced

Stk

A new release of OCaml-stk, 0.2.0, is now available in opam (package stk).

OCaml-stk is a Graphical User Interface library based on on libSDL 2, through the Tsdl bindings.

As the library is under heavy development, this release includes many ch= anges: new widgets, better memory management, css-like theming, …

By cloning the repository<= /a> and running make, you can then run ./_build/default/= examples/examples.exe. This example application contains demonstrati= ons of each widget with the corresponding code in the same window.

Chamo

A new release of Chamo, 4.1.0= , is also available in opam (package chamo).

Chamo is a source code editor, even if it can be used to edit any text file= . It is based on OCaml-stk. This release contains small bug fixes and follo= ws changes in OCaml-stk.

DkCoder 2.1.3

Archive: = https://discuss.ocaml.org/t/ann-dkcoder-2-1-3/15295/1

jbeckford announced

I am happy to announce another release of DkCoder - a no-install OCaml-bas= ed scripting framework.

Major changes:

Split out the Java-like packaging and security tools into the MlFront p= roject: https://discuss.ocaml.org/t/ann-mlfront-a-java-= like-package-system-for-ocaml/15072.
The DkCoder and MlFront version numbers are now in sync with DkML versi= on numbers. However, DkCoder is still alpha and there is at l= east one breaking change coming.
Several third-party "Us" scripts are embedded and supported. (They are = listed at bottom of this post).

Docs: The main doc page is https://diskuv.com/dksdk/coder/2024-intro-scripting/. = But I don't yet have good reference docs. The samples below have been updat= ed and are good ways to see what DkCoder can do (use the V2_1 = branches):

There are many bug fixes and new features. The full list is at https://github.c= om/diskuv/dkcoder/blob/1.0/CHANGES.md#2132 - all the sections from 0.4.0.1 to 2.1.3.2 (inclusive) are new.

New "Us" scripts

These scripts can be run inside any of the sample projects above, or use= d as ordinary modules in your own DkCoder project source code. Some scripts= , but not all, have a --help option.

./dk DkFs_C99.Dir - Directory manipulation operations.
./dk DkFs_C99.File - (no help) File manipulation operations.
./dk DkFs_C99.Path - Path manipulation operations.
./dk DkNet_Std.Browser - Browser operations.
./dk DkNet_Std.Http - Download content.
./dk DkDev_Std.Legal.Record - Asks for and records your acceptance of legal=
 terms and agreements.
./dk DkDev_Std.Exec - Execute a command in the DkCoder 2.1 runtime environm=
ent.
./dk DkDev_Std.Export - Create an `exports` field inside dkproject.jsonc su=
mmarizing all the You libraries.
./dk DkDev_Std.Jsontree - (no help) For in-place edits of JSON files.
./dk DkStdRestApis_Gen.* - (no help) (unstable, not ready). OpenAPI 3 servi=
ce and client generator.

Other OCaml News

From the ocaml.org blog

Here are links from many OCaml blogs aggregated at the ocaml.org blog.

Old CWN

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a loo= k at the archive or the <= a href=3D"https://alan.petitepomme.net/cwn/cwn.rss">RSS feed of the archive= s.

If you also wish to receive it every week by mail, you may subscribe to the= caml-list.

Alan Schmitt

OCaml Weekly News

Table of Contents

Ptime 1.2.0 =E2=80=93 Mtime 2.1.0 =E2=80=93 Qrc 0.2.0

Daniel B=C3=BCnzli announced

Unicode 16.0.0 update for Uucd, Uucp, Uunf and Uuseg

Daniel B=C3=BCnzli announced

Outreachy Demo Presentation

Patrick Ferris announced

Live Stream to follow OCaml Workshop, ML Workshop, and other t= alks at ICFP

jbeckford announced

DkML 2.1.2 and opam 2.2.0

jbeckford announced

store v0.1.0

Basile Cl=C3=A9ment announced

Tsdl 1.1.0

Daniel B=C3=BCnzli announced

OCaml-css 0.2.0

Zoggy announced

OCaml-stk 0.2.0 and Chamo 4.1.0

Zoggy announced

Stk

Chamo

DkCoder 2.1.3

jbeckford announced

New "Us" scripts

Other OCaml News

From the ocaml.org blog

Old CWN