Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

This reminds me of the Flix programming language [1], which has annotated effects like so:

def main(): Unit \ { Clock, Http, Logger, IO } = ...

[1] https://flix.dev/



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: