And now we start the second session of the workshop that is devoted to OCaml Applications. The first talk, “A Simple State-Machine Framework for Property-Based Testing in OCaml”
And the next talk in the session is presented by Tom Ridge (@thomas_ridge), “The ImpFS filesystem.”
We also have the BiliBili mirror of all the talks!
OK, its time for some math, get ready for the next talk by Markus Mottl (@mmottl) “AD-OCaml: Algorithmic Differentiation for OCaml”. The talk has French subtitles, thanks to the hard work by Enzo Crance.
Our third session is dedicated to OCaml experience. The first talk is about the smart contract language1 SmartPy which uses OCaml underneath the hood. It will be presented by Sebastien Mondet (@smondet) and the talk title is “OCaml Under The Hood: SmartPy”.
1)a library in fact
The next talk describes the challenges of expressing OCaml in SDF3, named Declarative Syntax Definition for OCaml.
And the next talk is about bringing the virtues of the dynamically typed languages to statically typed OCaml. The talk is presented by Patrick Keller and is titled “LexiFi Runtime Types”
And the next and the final talk of the Workshop is is presented by Paul Steckler and is titled “Types in amber”.
This is not the end of the workshop however, after a short break we will reconcile in the Recitation Session and repeat the first session, along with the keynote speech, for those who weren’t able to join us on the first time slot (i.e., if it was too early or too late in your time zone)
The recitation starts in five minutes, and we will be revisiting the first five talks, including the keynote talk. Please join us with questions and comments. Post them here or on the youtube channel, or in clowdr/zoom if you’re in the conference right now.
And there is currently a repeat of “API migration: compare transformed” happening, with Zoom chat and questions about it in about five minutes.
And here comes the repeat of the OCaml-CI : A Zero-configuration talk, by @talex5 :
Please welcome the next presenter, if you haven’t already, with the talk titled, “The final pieces of the OCaml documentation puzzle”
And now really the final and closing talk of our workshop, which will teach you about Parallelising your OCaml Code with Multicore OCaml
Is there a page linking to all the videos? I would like to include it in the next OCaml Weekly News.
I know it is OT, sorry, but how/where can I find the OCaml Weekly News?
I’ll take this chance to thank @ivg and all the other people that contributed to the workshop, it was very enjoyable and informative!
Unless face surgery made huge progress recently, I think Sébastien Mondet is presenting the work on SmartPy
Indeed! That was a great talk and definitely not by me: I had missed my mention there
Ahaha, shame on me) The posting is corrected.