@maralorn Se essentially you are saying https://xkcd.com/1312/ ? :D
@philipp @maralorn and yet it's earning money ...
@zeri A side effect that code can have without even being run! 🤯 (Not sure how to represent that in the type system. Maybe not even monads are sufficient for that.)
@philipp @maralorn
@philipp @maralorn and yet it's earning money ...