Tonight I had strange dreams about state monads...
I currently have some waiting time at work, and am now trying to change some things in my #RustLang #SpareTimeProject, as I would like to try using a State Monad Transformer together with a Free Monad. I don't think that this combination is going to work for what I am trying to achieve, but after tonight I just have to try it.
And I must say, I already miss the #Lean4 Syntax. Rust is just sooooo verbose when it comes to nested generics...
And it compiles now.
My waiting time at work is over, and I haven't had a chance to try it yet, but as usual with #RustLang, if it compiles there are high chances that it actually works too.
(Again something I miss from Lean4. If you set up strict enough invariants in Lean, you can be certain that the code works if it only compiles...)
To my surprise, the idea I had last night is actually working just fine in #RustLang.
So, my #VisualNovel #SpareTimeProject is now probably going to use an #eDSL encoded as a #FreeMonad which is wrapped in a #StateMonadTransformer.
Now I just need to continue working on it. I haven't made much progress in the last 9 months...
Andreas Grois