Next priority for OCaml?

[ELLIOTTCABLE]

@gasche

• Type system for effects: I have decided to setup an informal working group for people interested in working on this (mostly academics, also Jane Street) to exchange information, and in particular to decide a common set of evaluation criteria – with compatibility with existing non-effect-using OCaml code as a top priority. I hope to announce something more structured next September, with the aim of getting a clearer idea of potential design proposals by the end of the academic years.

Edit: Split this out into its own thread, actually:

What *sort* of mathematical foundations are required to contribute to the research on modular implicits, typed effects, and the like?

Splitting off from this thread, which is getting a bit off-topic … I’m “just” a dayjobber, but I have some meaningful experience with compilers and typesystems. Unfortunately, I have little-to-no solid mathematical background. (Failed out of Discrete a decade ago. :P) I’ve been thinking a lot (last year or two) about ‘fixing’ that — picking up some of the mathematical background that I missed, ‘leveling up’ to properly follow the talks and papers I read on type-theory (and typechecker-impleme…