9q9

10 ms·

61.
by 9q9 7y ago
I'm not sufficiently familiar with Idris to comment -- I will learn Idris in the future, hopefully in December. Be that as it may, I'm somewhat sceptical of implementation inference : after all, you need to give a spec, exactly t
62.
by 9q9 7y ago
1. BIdirectional isn't magic. If I program MergeSort or Quicksort, and give it the signature forall T. Array[T] -> (T -> T -> Bool) -> Array[T] Bidirectional will not infer what's missin
63.
by 9q9 7y ago
1. No type inference (unlike ML-style types). 2. Oracle problem : In practise you never have full specifications (let me be provocative: Facebook has no specification in principle, only its ever changing code), and often, especially in
64.
by 9q9 7y ago
it's very common these days to allege that So? The reason that's very common is the increase public understanding that this is often happening. There are several reasons fo this, including: leaks like Wikileaks, ope
65.
by 9q9 7y ago
I'm not sure what you are arguing for / and against. I did not say that everyone who disagrees with you is a shill. However, I've worked in enough political organisations to doubt that large scale grass-roots movements are li
66.
by 9q9 7y ago
There are plenty of parties interested in preventing nuclear: oil producers, coal producers, gas producers, owners of oil and coal power plants. Also bear in mind that in the 1980s, when the anti-nuclear power movement became a serious poli
67.
by 9q9 7y ago
I don't get it. Politics. In the 1980s the Green Party emerged in Germany, a powerful new left-wing party. Unlike most new parties, they didn't disappear quickly, but proved remarkably politically adept. Their original
68.
by 9q9 7y ago
The M/F/Congenitally-Infertile distinction is not an "arbitrary standard", but rather a natural kind, and the essence of reproduction of the species. Morality is something we impose upon ourselves and others precisely
69.
by 9q9 7y ago
Talmudic question: what's the average fertility rate of the clientele worrying about misgendering, and how does that average relate to civilization progressing through time?
70.
by 9q9 7y ago
That is interesting. Once could argue that since fast exceptions contain non-local jumps with a static target, it is enough to supply only the former, so as to simplify the language.
71.
by 9q9 7y ago
Thanks. That's, as you say, a statically scoped fast exit. One does not need the full power of exceptions for this (exceptions'd dynamic binding comes with a cost). If exceptions are widely used for this purpose, one might conside
72.
by 9q9 7y ago
I'd be interested to learn about how exceptions are typically using in Ocaml for non-local control flow. Exceptions have two core properties: (1) non-local jump (carrying a value) and (2) dynamic binding of place to jump to. Contrast