5 Nov
2008
5 Nov
'08
11:18 a.m.
Jason Dusek wrote:
Though that seems reasonable, it is not, in general, true. For example, System.Info.os is generally treated as pure, though it is not. It's not clear to me how to disambiguate these "born again" values from really pure values.
It seems to me no one addressed your actual point. System.Info is broken. "os" has the wrong type. Sorry about that. There is quite a lot of brokenness in the standard libs which stops pure functions being pure. It's a shame IMO. Jules