@[email protected] to [email protected] • 1 month agoich1ielfiles.catbox.moeimagemessage-square21fedilinkarrow-up1120arrow-down11
arrow-up1119arrow-down1imageich1ielfiles.catbox.moe@[email protected] to [email protected] • 1 month agomessage-square21fedilink
minus-square@[email protected]linkfedilink18•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-square@[email protected]linkfedilinkEnglish9•1 month agoHmmm sprich schmutzig mit mir darüber Laufzeitinvarianten im Typensystem abzubilden
minus-square@reineilink5•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!