leshow

38 ms·

361.
by leshow 7y ago
Thanks for commenting, that's probably it. I was aware of the requirement for explicit box-ing but it didn't immediately come to mind.
362.
by leshow 7y ago
What's "almost" algebraic about enum? It can definitely be used to construct sum types, and you can make product types with struct or inline in an enum
363.
by leshow 7y ago
Where I live, no, you need a professional engineering designation. It's a license, sort of like a lawyer or doctor has, http://www.peo.on.ca/index.php/ci_id/2057/la_id/1.htm .
364.
by leshow 7y ago
You shouldn't be able to call yourself an engineer unless you have a BEng, personally. Some places actually have laws against calling yourself an engineer without one.
365.
by leshow 7y ago
I'm not sure why this post is getting so much hate, it's well written and I really enjoyed reading it. Thanks!
366.
by leshow 7y ago
That's a really strong opinion to present with absolutely no evidence.
367.
by leshow 7y ago
> It tend to make code more prone to mistakes and harder to follow. What mistakes are you encountering with Redux that you aren't seeing in a vanilla React app? IMO, redux makes your code uncomplicated and super easy to follow, but
368.
by leshow 7y ago
With the useReducer hook a lot of these differences have gone away. The important difference is that redux will use global state. It's use of the Context API makes components less portable. Redux has it's place, I think it's
369.
by leshow 7y ago
> I went the traditional CS major in undergrad route and most of what I learned in school was not applicable to my day to day work. I did a B. Eng in Software Engineering, and I found that the most important thing I learned at school was
370.
by leshow 7y ago
In 2004... parametric polymorphism was decades old with many implementations by the time Go came around.
371.
by leshow 7y ago
In a language like Go you're absolutely right. In a language that supports currying as a first class concept they are equally readable, all the nested functions could be invisible.
372.
by leshow 7y ago
One thing I was confused about. The document says there are 7 byte types, but I thought UTF-8 was variable width up to only 4 bytes. Did I misunderstand something?
373.
by leshow 7y ago
zsh has many of these features also. edit: not sure if it does out of the box actually, i use prezto
374.
by leshow 7y ago
> To be a free speech absolutist is to say that the New York Times must publish every nonsense article every 8 year old sends them, because editorial curation is a kind of censorship. This is a straw man argument and not what it means at
375.
by leshow 7y ago
> This is an extremely naive view of freedom of speech. It's just a definition, I'm not presenting any opinions. The first definition you can find on Google says: "the right to express any opinions without censorship or re
376.
by leshow 7y ago
If you believe in some kind of censorship, that's great, we probably agree on a lot. You just can't take that position and believe in freedom of speech. If you believe in freedom of speech you object to the content of speech you
377.
by leshow 7y ago
There is no false dichotomy, just the definitions of words meaning things. Look up the definition of freedom of speech: "the right to express any opinions without censorship or restraint."
378.
by leshow 7y ago
And Rust, the rust std lib uses a modified timsort/mergesort
379.
by leshow 7y ago
I don't think the poster was suggesting that 'cancel culture' has affected the chinese political process. I believe they were suggesting that it has created a means for their censorship to be pushed in the West. In so many wo
380.
by leshow 7y ago
> Are you saying that I am a hypocrite for liking the contents of some speech but not others Not OP, but I believe they are talking about objecting to censorship ostensibly because of freedom of speech, and then not objecting to other ce
381.
by leshow 7y ago
I haven't used anything other than linux for more than a decade so that probably explains it. Still, I've never heard this complaint before.
382.
by leshow 7y ago
> Kind of like we look back today on 1987 and think what was that kerfuffle all about. Do we? The 1987 crash was the second worst market crash in history follow the great depression. Or at least that's what I thought? In terms of a
383.
by leshow 7y ago
Depends on the language but in Haskell, the (->) arrow is a function type constructor (i.e. constructs function at type level) where a -> b constructs a function type from a to b. This is often chained to produce functions that '
384.
by leshow 7y ago
Which fonts does it not look good in? Haskell, Rust, Swift, Ocaml, and I'm sure some others, all use this notation. And I've never seen the '->' look odd in any font I've ever used.
385.
by leshow 7y ago
The site says that it's in the very early stages of development. Would it be better if they iterated completely in private?
386.
by leshow 7y ago
> For a dynamically typed language, a REPL ends up being essential. In a lot of ways, REPLs can be a superior form of programming. Those are often much harder to get to work with static type languages (often too much ceremony around the
387.
by leshow 7y ago
> Note, this article is recent and highly relevant.. Talk about fear mongering, that article is horrible. It's the same old argument. "Child abuse is bad therefore you can't have any privacy", they position you as bei
388.
by leshow 7y ago
> I don't understand why they don't just ask for what they want, why say it's about "user safety" when it's not about that at all. Because they don't care about an honest representation of their argumen
389.
by leshow 7y ago
> This is how limited type systems are still very much better than no types. This is not what I was arguing against. I was arguing that I would be surprised if people were happy to go from strong typing to dynamic typing, not that '
390.
by leshow 7y ago
There are some really cool things in haskell-gi. Haskell has the ability to make some wonderful DSLs. Have a look: https://haskell-at-work.com/episodes/2018-11-13-gtk-programm...

More ›