abobla@lemm.ee to Programming@programming.devEnglish · 3 years agoDeath by a thousand microservicesrenegadeotter.comexternal-linkmessage-square21linkfedilinkarrow-up1121arrow-down15cross-posted to: technews@radiation.party
arrow-up1116arrow-down1external-linkDeath by a thousand microservicesrenegadeotter.comabobla@lemm.ee to Programming@programming.devEnglish · 3 years agomessage-square21linkfedilinkcross-posted to: technews@radiation.party
minus-squarekSPvhmTOlwvMd7Y7E@programming.devlinkfedilinkarrow-up4·3 years 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