hope-striker

8 ms·

31.
by hope-striker 7y ago
Sorry, I'm only vaguely familiar with C#, but maybe you're right, if they get sugar in the form of LINQ syntax. But regarding async/await, (?.), etc., a language doesn't have special support for vector spaces just becaus
32.
by hope-striker 7y ago
The Haskell 2010 Report mentions monads all over the place, both in the language and library sections. A Monad instance is literally the only way to do IO in standard Haskell. Monads get special syntax in the form of do-notation and, in an
33.
by hope-striker 7y ago
This is correct, and in contrast to Haskell, where monads are a core part of the language (they are used in the definition of do-notation and list comprehensions) and currently the mainstream way to do IO.
34.
by hope-striker 7y ago
Nice explanation of monads! My two cents: personally, I would've started with the fact that a monad is exactly the stringing together of functions (a -> m b), and the similarity between monoids, monads, strings / lists and func
35.
by hope-striker 7y ago
Funnily enough, a GitHub-to-resume tool recently hit the front page[0], but yes, that opinion seems to be in decline. [0]: https://news.ycombinator.com/item?id=20995056
36.
by hope-striker 7y ago
Honestly, I have no friends, so I'd really appreciate it if you could explain the difference as best as the Internet allows.
37.
by hope-striker 7y ago
No one's saying he's brave or contrarian here. He said something incredibly stupid, but (a) not the horrifying thing that news outlets are accusing him of, and (b) certainly not something worth trying to ruin his life over. This k
38.
by hope-striker 7y ago
It's very relevant to the point that it's hurting content creators , though, who want people to actually visit their site, and not just read Google's summaries.
39.
by hope-striker 7y ago
Yep, this is totally implementation-defined behavior, so it's actually kind of harmful to think that you should "know some internal designs" here.
40.
by hope-striker 7y ago
Integers are object pointers, too. CPython just so happens to preallocate a range of small integers[0]. [0]: https://github.com/python/cpython/blob/master/Objects/longob...
41.
by hope-striker 7y ago
How this is more true of Rust than modern C++?
42.
by hope-striker 7y ago
You can stop giving the Nazis so much influence over your life, for starters. Just accept that they, like plenty of societies before them, used a certain cool logo, but that's no reason to hate that logo, or to never use it again. h
43.
by hope-striker 7y ago
1. Yes, but the situation regarding type inference is only a bit worse than the situation in non-dependently-typed languages. Of course the compiler can't magically figure out what theorems you want to prove.
44.
by hope-striker 7y ago
1. Bidirectional typing can be easily generalized to dependent types. You can't always infer the type, but an 80% solution is definitely good enough for inference. 2. Your types don't have to be full specifications, and you can re
45.
by hope-striker 7y ago
Yes, but GP was specifically stating that no rights afforded by the United States government were trampled on in this case. This is, no doubt, censorship, but some questions are: - did censoring 8chan significantly limit any sort of harmful
46.
by hope-striker 7y ago
Here's what all the browsers do (Firefox, Google and Safari all use Google's Safe Browsing service). 1. The truncated hash is checked against local database. 2. If there's a hit, send the truncated hash to Google, and receive