3 ms·
I think you are referring to concrete/mainstream languages - so what you are writing is correct from a practical perspective, i.e. I would do that. From a theor
by valenterry 6y ago
I think you are referring to concrete/mainstream languages - so what you are writing is correct from a practical perspective, i.e. I would do that. From a theoretical perspective however it is not necessary, even if such a type-system might not exist yet.
- dnautics 6y agoYou can retreat to your corner of theory if you wish, I'll actually build stuff. The real world has scary things like malicious actors that will send payloads designed to break your system through side channels like timing and cosmic rays that can flip bits on your disk and erase the guarantees that you believed you had in your type system.
- qsort 6y agoYou are being needlessly antagonistic. On HN of all places we should know that research in type theory isn't purely academic navel gazing.
- valenterry 6y agoIsn't it great that we have both theory and practice and both impact each other? Makes our profession so much more fun! :)