cle

42 ms·

451.
by cle 5y ago
It's not anywhere close to that. There's a tiny expression where we override the type system, but everything else in the program is still statically typed, and we get to avoid all the complexity of generics.
452.
by cle 5y ago
You're writing out the concretization by hand. Generics as a language feature are much more complicated than their concretizations, which is my point. Generics are to their concretizations as "-e^(iπ)" is to "1".
453.
by cle 5y ago
I'm not saying to never use abstractions. There's a balance.
454.
by cle 5y ago
Agree, this is my hope. Seeing the same thing play out in other language ecosystems though, I'm just not very optimistic about it.
455.
by cle 5y ago
I've written quite a few containers that use interface{} like that...they don't really "lose all type safety", you write a typed container around it (usually a one line implementation) that does the type assertion in one
456.
by cle 5y ago
One person's readable code is another person's unreadable mess. It depends on what kind of program you're writing. The fact that functional programming emphasizes "abstraction" so much means that, by definition, you
457.
by cle 5y ago
I seem to be a bit of an outlier, but I am not looking forward to generics in Go. I don't like the kinds of discussions it attracts...vague hand-wavy arguments about "expressiveness" and "purity". Expressiveness to
458.
by cle 5y ago
Not so straightforward. Sometimes we throw things away to make room for better things.
459.
by cle 5y ago
"Just close the loophole" to me sounds like "just fix the bugs" in an API used by every person in the country. That would be an enormous undertaking, not something you "just do". Most likely many benign people
460.
by cle 5y ago
It's because they don't actually know how much taxes you owe. They aren't omniscient (thankfully) so they don't know e.g. how much in deductions you should have. (I agree that #2 is a big problem, but I don't think
461.
by cle 5y ago
I love “Types and Programming Languages” by Benjamin Pierce and always recommend it for people who want to dip their toes into formal type theory. To me it’s basically the K&R for type theory.
462.
by cle 5y ago
To use the same argument as "don't use iOS"...simply don't use the alternate app store. I can't yet convince myself that "don't use iOS" is a valid argument while "don't use a different app
463.
by cle 5y ago
Of course it does, you're physically leaving. My point is that not everyone can do that. Fundamentally "time off" is a psychological thing. Traveling is one way to detach psychologically, but it's definitely not the best
464.
by cle 5y ago
Yeah...this advice isn't really helpful for people who can't just take off for months (parents, people taking care of sick family members, etc.). I think it's less about getting away physically, and more about getting away ps
465.
by cle 5y ago
Wow nice! Thanks.
466.
by cle 5y ago
Grandparent. As in “the parent of the parent of this post.”
467.
by cle 5y ago
I’m sad to see HN become a place where people pat each other on the back for “burns”. (And I think GP makes a good point.) edit for context: parent originally started with “BURN!” before edit
468.
by cle 5y ago
The overall steps are pretty good, but depending on your product and market they may be less or more important (or maybe completely irrelevant). Honestly my advice would be to jump head-first into it, and learn as you go. Some up-front “the
469.
by cle 5y ago
If you think of this as an interactive API over your browser, there are a lot of possibilities, as it significantly lowers the barrier to entry for browser dev. One thing I’ve always wanted is a way to sync cookies between my browser and cu
470.
by cle 5y ago
This is the vision from my understanding. I think of it as Emacs for the web, instead of just text. Super compelling vision, I really hope they can pull it off. I’ve tried Nyxt a few times but I find it quite difficult to hack on, at the ti
471.
by cle 5y ago
Are these reliable? Can a judge compel someone to continue publishing a canary to prevent leaking the information?
472.
by cle 5y ago
I don't know much about GPUs and am curious how this "burn out" happens, do you have a link for those of us who'd like to read more about this?
473.
by cle 5y ago
You are presenting a false dichotomy, it can and often is degrees of both.
474.
by cle 5y ago
Honestly I would be sad to see vertical consolidation like that. But given all the hype around M1 and the translation to $$$, it wouldn't surprise me.
475.
by cle 5y ago
Or perhaps the person "burning the midnight oil" will come up with an innovation that will save even more lives, and which is only possible by a single person putting in the mental effort. I don't have a strong opinion on thi
476.
by cle 5y ago
Statistics by definition lose information, and part of understanding if you’ve lost the “right” information is to look at the individual cases that are excluded by the model. So yes, in those cases the anecdotes do trump the “science”, if b
477.
by cle 5y ago
By regularity I mean much more than just style. Ironically Go does “one obvious way to do something” much better than Python. When formatting a string, should I use % operator, str.format(), or f-strings? If I want to make a data obj, shoul
478.
by cle 5y ago
I maintain hundreds of thousands of lines of Go code, for a few years now. I would not pick another language for that. The important properties with maintaining code bases like that are language regularity (most code is written the same way
479.
by cle 5y ago
I guess what I'm saying is to be judicious about what invariants a particular piece of code should care about, within the context of the larger system. > That's right, as the article says you no longer validate data, instead yo
480.
by cle 5y ago
That can be a case of that yeah. Using your example, a lot of devs might use that email parsing logic in various independent components of the same system. Eg if you have a reporting component that sends you business reports, that component

More ›