Viewing profile — zarakshR

I don't see how: Racket: > (define (fact n) (if (= n 1) 1 (* n (fact (- n 1))))) > (fact 6) 720 OCaml: # let rec fact = function | 1 -> 1 | n when n > 1 -> n * (fact (n - 1)) in fa…

This is not relevant since this de-sugaring cannot be performed if `name` is recursive (i.e., if `term` refers to `name`), which `Y` is. So the author's derivation is still require…

> because PHP and Javascript will implicitly convert back and forth If you can provide (valid!) methods `T -> U` and `U -> T` for two types, why wouldn't `T = U` hold? (Atleast for…

> The point is you can't simply treat non-nullable as a subtype of nullable in general, because this case exists. But surely, you can still use subtyping in other cases -- when it …

> The language can just have an implicit conversion rule for convenience the presence of an implicit conversion rule `T -> T?` amounts to the observation that `T > make an unboxed …

Similarly, I was shocked to learn that models of aeroplanes don't even account for the possibility of the plane being blown up mid-flight by a stray anti-air missile. It seems aero…

Continuation-passing style?

> If I am in my normal raw intellect, I will begin going deep on some topic thats outside the range of normal human discourse. It will be hard for me to stop, because of my interes…

How would that even work if git was released in 2005? Am I missing something?

And EB Garamond[0] if you want a free font. [0] - https://fonts.adobe.com/fonts/eb-garamond

I can't wait for this comment to show up on n-gate.com

Wow, this is really helpful. Thank you!

I'm thinking of learning Python but all the tutorials that I can find are cookie-cutter SEO'd tutorials on Google. The main issue I have with these is that they are more geared tow…

Under the description of The Co-Op it says "Players pay a membership fee to access resources like food, lodging, clean water, etc." Did anybody think this through more than once?

This is such a poorly made website. I love it!

>It's a lousy argument to suggest that Chinese products are bad because Chinese culture does not promote attention to detail... I would just like to point out that the GP did menti…

The selection does not disapper if it ends on a parenthesis or whitespace. Odd