Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
leshow
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
74 ms
·
811.
▲
by
leshow
9y ago
Do you have any evidence? I'd love to see a comparison of nutrients in produce over the decades.
812.
▲
by
leshow
9y ago
Or you could take an omega-3 supplement and eat normal beef. There isn't much evidence to show that grass-fed beef has any measurable effect on health.
813.
▲
by
leshow
9y ago
Facebook took heat for not having a 50/50 male/female workforce, when that is not the ratio of male to female devs available. They hire more females, based on the fact they are female. The code quality of some of these hires was n
814.
▲
by
leshow
10y ago
Even if you're a JS programmer, having no knowledge of pointers just shows you've never dug very deep into how your language works. Does JS pass by value? by reference? does it pass references by value? These are all things a JS p
815.
▲
by
leshow
10y ago
How is whatsapp using it then?
816.
▲
by
leshow
10y ago
This is true, however you can get around a lot of the annoyance of it with conversion traits like From<T> and Into<T>. It still takes a bit of boilerplate to write unfortunately. The good news is this likely won't be the ca
817.
▲
by
leshow
10y ago
Awesome! I end up using Serde in just about every project. It's great! Congrats guys.
818.
▲
by
leshow
10y ago
It's neither, it's a bad design decision that they were forced to make because the type system isn't expressive enough.
819.
▲
by
leshow
10y ago
The fact that you think all these features are 'weird' just solidifies you haven't used a typed language with any modern features
820.
▲
by
leshow
10y ago
Hyperbole is lost on you, it seems.
821.
▲
by
leshow
10y ago
Go's "error" system is nothing like Rusts. I personally find Go's terrible and boilerplate-y. Rust's uses algebraic types to make things checked at compile time and uses operators like `?` to give you expressiveness
822.
▲
by
leshow
10y ago
This article of full of fluff. Citing a static type system as a point for Go? Go's type system is about the weakest of any popular, statically typed language being written today. It's full of escape hatches.
823.
▲
by
leshow
10y ago
Rust does not prevent all race conditions because doing so would be impossible. It would be akin to solving the halting problem. Deadlocks, and other synchronization issues are just some 'general race conditions' Rust can't s
824.
▲
by
leshow
10y ago
It has a GC, I think.
825.
▲
by
leshow
10y ago
I'd modify the monoid line to include associativity and identity: A monoid is a a type with an associative function and an identity function
826.
▲
by
leshow
10y ago
I'm sorry I don't understand, the results seem to be about people having difficulty installing GHC, not deploying a binary. I can say anecdotally I've never had any problems. edit: Ah ok, apparently libgmp is dynamically link
827.
▲
by
leshow
10y ago
That wasn't what I got out of the previous post, it seemed to be saying there was something inherently unsafe about compiling down to a dynamic language.
828.
▲
by
leshow
10y ago
> I don't need the compiler to artificially slow me down It's slowing you down because you've written code with errors. Those type errors are still in your dynamic code, you just can't see them. > I spent many yea
829.
▲
by
leshow
10y ago
> In my experience the problem comes when you try to apply static typing to a dynamic system. As in, because it compiles down to a dynamic system, it's no good? There are plenty of languages that give us strong static guarantees and
830.
▲
by
leshow
10y ago
Haskell? Some of it's parallelism and concurrency features should look familiar to you (it has an M:N threading model), complete with channels, and some stuff you've probably never heard of like STM. It compiles to a binary, has a
831.
▲
by
leshow
10y ago
I think Elm is great, but the language designer has really crippled it IMO by not including abstractions for types. Something analogous to typeclasses would be hugely beneficial. As it is the language gets around it by making some built in
832.
▲
by
leshow
10y ago
> - It requires more planning to do anything That's the idea. You think about what you're going to write in a strongly typed language rather than just throwing stuff at the wall hoping that something will stick. > - The rigi
833.
▲
by
leshow
10y ago
Odd, I'm new to vscode, but I tried to set up this plugin and it was completely unusable to me. Perhaps you can describe the steps you followed? I tried installing the plugin and launching chrome with the debug flag, then setting a bre
834.
▲
by
leshow
10y ago
I don't see the relation to Lisp, if anything that quote about noticing the semigroup property of parallel fold algorithms speaks to Haskell or ML more than anything else.
835.
▲
by
leshow
10y ago
Are you just looking on HN? There's lots of really cool uses of Rust kicking around. I guess it depends what you mean by production. I mean obviously there's Rust itself, Servo, Cargo, /r/rust usually has some interestin
836.
▲
by
leshow
10y ago
How does that contradict what the post says? A trait object (the boxed fn in your example) is used for dynamic dispatch. OP says "can also be used". It sure looks like the Fn trait is being used for dynamic dispatch in that exampl
837.
▲
by
leshow
10y ago
Swift and Rust are remarkably similar if you're familiar with what Swift calls "protocol oriented development" (I think it's called). Really, it's just a version of Haskell's typeclasses in disguise.
838.
▲
by
leshow
10y ago
If you're reading a study who's conclusion is 'x is bad' then I question whether you're actually reading any scientific literature to begin with. No scientist in their right mind would try and support an argument so
839.
▲
by
leshow
10y ago
Citations add 'support' for or against one side of an argument, they almost never state anything that's factually true or false in a general sense.
840.
▲
by
leshow
10y ago
A citation isn't a statement of fact in a general sense anyway. A bit of information from a study, means that under these very specific set of conditions, this happened. Your ability to generalise that to a 'fact' which is tr
More ›