You know how you sometimes want to review something that is not a book but doing so on a public #bookwyrm instance feels wrong?

Well, now you can do it with a tool designed for reviews of arbitrary units of media with #annexwyrm.

It's written by #ClaudeCode in #KokaLang, serving behind #Caddy, project-managed by yours truly — https://github.com/cognivore/annexwyrm

Example of me reviewing a design document of a #magicthegathering #cube I played the other day —

https://wyrm.fere.me/items/89fa00bd2da5f777e2ce7ca8

(It was a great cube)

Effect handlers in koka -

Structures de contrôle : de « goto » aux effets algébriques (14) - Xavier Leroy (2023-2024) - YouTube
https://m.youtube.com/watch?v=A8dpmhXdjyw

#plt #kokalang #fp

Looking at #KokaLang and it’s #effect system, this seems similar to what you would write in C++ if you strictly followed the dependency injection way of life. Any function which needs to do console/io/communicate with any module gets a class with all the corresponding methods overloaded. With (stackful) coroutines, you could even implement return().

Is there something that I’m missing here about the utility of effect systems, or is viewing it as nice syntactic sugar around dependency injection a reasonable approximation?

(The functional-but-in-place and optimized reference counting in #koka are still cool though.)

#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.html

Anyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?