freyrs3

18 ms·

121.
by freyrs3 13y ago
That's a great argument, I'm convinced.
122.
by freyrs3 13y ago
It's a metaphor that's probably understood by everyone who reads it, which is the point. Besides, the English lexicon is full of vestigial words and phrases relating to Greek polytheism, they're just as detached as this metap
123.
by freyrs3 13y ago
Arch Linux has been python3 by default for several years now. I remember it was a very controversial decision at the time.
124.
by freyrs3 13y ago
The word "simple" means many things to many people, it's probably the most ambiguous line in the Zen of Python.
125.
by freyrs3 13y ago
The shallow DSL in the LLVM monad is really nice, it looks almost like the IR itself but you can abstract over it and compose it with other code. DSLs are often overlooked when talking about monad use cases.
126.
by freyrs3 13y ago
Any name that we'd come up either wouldn't capture the general case or would be just as arbitrary as Monoid ( ignoring historical usage). The gist of this argument is that Pacabel and the like can't describe the concept using
127.
by freyrs3 13y ago
Not every monoid has an append operation, most don't.
128.
by freyrs3 13y ago
> is so firmly rooted in math jargon that it's basically incomprehensible to someone used to thinking in C++. It's firmly rooted in like 5th grade math. Every child in the US that takes basic algebra in school learns about iden
129.
by freyrs3 13y ago
You're right, why use precise language to describe abstract concepts when we could just communicate knowledge using longform metaphors and cryptic analogies. Or maybe we could just grunt at each other like animals.
130.
by freyrs3 13y ago
If you limit yourself to concepts you can express by relating them to the physical-world objects and human actions then you lack the language to express abstract concepts entirely. The words used by mathematicians are chosen to describe the
131.
by freyrs3 13y ago
You missed the point, they all come from mathematics and their meaning in the context of programming is precisely related to their mathematical context.
132.
by freyrs3 13y ago
Um, which industry do you work in? Enormous amounts of words from mathematics have been incorporated into the programming lexicon. Vector, matrix, index, graph, tree, function, domain, ... the list goes on and on.
133.
by freyrs3 13y ago
The former was chose to make a point, but I contest the fact that Monoid is extremely abstract. It's very concrete, it effectively describes an interface and if implemented according to certain laws it is a Monoid just like a Container
134.
by freyrs3 13y ago
Nothing is wrong with them. A lot of people aren't used the level of abstraction that Haskell uses, so they look at a specific instance of the structure (often the List type) and think of a name that fits that instance ignoring the mor
135.
by freyrs3 13y ago
Yeah, moving away from the abstract algebra names definitely improves clarity because ``template <typename HasABinaryAssociativeOperationAndIdentity>`` is a much better choice than Monoid.
136.
by freyrs3 13y ago
Simon Peyton Jones has always said that the secret goal of Haskell is not to get you to write Haskell but change the way you think about programming. Seems like we've failed to avoid success again.
137.
by freyrs3 13y ago
Any answer that a nutritionist would give you be couched in a whole list of qualifiers (if you have low cholesterol, if you're over the age of 65, etc) since you're asking questions about the interactions between very complicated
138.
by freyrs3 13y ago
Of course I don't have an answer. But I guess you'd have to ask how Bob might have become first conceived of the thought that fish oil supplements are good for heart health in the first place and ask why he puts faith in the sourc
139.
by freyrs3 13y ago
We don't have a full understanding of fluid dynamics either, but we still fly in airplanes.
140.
by freyrs3 13y ago
> For all the intellectual firepower of people in the tech community, there is a curious strain of anti-intellectualism that comes forth in projects like this I think a lot of people in technology scene have a strong undercurrent of ant
141.
by freyrs3 13y ago
> Also, to be frank, many languages give a false sense of knowledge portability. This is true, there's a very common psychological bias that people experienced in one domain when encountering a new subject which they find difficult
142.
by freyrs3 13y ago
> I skimmed it, tried to read it, and still have no idea what the person was even trying to do. The fact that you haven't learned enough Haskell to understand the article after skimming it doesn't make Haskell problematic.
143.
by freyrs3 13y ago
Agda has proof search, yes. But for example if you write down the expression for `and` with type holes: and : Bool -> Bool -> Bool and a false = { }0 and a true = { }1 It will deduce the following which is well-typed but no
144.
by freyrs3 13y ago
Think of how you looked at C++ code before you learned to program and you'll see the same phenomenon. Very little of your knowledge about imperative programming transfers over to Haskell so it's not surprising that you look at it
145.
by freyrs3 13y ago
Part of the issue is the wide spectrum of code of Haskell that people write. Beginners to Haskell will write code that is very radically different from the code that more experienced programmers write. Not to say that code that one writes i
146.
by freyrs3 13y ago
So then why take options at all? Statistically and economically there's little incentive to at that point, especially if management is going to create this toxic ruthless "fire fast" environment.
147.
by freyrs3 13y ago
Where the "bonus points" would probably be a Fields Medal if you could mechanically crank out a proof of Fermat's Last Theorem.
148.
by freyrs3 13y ago
> The resulting class, I believe to be more performant than using a dictionary - but I haven't actually measured this. If you didn't measure it then how did you come to believe this?
149.
by freyrs3 13y ago
C isn't that sca... Segmentation fault
150.
by freyrs3 13y ago
This is actually quite common behavior. You see this a lot in any sort of craft where you get sudden and unexpected success, they end up resenting their creation or feel some disconnect between the effort they put in and the result.

More ›