dogsoahC@lemm.ee to ich_iel@feddit.org · 15 days agoich1ielfiles.catbox.moeexternal-linkmessage-square21fedilinkarrow-up1120arrow-down11
arrow-up1119arrow-down1external-linkich1ielfiles.catbox.moedogsoahC@lemm.ee to ich_iel@feddit.org · 15 days agomessage-square21fedilink
minus-square5714@lemmy.dbzer0.comlinkfedilinkarrow-up18·15 days 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-up9·15 days agoHmmm sprich schmutzig mit mir darüber Laufzeitinvarianten im Typensystem abzubilden
minus-squarereinei@lemmy.worldlinkfedilinkarrow-up5·15 days 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!