amw-zero

30 ms·

331.
by amw-zero 5y ago
You still have local reasoning with struct semantics. You are not giving that up in exchange for performance, you get both. func newStructValue(s: Struct) -> Struct { s.value = 5 return s } The reasoning for this block
332.
by amw-zero 5y ago
You showed why it is worth it - it also avoids copying. Mutation is more efficient in every way, except cognitive overhead. So by preventing _sharing_ of mutable values, you get the best of both worlds. This is the same model that Rust take
333.
by amw-zero 5y ago
> 1. Use immutability by default, even in languages that make that harder than it should be What I've come to realize is that whenever people talk about wanting immutability, they really want value semantics. Value semantics can be
334.
by amw-zero 5y ago
Why was lambda chosen as the abstraction character in the lambda calculus? Mathematicians just pick random letters and symbols for things.
335.
by amw-zero 5y ago
Human beings need something to do to have a fulfilling life. I do not agree at all that the ultimate goal of society is to automate everything that’s possible. I think that will be horrible overall for society.
336.
by amw-zero 5y ago
But I thought a bit is a binary digit? What does this quote mean?
337.
by amw-zero 5y ago
This is just a comment about implicit vs. explicit state. What you described is not inherent to OO, though of course it's much easier to have implicit state in OO. I'm working in a codebase now that is very OO, but also is very di
338.
by amw-zero 5y ago
No thank you. It's perfectly fine to discuss something that's been discussed before. I get something new out of this paper every time I read it. We are all learning and growing every day. The conversation wasn't complete just
339.
by amw-zero 5y ago
> So long as bare metal looks more like a Turing machine than a Church calculus This will always be the case. The Turing machine is simply a much better model for implementing a machine capable of executing programs. The Lambda calculus
340.
by amw-zero 5y ago
How can Erlang and Kubernetes be compared at all? I actually don’t understand that. Erlang is a programming language that allows message passing between concurrent actors. Are you saying that, containers are comparable to actors, and that u
341.
by amw-zero 5y ago
Right. That’s the point - they are both conceptually the same thing, testing via automatically generated inputs.
342.
by amw-zero 5y ago
> it enhances the ability to reason about code In your opinion. > Generally, functional programs are safer and shorter than their procedural/OOP alternatives Please provide any evidence that this is true, especially the ‘safe’ pa
343.
by amw-zero 5y ago
It is tough. On the one hand, I agree with you. On the other , writing tests seems both incredibly inefficient as well as missing the intended purpose. You cannot have a test suite which ‘proves’ the implementation is correct. A test suite
344.
by amw-zero 5y ago
Ah yes - you've reduced all of the JVM down to a terrible piece of software that doesn't power a tremendous portion of the software on planet Earth. This is when I know to not consider a person's comments seriously. When they
345.
by amw-zero 5y ago
Go forces you to handle the error, which you agree with because you handled it by explicitly ignoring it via _.
346.
by amw-zero 5y ago
‘Just better’ is not a valid argument. Better at what? Better for what use cases? If we start to treat software like fashion, I don’t think we’re going to make very good decisions in the coming years.
347.
by amw-zero 5y ago
There’s a lot of things wrong with this. First, this has nothing to do with the actual reason for the verbosity. The actual reason is that a value may or may not be present in a map, that’s a universal problem. Most languages just return ni
348.
by amw-zero 5y ago
Rust has to be one of the least expressive languages ever made, so that’s a pretty weird one to group along with other actual expressive languages. That’s not a full-on dismissal of Rust, since expressivity isn’t its main goal. Also, type s
349.
by amw-zero 5y ago
> Make it clear what libraries are recommended for certain tasks I think no community has this problem solved, and I also think it is unsolvable unfortunately. The need to experiment seems to be human nature, and we are still really terr
350.
by amw-zero 5y ago
How is current Scala not actually a Haskell competitor today? Superficial dislike of a VM isn't a valid reason.
351.
by amw-zero 5y ago
Can you elaborate on the changes in TS that hint at dependent types? That's interesting.
352.
by amw-zero 5y ago
I still don't fully understand it, but they wrote a lot about the topic here: https://dotty.epfl.ch/docs/reference/contextual/motivation.h...
353.
by amw-zero 5y ago
Why does there need to be a conclusion? It’s a good warning for those with diabetes no matter what you make out of the data.
354.
by amw-zero 5y ago
With a straight face - how can you do anything better than macros in Lisp? I’ve always thought of them as the Platonic ideal of macros. What are your problems with them?
355.
by amw-zero 5y ago
And thank you for that. That will surely drive down supply of engineers and inflate salaries - a great outcome for those of us willing to to into an office.
356.
by amw-zero 5y ago
Looking for more accurate truth than the reductive “everything is explained by white supremacy” is different than being a racist. And either way, I believe that kind of conversation doesn’t belong in public channels at work. They make proje
357.
by amw-zero 5y ago
I would assume some limiting factors here are: - the speed of end to end tests - the flakiness of end to end tests - the coupling to the user interface - the fact that specifications for practical applications can be very complex, with know
358.
by amw-zero 6y ago
If you don’t do all of that, what exactly is the value that you’re providing to the business?
359.
by amw-zero 6y ago
What's funny is the move toward value types as trendy right now, meanwhile 10 years ago I was writing copy constructors in C++ to control the value semantics of values.
360.
by amw-zero 6y ago
I really feel like the vast majority of "product strategy" is outright harmful to the actual customerbase. The classic example is when someone brings up gamification... for a B2B SaaS app. For the love of god - vertical SaaS users

More ›