Portal de Periódicos da CAPES

Session-ocaml: A Session-Based Library with Polarities and Lenses

2017; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-319-59746-1_6

1611-3349

Keigo Imai, Nobuko Yoshida, Shoji Yuen,

Parallel Computing and Optimization Techniques

We propose session-ocaml, a novel library for session-typed concurrent/distributed programming in OCaml. Our technique solely relies on parametric polymorphism, which can encode core session type structures with strong static guarantees. Our key ideas are: (1) polarised session types, which give an alternative formulation of duality enabling OCaml to automatically infer an appropriate session type in a session with a reasonable notational overhead; and (2) a parameterised monad with a data structure called ‘slots’ manipulated with lenses, which can statically enforce session linearity and delegations. We show applications of session-ocaml including a travel agency usecase and an SMTP protocol.