2 ms·
I think there is a misunderstanding on your side. You seem to mix up the soundness of the type-system with the property of referential transparency. Those are t
by valenterry 2y ago
I think there is a misunderstanding on your side. You seem to mix up the soundness of the type-system with the property of referential transparency. Those are two orthogonal things.