dogsoahC@lemm.ee to ich_iel · 19 hours agoich1ielfiles.catbox.moeimagemessage-square20fedilinkarrow-up199arrow-down11
arrow-up198arrow-down1imageich1ielfiles.catbox.moedogsoahC@lemm.ee to ich_iel · 19 hours agomessage-square20fedilink
minus-square5714@lemmy.dbzer0.comlinkfedilinkarrow-up16·13 hours 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-squarejenesaisquoilinkfedilinkEnglisharrow-up8·8 hours agoHmmm sprich schmutzig mit mir darüber Laufzeitinvarianten im Typensystem abzubilden
minus-squarereinei@lemmy.worldlinkfedilinkarrow-up4·8 hours 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!