aratakareigen

6 ms·

31.
by aratakareigen 7y ago
What do you mean? Haskell has, last time I checked, an LLVM IR and a C backend, so it should be very portable.
32.
by aratakareigen 7y ago
The market can be easily scared by the thought of random employees spying on them. I'd easily pay $50 for that peace of mind.
33.
by aratakareigen 7y ago
You're being too reductionist. In the specific case of Rust, no security is not its primary strength. In fact, it has no standard and a few soundness issues, and I'm not sure what certifications it has, so this makes little sense.
34.
by aratakareigen 7y ago
This is not a sensible decision, it is an idealistic one, and Go will backtrack on it if it lives long enough. People have different use cases, and they will be more than willing to turn a few knobs if it saves them millions of dollars.
35.
by aratakareigen 7y ago
What makes JavaScript a Lisp? I associate Lisps with a small but immensely expressive core, powerful metaprogramming facilities, a very simple syntax, and an emphasis on linked lists as the building block of syntax and, at least historicall
36.
by aratakareigen 7y ago
Statically linking a libc seems equivalent to statically linking Go's standard library, but with a whole lot less effort (on the part of the Go developers, that is).
37.
by aratakareigen 7y ago
How are structs of arrays more natural in C than in Java?
38.
by aratakareigen 7y ago
I stay at home and read the lecture slides on my computer because it's easier for me, and lets me be nocturnal. Am I really missing out on that much by not being there?
39.
by aratakareigen 7y ago
I don't know TypeScript, but can't you expend a few lines to write a function 'getA : State -> number?'? Paired with the TypeScript equivalent of Swift's / Rust's if-let, it should be just as convenient
40.
by aratakareigen 7y ago
Unlike APL, J has an explicit goal of sticking only to ASCII symbols, but yeah, they're just as intimidating.
41.
by aratakareigen 7y ago
I can't speak for scientists, but programmers usually care very much about the soundness (not in the Curry-Howard sense) of their type systems.