ReflectedImage

6 ms·

31.
by ReflectedImage 9mo ago
"Wasteful unit tests that assert your types are right" You don't test whether the types are right, you test if your code actually does the right thing. That's what's important to your customers. The types getting te
32.
by ReflectedImage 9mo ago
Static typing doesn't have much value if there are proper unit tests. So it's fairly obvious that if people think there is value in static typing then they are shipping broken code to their customers. It's called ratting your
33.
by ReflectedImage 9mo ago
And that's the problem, if you want your code to actually work you do need to write those unit tests. A program not crashing doesn't mean it does the right thing. With experience you will learn to either write unit tests or spend
34.
by ReflectedImage 9mo ago
Nah that's just a lack of understanding in the role of unit tests in dynamically typed languages.
35.
by ReflectedImage 9mo ago
Gradual typing is the worse of both worlds. You get the complexity and slower development times of using statically typed languages along with the bad performance of using dynamically typed languages.
36.
by ReflectedImage 9mo ago
Making the type annotations pass restricts you to writing more bloated and verbose programs in general. Stating that A is an integer isn't much of a issue but once you get a reasonably complex program and A now has a compound type made
37.
by ReflectedImage 9mo ago
I'm comparing a program with itself. Go only has basic types and interfaces to emulate duck typing (structural typing). The type complexity in Go is rather on the low side of things.
38.
by ReflectedImage 9mo ago
Type free languages like Lisp, Python and Ruby have faster software development times than languages that use types. The developers who are using the statically typed languages, which are slower to develop in, with are being pushed to use t
39.
by ReflectedImage 9mo ago
Types are not always useful, they increase the line count per delivered feature by 3x to 4x, which results in a corresponding increase in bugs in the delivered code and an corresponding increase in the overall software development costs. It
40.
by ReflectedImage 9mo ago
No one can do fast prototypes with types, all they can do is convince themselves they are faster than they really are. Having worked in both dynamically typed and statically typed software development shops, the statically typed programmers
41.
by ReflectedImage 9mo ago
Yeah, but that doesn't exist. Types and fast development are directly opposing goals. This goes all the way back to Lisp vs C in the 1980s with C programs having triple the development time as Lisp programs. To modern day with Turborep
42.
by ReflectedImage 9mo ago
Never heard anything about what you are talking about. There isn't a charge for using tropes, plot points, character designs, etc. from other people's works if they are sufficently changed. If an LLM reads a free wikipedia article
43.
by ReflectedImage 9mo ago
Well a creative type can be defined as an entity that takes other people's work, recombines it and then hides their sources. LLMs seem to match.
44.
by ReflectedImage 9mo ago
But is it meaningfully different from the outsource to India craze? That certainly in the short term took some programmers jobs away. That doesn't mean it pans out in the long term.
45.
by ReflectedImage 9mo ago
And this is different from outsourcing the work to India for programmers who work for $6000 a year in what way exactly? You can go back to the 1960s and COBOL was making the exact same claims as Gen AI today.
46.
by ReflectedImage 9mo ago
Gen AI taking programmer's jobs is 20 years away. At the moment, it's just for taking money from gullible investors. Its eating into business letters, essays and indie art generation but programming is a really tough cookie to cra
47.
by ReflectedImage 9mo ago
All creative types train on other creative's work. People don't create award winning novels or art pieces from scratch. They steal ideas and concepts from other people's work. The idea that they are coming up with all this st
48.
by ReflectedImage 9mo ago
Speaking as a Python programmer, no. Using types in a prototyping language is madness. The point is you drop things such as types to enable rapid iteration which enables you to converge to the unknownable business requirements faster. If yo
49.
by ReflectedImage 9mo ago
But don't forget OOP was an attempt in the 90s to bring micro-services to single user computers.
50.
by ReflectedImage 10mo ago
This is a conservative problem. Conservatives are split into 2 groups. Conservatives who are in it for the money and conservatives who are in it because they don't know any better. College professor is not a well paying job for the lev
51.
by ReflectedImage 10mo ago
Ahh the bad high school maths take, which doesn't account for the risk. People don't just build 1 thing for a house nor can they afford a $20k failure. If you take Fred who saves up $10k for a major purchase for his house each yea
52.
by ReflectedImage 10mo ago
The concept of a module comes from the concept of a service. Services have small public interfaces that conceal their private internal workings. I understand it's a very surprising thing to learn.
53.
by ReflectedImage 10mo ago
But if they hadn't been flouted, the US would be a dirt farm specializing in the farming and production of dirt. Hacker news wouldn't even exist.
54.
by ReflectedImage 10mo ago
Procedure, functional and Entity Component Systems (Sketchpad, 1963) programs came first. Micro-services then came along (Distributed computing). Then OOP was then invented to replicate the benefits of micro-services in single user environm
55.
by ReflectedImage 10mo ago
Of course: https://www.youtube.com/watch?v=wo84LFzx5nI
56.
by ReflectedImage 10mo ago
So originally software development used micro-services rather than modules. A lot of software developers get this wrong and think modules were first. They were not. The software developers just grew up during the module fad caused by the pe
57.
by ReflectedImage 11mo ago
Python is popular because of it's expansive ecosystem of libraries, which only exist because the language is duck typed. If it was statically typed, the expansive ecosystem of libraries wouldn't exist. There is a factor of 3x diff
58.
by ReflectedImage 11mo ago
Arguably, it's a step in the wrong direction. Share memory by communicating is already doable in Python with Pipe() and Queue() and side steps the issue entirely.
59.
by ReflectedImage 11mo ago
As a general rule of thumb, once you have proper tests, static typing doesn't find very much, if anything.
60.
by ReflectedImage 1y ago
It will now be used as a vehicle for an overly complex pyramid scheme. Well at least this will eventually clear EA out from the market.

More ›