3 ms·
>we have the identity function of type A → A (which reads a value as input and outputs the same value) That only exists in theoretical computer science. In rea
by mrob 1mo ago
>we have the identity function of type A → A (which reads a value as input and outputs the same value)
That only exists in theoretical computer science. In real computer programming, you always have some bounds to the value of A.
- pdhborges 1mo agoI think it is time to repost Against Curry-Howard Mysticism (https://liamoc.net/forest/loc-000S/index.xml https://liamoc.net/forest/loc-000S/index.xml)