Post #2278874
2026-05-07 11:05 UTC
@Andrev@types.pl It's at least not expected coming from haskell, where unsafePerformIO performs IO, even in interactive. Perhaps the idris version should be renamed to unsafeBuildFreeSyntaxButDoNotPerformIO
Replies (1)
-
@Andrev@types.pl 2026-05-07 11:49
@julesh@mathstodon.xyz haskell is performing a hack detecting a value of type IO and then executing it in IO, instead of returning the value like it would do for every other expression. Definitely a REPL UX problem