Only if you are inside the cult could you possibly believe that. Do you also think that Jim Jones was an expert on the New Testament teachings? If you take his word for it, of course he was.
Only if you are inside the cult could you possibly have that opinion. Do you also think that Jim Jones was an expert on the New Testament teachings? If you take his word for it, of course he was.
See: https://news.ycombinator.com/item?id=8605321
I think the right way to think about that is: "what solutions has lack of generics prevented me from writing?". From the expressive end of the power continuum, Go is way down there (somewhere below Blub probably).…
The portion of that material which is requisite is obviously a strict subset of the entirety of the material. But, for one to flippantly say "I've read it" without even establishing what "it" is, seems a bit dismissive…
If this area is going to be marked off, then I would appreciate my mod points being restored as well. If you look at my original response, it was pointing out the fallacy in a very particular claim (and nothing…
To the siblings to this post: it seems rather unlikely as the research is being generated at a rate that far exceeds any one person's ability to read it (especially when they are already busy marrying C and CSP [which…
Totally serious. And, it's not just the lack of generics-- that's just the tip of the iceberg.
Probably a combination of both really. I get the sense that the 'Commander' hasn't done the requisite reading.
Which will have no bearing on the case of Go. Go has already been relegated to the bottom of the quality bin for my purposes by its designer(s)' ignorance of the last 30 years of type system research and hostility…
Nope, nothing at all like that.
There is an encoding supporting that level of abstraction (perhaps though not as straightforward as you'd prefer); namely using interfaces (which are first-class) to encode module signatures. See:…
We don't have to encode arbitrarily large natural numbers. Rather we have to encode the rules that allow us to construct them (which is quite simple actually). And, I think 'digital physics' is more compatible with…
I see this as a last ditch attempt by Microsoft to stay semi-relevant. Of course this was the great promise of .NET to begin with, but it seems rather late to exercise the option now (some 15 years or so after .NET was…
> F# has a number of these specific implementations but they're kind of "hard-coded" in the language rather than fully extensible. That's not true. You can extend the language yourself with "computation expressions"…
The operators on collections always have alternate named forms. I actually instinctively skip over the operators when perusing the documentation and have no trouble at all finding what I need.
I think a succinct way to put it is: on-the-fly "profile-guided optimization". A good JITter will do this automatically (as you said).
Downvoters: if you disagree, feel free to post an attempt at a refutation or somehow otherwise explain your vote.
Not to be 'that guy'TM but I think your last sentence is missing at least a word. Also, there are comma splices throughout. :) [Maybe that was the real reason you had trouble finding a job writing]. [just kidding] :)
But the reals are irrelevant as far as Incompleteness is concerned. He's obviously confused.
I'm not so sure that the pharaoh in the background was impressed.
It doesn't take 'infinite complexity' [your term] to encode the natural numbers. Rather it is only a handful of axioms. See: http://en.wikipedia.org/wiki/Primitive_recursive_arithmetic Pretty much any system of logic…
That premise is definitely true. It is a result of Gödel's Incompleteness Theorems. 'Physics' certainly satisfies the constraint: 'of sufficient complexity to encode the natural numbers'. See:…
Rust is not your typical lower-level language though. It supports a lot of the features that functional programmers expect. It is an eagerly evaluated language that lets you drop to 'unsafe' code where necessary but in…
Only if you are inside the cult could you possibly believe that. Do you also think that Jim Jones was an expert on the New Testament teachings? If you take his word for it, of course he was.
Only if you are inside the cult could you possibly have that opinion. Do you also think that Jim Jones was an expert on the New Testament teachings? If you take his word for it, of course he was.
See: https://news.ycombinator.com/item?id=8605321
I think the right way to think about that is: "what solutions has lack of generics prevented me from writing?". From the expressive end of the power continuum, Go is way down there (somewhere below Blub probably).…
The portion of that material which is requisite is obviously a strict subset of the entirety of the material. But, for one to flippantly say "I've read it" without even establishing what "it" is, seems a bit dismissive…
If this area is going to be marked off, then I would appreciate my mod points being restored as well. If you look at my original response, it was pointing out the fallacy in a very particular claim (and nothing…
To the siblings to this post: it seems rather unlikely as the research is being generated at a rate that far exceeds any one person's ability to read it (especially when they are already busy marrying C and CSP [which…
Totally serious. And, it's not just the lack of generics-- that's just the tip of the iceberg.
Probably a combination of both really. I get the sense that the 'Commander' hasn't done the requisite reading.
Which will have no bearing on the case of Go. Go has already been relegated to the bottom of the quality bin for my purposes by its designer(s)' ignorance of the last 30 years of type system research and hostility…
Nope, nothing at all like that.
There is an encoding supporting that level of abstraction (perhaps though not as straightforward as you'd prefer); namely using interfaces (which are first-class) to encode module signatures. See:…
We don't have to encode arbitrarily large natural numbers. Rather we have to encode the rules that allow us to construct them (which is quite simple actually). And, I think 'digital physics' is more compatible with…
I see this as a last ditch attempt by Microsoft to stay semi-relevant. Of course this was the great promise of .NET to begin with, but it seems rather late to exercise the option now (some 15 years or so after .NET was…
> F# has a number of these specific implementations but they're kind of "hard-coded" in the language rather than fully extensible. That's not true. You can extend the language yourself with "computation expressions"…
The operators on collections always have alternate named forms. I actually instinctively skip over the operators when perusing the documentation and have no trouble at all finding what I need.
I think a succinct way to put it is: on-the-fly "profile-guided optimization". A good JITter will do this automatically (as you said).
Downvoters: if you disagree, feel free to post an attempt at a refutation or somehow otherwise explain your vote.
Not to be 'that guy'TM but I think your last sentence is missing at least a word. Also, there are comma splices throughout. :) [Maybe that was the real reason you had trouble finding a job writing]. [just kidding] :)
Downvoters: if you disagree, feel free to post an attempt at a refutation or somehow otherwise explain your vote.
But the reals are irrelevant as far as Incompleteness is concerned. He's obviously confused.
I'm not so sure that the pharaoh in the background was impressed.
It doesn't take 'infinite complexity' [your term] to encode the natural numbers. Rather it is only a handful of axioms. See: http://en.wikipedia.org/wiki/Primitive_recursive_arithmetic Pretty much any system of logic…
That premise is definitely true. It is a result of Gödel's Incompleteness Theorems. 'Physics' certainly satisfies the constraint: 'of sufficient complexity to encode the natural numbers'. See:…
Rust is not your typical lower-level language though. It supports a lot of the features that functional programmers expect. It is an eagerly evaluated language that lets you drop to 'unsafe' code where necessary but in…