4 ms·
I would love something like this where to write a function with side effects I'd have to annotate it as such. Then the compiler could recursively understand wh
by vendiddy 2y ago
I would love something like this where to write a function with side effects I'd have to annotate it as such.
Then the compiler could recursively understand whether any given function is pure.
- cryptoxchange 2y agoThe solidity language for smart contracts works like this.
- mrkeen 2y agoI write code like this every day in Haskell.