search

ocaml-multicore / effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml
ISC License
417 stars 35 forks source link

Refactor files [state.ml] and [ref.ml]. #31

Closed DeVilhena-Paulo closed 1 year ago

DeVilhena-Paulo commented 1 year ago

The main changes are

  1. The decoupling of the implementation of references from the implementation of state, thus simplifying the file [ref.ml]

  2. The reintroduction of the implementation of references using first-class modules (a suggestion from Daniel Hillerström)

The decoupling of references from state is inspired from Ningning Xie, Youyou Cong and Daan Leijen's paper "First-class Named Handlers" (HOPE'21).

kayceesrk commented 1 year ago

I think the changes are ok. @dhil what do you think?

kayceesrk commented 1 year ago

CI just looks busted. I'll go ahead and merge this one. Thanks for the contribution and the review!

DeVilhena-Paulo commented 1 year ago

Many thanks to you both as well!