dogsoahC@lemm.ee to ich_iel@feddit.org · 1 month agoich1ielfiles.catbox.moeimagemessage-square21fedilinkarrow-up1117arrow-down11
arrow-up1116arrow-down1imageich1ielfiles.catbox.moedogsoahC@lemm.ee to ich_iel@feddit.org · 1 month agomessage-square21fedilink
minus-square5714@lemmy.dbzer0.comlinkfedilinkarrow-up18·1 month 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·1 month agoHmmm sprich schmutzig mit mir darüber Laufzeitinvarianten im Typensystem abzubilden
minus-squarereinei@lemmy.worldlinkfedilinkarrow-up5·1 month 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!