Sounio-lang/sounio: v0.15.0 - Algebraic Effects System

Read full text
Authors: Demetrios Chiuratto Agourakis
Cited by: 0

Abstract

Algebraic Effects Comprehensive effect system with continuation support. Effect Handlers IO, Mut, Alloc, Panic Async, Prob, Div, GPU Epistemic, Network, Sensor, Exception Example ```sio fn read_file(path: string) -> string with IO, Panic { // effects are tracked and handled } fn simulate() -> f64 with Prob, Alloc { // probabilistic effects } ``` Features Effect dispatch in interpreter + JIT Row polymorphism support Effect variable infrastructure

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
8 January 2026