godot-haskell VS effectful

You could also check out the Haskell bindings to the Godot game engine. Although Godot has it's own scripting language which tends to be easier to use for simple game development. If you have complex game logic that you want to implement in Haskell, you could go this route.

Although godot-haskell might be a way to go with that? https://github.com/SimulaVR/godot-haskell

I want to be able to use the hypothetical_function in my Godot game. I see that there is a way to use Haskell with Godot, but the documentation focuses on how to bind Haskell to Godot classes and things like that, which is not exactly what I need. I just need to use a function that is not aware about Godot at all, and I can't quite figure out how to do that. What would be the easiest way to implement this?

I've recently taken to the godot-haskell bindings. They're updated often and having access to a full engine for graphics, sound, networking, etc. is very useful. That being said, the bindings are fairly heavy handed, but once you get used to it they're not that bad. Not sure about performance, but Godot has bindings for Rust, Python, CLR, and Kotlin that can be used in tandem if needed.

`let _ = putStrLn "d" in x` and have it not print it, unless `IO` wraps the computation in a lambda, which is quite suboptimal.

Hence, monads are not a replacement for effects, even if people are making things like https://github.com/haskell-effectful/effectful/.

For people unfamiliar with it, it's an extensible effects library that: - Is very fast (see benchmarks) when compared to other effect libraries and MTL as it's internally a ReaderT over IO. - Has flexible and easy to use API for higher order effects (similar to MonadUnliftIO). - Fixes subtle issues of popular monad transformers. - Makes it easy to integrate with the existing ecosystem of libraries.

The writeup of the issues with WriterT at https://github.com/haskell-effectful/effectful/blob/master/transformers.md is excellent, I would have much appreciated this 15-ish years back when I was stumbling through those problems and eventually settled on what everyone seems to settle on, which is restricted State. Though the transformers/mtl docs seem much improved from the old days, if they just linked to that description it have made so much clearer to me. The concrete examples with memory use make it very clear.

This leaves effectful. I should look into it. Did you try it yourself?

I've been aware of these problems for some time from reading the eff issue tracker and in effectful I've chosen to "solve" them by simply not supporting effects such as NonDet/Coroutine, which makes the whole library much easier to reason about.

Sounds good! Perhaps also take a look at the WIP effectful library which has similar goals.

On ZuriHac there was also effectful which looks promising and got some interest. It doesn't need ghc updates and makes other tradeoffs. I must say I haven't looked into it deeply, so can't really tell more about it.