Dewie

97 ms·

961.
by Dewie 12y ago
> Why do you get a composition of functions by applying a functor to individual functions? It seems like a functor is just something you can map over. When a functor is mapped over the end result is another functor. Not a function nor a
962.
by Dewie 12y ago
> Why is that called a functor instead of an iterable or enumerable though? Probably because 1) it is inspired by category theory rather than some interface/signature from another programming language 2) "Iterable"/&q
963.
by Dewie 12y ago
Such arrogance
964.
by Dewie 12y ago
I don't think a beginner would be in a position to judge what is 'jargon' and what is essential terminology.
965.
by Dewie 12y ago
What does it matter? No type-system will magically know ahead of time what the contents of the file will be before you run the program, but it can force you to do the appropriate checks when you do read it from the file.
966.
by Dewie 12y ago
> Can the typechecker ensure that your matrices (constructed from files) have compatible dimensions to be multiplied together? It seems so http://stackoverflow.com/questions/8332392/type-safe-matrix-...
967.
by Dewie 12y ago
Well... modern Fortran has pure procedures, at the least.
968.
by Dewie 12y ago
> Typecheckers definitely do things. But are those things interesting? That seems like asking "seat belts definitely do things, but are those things interesting?"
969.
by Dewie 12y ago
Yes, that seems to be a commonly envisioned "end game". Maybe at first we create virtual realities which are much cheaper and less dangerous to experience than the real thing . Then we find out that sensory inputs on that level o
970.
by Dewie 12y ago
Sure Madrid has pretty good public transportation. But it also has an almost mysterious lack of bicycles. I have maybe seen a handful of them outside of parks. Not that I needed one myself, but it was just surprising to me.
971.
by Dewie 12y ago
From what I've seen, the by far biggest thing that Rust and Go have in common is that when one of them mentioned on HN, the other is very likely to be mentioned, too. Beyond that, I don't see much similarity.
972.
by Dewie 12y ago
> It's one of the most beautiful places on the planet, When people say this, do they literally mean one of the most beautiful places on Earth , or do they really mean really beautiful ? This might be an obtuse question, but the li
973.
by Dewie 12y ago
Good or bad climate is pretty subjective, so it depends on what you prefer, I guess. From Wikipedia (measurements from the airport), the whole 'it always rains' seems like an exaggeration - ~960 mm a year, less than other major US
974.
by Dewie 12y ago
Developing a lot of relatively small programs seems like a good way to get experience with the language, find issues with it, report them, etc.
975.
by Dewie 12y ago
I think Catalonia is richer (per capita) than the rest of Spain, so hourly rates in Barcelona might be higher than in other major cities.
976.
by Dewie 12y ago
An alternative to static types are runtime assertions - check that the two arguments to an add function are integers before performing the operation. Then the type system (strong, dynamic typing) is definitely part of the code of the prog
977.
by Dewie 12y ago
I was more convinced by someone who replied to that post (psnively). He seems to be saying that type systems can't model the world as we know it perfectly, in which case it sounds like a Nirvana fallacy - we can model a lot of things t
978.
by Dewie 12y ago
> If you come up with a language design that is guaranteed to be memory-safe, eliminates array bound checks in most realistic use cases, and can be used by regular programmers, you will be hailed as a hero. I'm not exaggerating at a
979.
by Dewie 12y ago
I'm pretty sure that it is possible to make a function in Haskell which, while it mutates variables, these variables are all local, so you are still able to offer up a purely functional interface to the world outside of that function.
980.
by Dewie 12y ago
It seems that many professional programmers like to program on their spare time, maybe in order to use other technologies or something else. And yet companies like these want to be able to enforce that they can take over all that code produ
981.
by Dewie 12y ago
Pascal?
982.
by Dewie 12y ago
Is Go even faster than Java at this point? Last I saw, it wasn't quite there. The only comparison with regards to Java was with the representation of integers, IIRC, which isn't really a native vs VM issue.
983.
by Dewie 12y ago
I'm saying that people who are really hateful online have issues that are deeper than simply having pent-up aggression/restlessness that can be channelled through some physical activity or sport.
984.
by Dewie 12y ago
> Why do you want to change the world? Because you want to be great in the eyes of others! Or because they want to make a positive impact on the world. Changing the world is just an extreme version of that. Is that an actual reason, or
985.
by Dewie 12y ago
> For example, I wonder how much the assorted aggressive nastiness you find online is basically a burst valve from sedentary people who really just need to go hit a ball or run hard for an hour? Physical venting/channelling seems li
986.
by Dewie 12y ago
You probably have other examples anyway, but I wouldn't consider learning bluegrass songs via youtube videos as a use of social media. > You can (and probably should[1]) Did you forget to add the [1] footnote?
987.
by Dewie 12y ago
To some degree, perhaps. But some people might be more motivated by the money, or "changing the world" (apparently apps can change the world), or something entirely different.
988.
by Dewie 12y ago
> in this case is best described by Eric Raymond's "Curse of the Gifted" [0]. She's smart, intuitive, and hadn't had any trouble in academia before. When things get really complicated in college, everything colla
989.
by Dewie 12y ago
Guesses native language: 1. English 2. Chinese 3. Greek Guesses dialect: 1. Australian 2. Singaporean 3. American (Standard) I'm Norwegian.
990.
by Dewie 12y ago
That might well be for sufficiently advanced combinatorics or information theory. But I have done just fine without calculus tools in my computer science degree (not purely computer science or math, though), which I'll be starting on t

More ›