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.
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.
Thanks a lot for the link!
They are online at http://alan.petitepomme.net/cwn/. Youâll find links for RSS or mail subscription there as well.