Johan Lindskogen (Dec 01 2023 at 12:33): Johan Lindskogen (Dec 01 2023 at 12:33):I was watching the talk "Pushing Boundaries with Roc", at https://youtu.be/9f12S001TGQ?si=lEpPhmSB3QdvL1Z2&t=2729 he is annotating the function with [Net, Env, Write] - some kind of typing for side effects. Was that syntax scrapped or has that not been implemented yet?
Richard Feldman (Dec 01 2023 at 12:36):it turned out there was a better design than that! The module params proposal has (lots of) details - the doc refers to the design in that talk as "3-arg Task"
Richard Feldman (Dec 01 2023 at 12:36):work has started to implement that proposal but it's a substantial project and won't be done soon :big_smile:
Johan Lindskogen (Dec 01 2023 at 12:42):A bit of both then :wink: thank you for the quick reply!
Richard Feldman (Dec 01 2023 at 12:50):sure, thanks for the question!
Last updated: Jul 06 2025 at 12:14 UTC