3 ms·

I think the requirement would be purity not static types, but I agree with your overall objection. (Then again, you need static types if you want to have pure

by mrkeen 3y ago

I think the requirement would be purity not static types, but I agree with your overall objection. (Then again, you need static types if you want to have pure functions, IO functions, and not mix them up)

kagevf 3y ago
> I think the requirement would be purity Well, yeah, I think if I had instead said "if not static typing, then how would it be possible?" ... I had no idea how it could be done, but with something like purity - by which we mean deterministic functions, right? - I can at least start to see how it would be possible with Scheme.