search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
226 stars 11 forks source link

Add Prog example for effectful programs #1234

Closed johnynek closed 4 weeks ago

johnynek commented 1 month ago

The Prog type here is based on the scala implementation of ToyIO in this PR:

https://github.com/johnynek/bosatsu/pull/1162

The idea was to write that type where I have the compiler to help, then port it to a python loop.