Andreas Abel
Andreas Abel
Churn caused on Agda: - https://github.com/agda/agda/pull/8041
I can see one would want a warning when _manually_ defining a `NFData` instance and calling `rnf` on a function. But deriving the instance from `Generic` should do the sensible...
> We want to avoid thunks in data structures, and generic instances that permit functions allow people to accidentally do allow thunks. Why don't you want to leave this choice...
> So it's not possible to normalize the functions? Fine, they don't get an `NFData` instance then. They are already in normal form, so this is why the identity is...
Thanks for the detailed explanation, @int-index ! I guess it boils down on whether you expect that `rnf` distributes over function application, i.e., whether `rnf (f s) = rnf f...
> Would a suitable alternative for you be a generic deriving newtype that skips rnf'ing functions? What is exactly meant by "generic deriving newtype"?