Viewing profile — george_____t

> I don't understand why Zig's `Io` is a "monad". I don't see how it's true in any meaningful sense. It seems about the same as stating that any function is an example of the reade…

Possible thanks to GHC's new WebAssembly backend.

Just to add some context, Strudel is TidalCycles ported from Haskell to JS. IMO, Haskell is a much nicer language for this stuff. Hopefully, now that GHC can output WebAssembly, so…

> even python might be too far from the CPU to be a good introduction to computing That depends on what one considers to be the best way to introduce computing. I personally think …

> AIUI, in this case, the major issue is that it is very tempting to try to impose a constraint that all intermediate states the code passes through are semantically valid. However…

It's quite frustrating to use a language that's so close to Haskell, but without being able to use all the libraries you're used to. And I think now that Haskell's own story for we…

What's impractical about Haskell?

It has been rapidly improving over the last few years, though this can mean it's difficult to keep up. HLS (the LSP implementation) in particular is a pretty young project, and key…

It's listed after Cabal as an "alternative", so a lot of people will presumably ignore it if they don't see any reason why they'd want anything else. I personally wish that page we…

Python isn't the best language for exploring this sort of thing, by the author's own admission.

That Haskell forum is newish and isn't used much. There's more discussion on r/haskell.