Stephen Tetley

We get the same error trying to introduce the logging level API. We can define functions like `fatal` but get a error trying to call them - e.g. in `logExample`:...

Thanks Magnus, do you want me to make a draft PR of the work so far then it doesn't get lost? The real implementation (rather than the examples above) uses...

Okay, will do.

Draft PR #7134 adds Logger effect and quite a bit of the API. No tests yet and currently crashing.

The Logger module is now working and documented. Tests are limited, suggestions for further ones are welcome.

MPTCs make representing syntax in the "Final Tagless" style much more convenient as you can have multi-sorted syntax - see Section 5.1 of the paper below which actual uses Object...

Could we follow `checked_cast` etc. and have two word, snake case keywords? > import java_constructor java.io.File(String): ##java.io.File \ IO as newFile; > import java_field_getter flix.test.TestClass.boolField: Bool \ IO as getField;...

Here's the `yield` effect from the Koka book if you want to add it. I ported yesterday - yielding uses a condition so it can exit early if required. https://koka-lang.github.io/koka/doc/book.html#why-handlers...

Now has tests, including ones using a region effect. I'm not sure we can (easily) simplify the classes with associated types, so we might be left needing the fixed order...

Thanks Magnus, I wonder if we will need just three graded monads once we have user defined effect handlers? The three being - one simple CPS / codensity without errors,...