This is a bit of a naive question, but has there been any work on detecting whether code is pure or not? For example, I suspect typed racket may have looked into this (based on these plans: https://github.com/racket/racket/wiki/Typed-Racket-plans)

My question stems from the fact that we have a library that is safe for sure if you’re using it with pure functions but potentially unsafe if you’re using it with impure code. I think the answer is that this probably hasn’t been looked at, which is fine, just figured it was worth asking :slightly_smiling_face: