Hindley-milner type inference for the win!
It's hard to implement, but the result is a statically typed language, mostly without type annotations.
verstra
joined 2 years ago
Because it is hard to design a study that would capture it. Because it is hard to control many variables that affect the "bugs/LOC" variable.
My conclusion is that it is hard to empirically prove that "static type systems improve developer productivity" or "STS reduce number of bugs" or any similar claim. Not because it looks like it is not true, but because it is hard to control for the many factors that influence these variables.
Regardless of anyone's opinion on static/dynamic, I think we still must call this an "open question".
Or post to gemini instead
Will read, looks interesting and I already agree with the premise but,
please people, add metadata (date, author, institution) and a bit of formatting to your pages. Not much, 10 lines of global CSS would help already.
What bugs do you mean? Anything serious i should know about?
The secret: 7.5kW induction plate.
It takes ~30sec to prepare an xl cup of instant coffee for me. It takes a minute for a cup of "turkish" coffee, or two minutes if I wait for it to settle down before pouring.
It's not great coffee, but I'd say it's above average.
Oh god, that changes so much.
I've built a caterium computer factory with 200+ machines total and I used 4 different blueprints for it. It was still a lot of work because each blueprint had like 3 connection points that needed to be connected manually. Very tedious, will not try again.
What about acid and web spitters?