Arturicchio poco fa 🙂 #FediCats
Uncategorized
1
Posts
1
Posters
12
Views
-
Arturicchio poco fa 🙂
-
undefined oblomov@sociale.network shared this topic on
Feed RSS
Gli ultimi otto messaggi ricevuti dalla Federazione
-
Bureaucracy is friction and in the right measure it's actually good. The hard part is finding the right measure, or at least the right tooling to account for it (e.g. rather than making it possible to skip declaring types, make the inference logic available to editors who can thus reduce the user effort to fill in the stuff)
-
@aeva hehe.
LRDL has strong types but also relational inference. you can leave out types for the most part and it figures it out. that makes it much easier to write a valid program by accident.
it's the bureaucracy that murders flow. making you restate information that is obvious. good as a guard, but not every door inside a home needs a padlock. the C(++) folks eventually gave in and added auto. not that it would ever be enough.
-
Vado a finire di montare il disco.
Ma prima bisogna accendere il fuoco.
Benon.
-
anyways that got me wondering if the worth of a strongly typed language is that it is simply hard to write a valid program on accident, and nothing else
-
Si parla sempre male dei tifosi del #calcio come se fosse lo sport a renderli devianti. Invece, semplicemente, essendo più numerosi, rappresentano meglio una parte d'Italia che esiste ed è in numero crescente. E si potrebbe aggiungere la probabilità statistica che gli animali protagonisti di quest'episodio hanno di avere accanto a loro una venticinquenne con quel fisico. Malual, razzismo in Pinerolo-Macerata di #volley: lo sfogo social dell'azzurra | Gazzetta.it https://www.gazzetta.it/Volley/21-12-2025/malual-razzismo-in-pinerolo-macerata-di-volley-lo-sfogo-social-dell-azzurra.shtml
-
This is wonderful affordance is made possible by having control over the editor environment and not making it a text based language.
I was thinking about this earlier when a typo in C++ resulted in a valid program that did not do what I wanted, where I wrote:
double Fnord = ReturnsDoubleRef();
instead of
double& Fnord = ReturnsDoubleRef();
and how in a sense this is a similar property (though C++ doesn't strive to be error free), and how in this case it is not a positive quality
-
@aeva A workout *lightning strikes* OF THE MIIIND!!!1
-
One of my goals for #mollytime is to avoid introducing a concept of errors into the language. Every patch that is possible to construct (so far) is a valid patch. Mollytime will not let you construct an invalid patch and then tell you to go fucking fix it.
So far this has worked out great, and I have no regrets.
