Collision of type theory and computability theory.
Document: Why parameter validation in general is inevitable despite exact type specification to fully control code correctness
I thank you for a single donation: https://buymeacoffee.com/datyofficial
Contact me: davidlaczkoo@gmail.com