abobla@lemm.ee to Programming@programming.devEnglish · 1 year agoDeath by a thousand microservicesrenegadeotter.comexternal-linkmessage-square21fedilinkarrow-up1121arrow-down15cross-posted to: [email protected][email protected][email protected]
arrow-up1116arrow-down1external-linkDeath by a thousand microservicesrenegadeotter.comabobla@lemm.ee to Programming@programming.devEnglish · 1 year agomessage-square21fedilinkcross-posted to: [email protected][email protected][email protected]
minus-squarekSPvhmTOlwvMd7Y7E@programming.devlinkfedilinkarrow-up4·1 year agoYour last question is equivalent to : why there so many math theories? Can’t we just reuse the old ones? New language appear as a natural product from research in type theory for ex
Your last question is equivalent to : why there so many math theories? Can’t we just reuse the old ones?
New language appear as a natural product from research in type theory for ex