deltasevennine

11 ms·

31.
by deltasevennine 4y ago
A lot of people don't agree. But I feel category theory is the Maxwells Equation for software. What is the shortest distances between two points? A straight line. I calculate the solution to that problem. I don't design it. What&#
32.
by deltasevennine 4y ago
Bro. If someone was truly disturbing and you truly wanted to help them wouldn't walk up to them and tell them to speak to a mental health professional. Telling them that is even more offensive. We both know this. You're not joking
33.
by deltasevennine 4y ago
Why stop at the c-suite? We may not be close to being ready to disrupt software engineering but the trend is heading in that direction. We already passed a milestone for code generation. Realistically, C-suite probably will probably target
34.
by deltasevennine 4y ago
Of course. It's not about the best move or what looks better. Nobody cares for that. It's about the truth. That's what people care about in the end. And if none of it was said here, parent is pointing out that Mark is truly a
35.
by deltasevennine 4y ago
>Sure, sorry about my little previous joke[1], meant no factual offense. The very best of luck to you as a programmer and a wonderfully polite human being with a great sense of humor. Jokes are supposed to be funny. Not offensive. Your i
36.
by deltasevennine 4y ago
Sure there are forks and there are spoons. But there are also lumps of coal. You have a problem: You need to eat soup and steak. So you use a spoon or a fork. The lump of coal is useless. You can probably smash the steak with it then eat th
37.
by deltasevennine 4y ago
>Incorrect. Have a look at the Swift OpenCombine library. Multiple Publishers of a particular type that emits a single boolean value First off types can't emmit values. Types don't exist at run time. They're simply meta in
38.
by deltasevennine 4y ago
Well sometimes people don't. I know I've done this on occasion. Just read the title and dive in with my own opinion.
39.
by deltasevennine 4y ago
>Perhaps, like any other tool-set... C has an optimal problem domain not everyone can understand Maybe this is true specifically for C. However you imply this is true for "any other tool-set". This is also a form of bias. It is
40.
by deltasevennine 4y ago
Another thing you're not addressing here is basically Type checking solves none of the problems you describe. You claim it's extraordinarily hard to write tests for UI and for memory corruption. And that's your argument for t
41.
by deltasevennine 4y ago
><<Java and C# can have loong compile times.>> Yes, for initial build. After, it is only incremental. I work with C++ currently. Even the incremental build is too slow. Also eventually you have to clear the cache for various
42.
by deltasevennine 4y ago
If you had jobs in both stacks as I have you'll see that the differences are trivial. Python can get just as complex as either c# and java. Those other people your copying your argument from likely only had jobs doing Java or C# and th
43.
by deltasevennine 4y ago
Well there's an irony to your statement. Those programmers who write embedded systems (I'm one of them) tend to use C++. C++ lacks memory safety and has segfaults, python doesn't. They literally used the most unsafe programmi
44.
by deltasevennine 4y ago
Sure but the time delta is inconsequential. Why? because you're going to run that program anyway. You're going to at the very least manually test it to see if it works. The error will be caught. You spend delta T time to run the p
45.
by deltasevennine 4y ago
The comparison isn't happening because everyone is getting caught up in some language war. I compare C++ and python because I'm trying to make a statement about types. How types are actually not as important as people think. C++ a
46.
by deltasevennine 4y ago
First off python now has types (you can place type annotations on the interpreter and run an external type checker) and javascript people use typescript. In terms of type safety i would argue python and javascript are now EQUAL to C# and Ja
47.
by deltasevennine 4y ago
>I try to add typing in Python where it makes sense (especially external interfaces), mostly as documentation, but am not overly zealous about them like some others I know. Mostly I look at them as better comments. See you don't typ
48.
by deltasevennine 4y ago
Of course. I'm a python guru. I know the python type annotation inside and out. I'm a type nazi when it comes to writing python. That's why I know exactly what I'm talking about. I can unbiasedly say that from a practica
49.
by deltasevennine 4y ago
> I don't understand why you're talking about statistical sampling. Aside from random functions, functions are deterministic, unit testing isn't about random sampling. That's not the problem here. Completely and utter
50.
by deltasevennine 4y ago
>Yes. But for the runtime error to occur, you need to trigger it by passing the wrong object. Unless you have a test case for every possible wrong object in every possible call sequence (approximately nobody has such thorough test covera
51.
by deltasevennine 4y ago
> We get that you hate C++. You just can't stop can you? There's really zero need to say this other then trying to be an ass. I don't hate C++. I chose to write C++ as my day to day job after quite some time doing python b
52.
by deltasevennine 4y ago
I agree with you, but I'm saying things from a practicality standpoint. Let me put it this way. If you have type checking I'm saying that from my anecdotal experience you probably catch 10% more errors then you would normally catc
53.
by deltasevennine 4y ago
>but I suspect your assumption that "100,000 lines of code of python tend to be safer and more manageable then 100,000 lines of C++" might be wrong. I can give you my anecdotal experience on this aka "authoritative" i
54.
by deltasevennine 4y ago
>GC is not just for memory leaks, but memory safety in general. No this is not true. Memory safety and memory leaks are different concepts. You can trigger a memory leak without violating memory safety. In fact a memory leak is not reall
55.
by deltasevennine 4y ago
This is offensive. To suggest my opinion has no connection to reality? Read what I wrote carefully. I'm not talking about type errors. I'm talking about errors in GENERAL. Your comment is carefully tailored to incite flame war. Yo
56.
by deltasevennine 4y ago
My point here is that static types didn't do much to improve C++. We should be focusing on what made C++ bad. The things that made C++ bad and the fixes for those things are what makes python Good. I'm saying type checking is not
57.
by deltasevennine 4y ago
>I think it's better to catch errors sooner than later. This is where type checking helps. Agreed. It is better. But it's not that much better. That's why python is able to beat out C++ by leagues in terms of usability and
58.
by deltasevennine 4y ago
If it does matter to the conversation then it's evidence supporting my point. I'm saying type checking isn't a key differentiator between something like JS/ruby/python vs. C++. You're implying the GC is the key
59.
by deltasevennine 4y ago
>I don't know what this means? You seem to be suggesting that code in a statically typed language cannot be debugged? You don't know what it means probably because you don't have experience with C++. These types of errors
60.
by deltasevennine 4y ago
That's fine. A type checker won't catch everything. Run time errors happen regardless. I find it unlikely that all the errors your code base is experiencing is the result of type errors. Something like c++. You get a runtime error

More ›