[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 0cbcc62: 'assoc' is not side-effect-free; constprop its pure
|
From: |
Mattias Engdegård |
|
Subject: |
Re: master 0cbcc62: 'assoc' is not side-effect-free; constprop its pure subset |
|
Date: |
Sun, 1 Nov 2020 10:39:33 +0100 |
31 okt. 2020 kl. 16.06 skrev Stefan Monnier <monnier@iro.umontreal.ca>:
> Oh, indeed: nasty. `assoc` *was* side-effect-free until it grew its new
> `testfn` argument.
We do have a number of functions that are pure or side-effect-free unless given
certain arguments. I suppose we could design a system that encompasses these
cases. Certainly wouldn't mind algebraic effect types!
- Re: master 0cbcc62: 'assoc' is not side-effect-free; constprop its pure subset,
Mattias Engdegård <=