abobla@lemm.ee to Programming@programming.devEnglish · 1 year agoDeath by a thousand microservicesrenegadeotter.comexternal-linkmessage-square14fedilinkarrow-up187arrow-down13
arrow-up184arrow-down1external-linkDeath by a thousand microservicesrenegadeotter.comabobla@lemm.ee to Programming@programming.devEnglish · 1 year agomessage-square14fedilink
minus-squarekSPvhmTOlwvMd7Y7E@programming.devlinkfedilinkarrow-up1·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