5 ms·
Curious if anyone can weigh in on why Flix requires a developer to explicitly mark a function as pure. I'd imagine in almost all cases this can be derived throu
by remon 1y ago
Curious if anyone can weigh in on why Flix requires a developer to explicitly mark a function as pure. I'd imagine in almost all cases this can be derived through static analysis.
- zambal 1y agoI could be wrong, but the sentence "Flix precisely tracks the purity of every expression in a program." together with some examples of function definitions without the purity/impurity annotation, gave me the impression it's optional, because the compiler can infer it on its own most of the time.
- teamonkey 1y agoI think if you mark a function as pure the compiler guarantees that this is indeed the case.
- mrkeen 1y agoJust like const, private and static.