abobla ( abobla@lemm.ee ) to Programming@programming.devEnglish · 3 years agoDeath by a thousand microservicesrenegadeotter.comexternal-linkmessage-square9linkfedilinkarrow-up169cross-posted to: technews@radiation.partyhackernews@derp.foo
arrow-up169external-linkDeath by a thousand microservicesrenegadeotter.comabobla ( abobla@lemm.ee ) to Programming@programming.devEnglish · 3 years agomessage-square9linkfedilinkcross-posted to: technews@radiation.partyhackernews@derp.foo
minus-squarekSPvhmTOlwvMd7Y7E ( kSPvhmTOlwvMd7Y7E@programming.dev ) linkfedilinkarrow-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