dogsoahC@lemm.ee to ich_iel@feddit.org · 2 years agoich1ielfiles.catbox.moeexternal-linkmessage-square21linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkich1ielfiles.catbox.moedogsoahC@lemm.ee to ich_iel@feddit.org · 2 years agomessage-square21linkfedilink
minus-square5714@lemmy.dbzer0.comlinkfedilinkarrow-up0·2 years agoDas Kilogramm ist genormt, die dt. Sprache ist dagegen kaum typisiert, geschweige denn typensicher (liegt auch manchmal an den Typen). Wenn ich noch 1 mal Typen schreibe, bekomme ich 1 Typhus.
minus-squarejenesaisquoi@feddit.orglinkfedilinkEnglisharrow-up0·2 years agoHmmm sprich schmutzig mit mir darüber Laufzeitinvarianten im Typensystem abzubilden
minus-squarereinei@lemmy.worldlinkfedilinkarrow-up0·2 years agoUhh jaa… Und jetzt verrate mir die Geheimnisse um Berechnungen bereits bei der Übersetzung im Typensystem auszuführen!
Das Kilogramm ist genormt, die dt. Sprache ist dagegen kaum typisiert, geschweige denn typensicher (liegt auch manchmal an den Typen). Wenn ich noch 1 mal Typen schreibe, bekomme ich 1 Typhus.
Hmmm sprich schmutzig mit mir darüber Laufzeitinvarianten im Typensystem abzubilden
Uhh jaa… Und jetzt verrate mir die Geheimnisse um Berechnungen bereits bei der Übersetzung im Typensystem auszuführen!