• Liked KC Sivaramakrishnan

    Build Your Own Effects

    KC Sivaramakrishnan
    KC Sivaramakrishnan
    schedule 1 year ago
    Sold Out!
    45 mins

    Most practical programming languages include ways of performing various non-functional effects, such as exceptions, generators, dynamic binding and concurrency. Languages typically offer ways for programmers to define new functions, new types, and sometimes even new syntax, but the set of available effects is usually baked into the language and cannot be extended within programs.

    In this talk I'll show how a single language construct in OCaml, the effect handler, makes it possible to define all the above effects and more within a program, transferring power from language designers to language users. In particular, I will talk about how effect handlers allow expressing custom concurrency primitives for Multicore OCaml

Sorry, no proposals found under this section.