Schlagwort: Programmieren

Oh my tab.

elm-format issue #158: Notes on 4-space vs 2-space

Stynamic Hype.

A static type system is a mechanism by which a compiler examines source code and assigns labels (called “types”) to pieces of the syntax, and then uses them to infer something about the program’s behavior. A dynamic type system is a mechanism by which a compiler generates code to keep track of the sort of data (coincidentally, also called its “type”) used by the program. The use of the same word “type” in each of these two systems is, of course, not really entirely coincidental; yet it is best understood as having a sort of weak historical significance. Great confusion results from trying to find a world view in which “type” really means the same thing in both systems.

Chris Smith: What To Know Before Debating Type Systems

Superwahlplus 23.0.

Die Bananen-Software mit der heute gewählt wird heißt ab sofort Twix, ansonsten ändert sich (vermutlich) nix.

Meihrnfach.

This module isn't called "Simple" because it's simple. Far from it. It's called "Simple" because it does complicated things to simple software.

documentation of Distribution.Simple

Sleeptax Error.

By comparing the two groups of participants, we found that a single night of sleep deprivation leads to a reduction of 50% in the quality of the implementations. There is important evidence that the developers' engagement and their prowess to apply TFD are negatively impacted. Our results also show that sleep-deprived developers make more fixes to syntactic mistakes in the source code.

Davide Fucci, Giuseppe Scanniello, Simone Romano, Natalia Juristo: Need for Sleep: the Impact of a Night of Sleep Deprivation on Novice Developers' Performance