Sorry, I know this litany of questions is annoying, but they are why this sort of thing isn’t so simple. It’s much more reasonable in Fortran since it is a static language with a separate type checking and compilation phase which is a natural time for the purity checking to happen. It is also a language without multimethods or dynamic dispatch, so any time a function call occurs, there is only one statically knowable function that can be called.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Discussion on Base.@pure usage | 23 | 2519 | March 12, 2021 | |
| Extending methods of pure function | 7 | 1195 | December 20, 2018 | |
| @pure macro | 9 | 7685 | June 5, 2021 | |
| Is there a way to tell if a method is pure? | 3 | 1139 | February 28, 2017 | |
| Marking more standard library methods as pure to enable LLVM optimizations? | 11 | 1655 | September 17, 2019 |