Are there any conventions used in F# to highlight functions that are pure vs having side effects?
I've seen that there is a Pure attribute in the Contracts namespace; but this looks to be a helper for CodeContracts. Do people even bother trying to highlight pure functions in F#?