One of my goals for #mollytime is to avoid introducing a concept of errors into the language.
Uncategorized
14
Posts
8
Posters
0
Views
-
@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.
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)
-
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
@aeva have you ever seen ProGraph
-
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
@aeva certainly my experience - in essence, the function of most types of compile-time checking is to intentionally increase the minimum Hamming distance in the set of inputs the compiler accepts
-
@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.
@lritter I do like C++ for being something that strikes an ok-ish balance between making me stop and think, and letting me iterate quickly.
-
@lritter I do like C++ for being something that strikes an ok-ish balance between making me stop and think, and letting me iterate quickly.
@aeva i do like C++ for allowing me to write LRDL in it. (which acts as a DSL for C++)
-
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
@aeva To paraphrase one of my favorite professor: "there is a tradeoff between how many correct programs you exclude, and how many incorrect programs you can exclude"
-
@aeva have you ever seen ProGraph
@glyph no. what is it?
-
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
@aeva I think one of the benefits is that declarations are more self documented. In statically typed languages, I can go read a function signature or variable declaration and know all the information about it. I don’t need to go read the return statement of a function to know what type a variable will have. I don’t need to research what arguments are valid for a function, it just says it in the prototype.
-
@aeva I think one of the benefits is that declarations are more self documented. In statically typed languages, I can go read a function signature or variable declaration and know all the information about it. I don’t need to go read the return statement of a function to know what type a variable will have. I don’t need to research what arguments are valid for a function, it just says it in the prototype.
@Camwin oh yeah totally like, this is super obvious:
float Fnord(float A, float B, float C, float& D, void*** E, int F);
-
@Camwin oh yeah totally like, this is super obvious:
float Fnord(float A, float B, float C, float& D, void*** E, int F);
Feed RSS
Gli ultimi otto messaggi ricevuti dalla Federazione
-
@elettrona @game @aitech ho trovato l'indovinello con l'albume: https://www.pensieriparole.it/indovinelli/autori/anonimo/indovinello-55939
-
-
-
@ChieseBrutte voto Gallarate per la fantasia perversa e per il campanile ricordato da @twisterrm
MA SOLO perché voglio considerare San Sebastiano fuori concorso, in quanto troppo squallida anche per essere una semplice succursale della Parrocchia San Bartolomeo di Staglileno
-
-
Il rischio colombiano delle pensioni “sovrane”
A proposito di investimenti patriottici: il governo della Colombia vuole costringere i fondi pensione a rimpatriare in pochi mesi decine di miliardi di dollari di investimenti, da usare nell'economia nazionale
https://phastidio.net/2025/12/22/il-rischio-colombiano-delle-pensioni-sovrane/
-
RE: https://ec.social-network.europa.eu/@EUCommission/115762325563043978
Oh we have the same wish @EUCommission
I think it'd be a powerful move if you deleted your X account (a platform that has become a vector of misinformation and a cesspool of hate).
By the way, your homepage states: "Follow us on" followed by the icons of Facebook, X and LinkedIn. I always found it odd, since those are algorithm-based U.S. companies and you are the EUROPEAN Commission. How about putting your Mastodon icon on your homepage?
Thank you for your consideration
-
@Otttoz 😉
