cdsmith

5 ms·

1.
Project: Voronoi Mosaics(cdsmithus.medium.com)
1 points by cdsmith 3y ago|0 comments
2.
by cdsmith 5y ago
That is certainly an interpretation that has been retrofitted onto the motto...
3.
by cdsmith 5y ago
As for why... it's complicated. On the one hand, this is a change whose software engineering benefit is very small. (There is a small performance advantage, but it's not significant.) It has a large aesthetic benefit, though, in
4.
by cdsmith 5y ago
One of the most important lessons learned by the Haskell community is that we shouldn't worry about whether complete type inference is possible. We should worry about whether type inference can be maintained in the easy cases, while f
5.
by cdsmith 5y ago
Yeah, I'd say that Haskell has done a phenomenal job for most of its history of maintaining a balance between the interests of researchers, commercial programmers, educators, and enthusiasts/hobbyists. At different times, each of
6.
HMock: First Rate Mocks in Haskell(cdsmithus.medium.com)
3 points by cdsmith 5y ago|0 comments
7.
by cdsmith 5y ago
Fair enough. For my part, I didn't include that comment as just an obligatory remark, though. I did so because it occurs to me that, for instance, the only tech community I'm involved in where I have regularly met people who ide
8.
by cdsmith 5y ago
As the author of the article, I hope it's clear that we're talking about the community that has formed around the programming language. Racial diversity isn't, to the best of my knowledge, mentioned at all in the Haskell Rep
9.
by cdsmith 5y ago
Thanks for the question. I'm the author of the article, and I can talk about why I included that paragraph. It's not because everything has to be about racial diversity. Rather, it's because I was already writing about som
10.
Why I Support the Haskell Foundation(cdsmithus.medium.com)
121 points by cdsmith 5y ago|37 comments
11.
by cdsmith 5y ago
To be clear, the algorithm is proposer-optimal only when compared to other stable matchings. It is still possible that there exists some other matching that would make all proposers happier. It just won't be stable: there will be s
12.
by cdsmith 5y ago
If the result of the election is the choice of two finalists, then as long as there are more than two candidates, there are more than two possible outcomes. For example, if the candidates are A, B, and C, then the possible outcomes are: (A
13.
by cdsmith 5y ago
Author here. No, it doesn't mean that. If the election is held to determine who wins, then the outcome is who wins, and everyone has opinions about that same outcome. Contrast this to the matching problem, where the outcome is where
14.
by cdsmith 5y ago
Keep in mind that this article was written by a reporter who was unable to talk to the district, and got all their information from a lawyer representing the kid who was suspended. The district itself is prohibited from releasing any infor
15.
by cdsmith 5y ago
Something's weird with that. Gwinnett County schools are out for the summer starting late next week. Most of the "three months" will be when school isn't in session, unless he was planning to attend summer school.
16.
by cdsmith 5y ago
Mathematicians use words differently. What you're talking about is what the article calls a generalized continued fraction. Generalized continued fractions are not unique, and there are actually many of them for pi, which have differ
17.
by cdsmith 5y ago
It's actually worse than that. Even knowing the very first term of the continued fraction result would already tell you that the number is at least 2. So the computation will hang without ever producing even a single term. This is a
18.
by cdsmith 5y ago
As the author, I have just updated the article to try to make this clearer. Thanks.
19.
by cdsmith 6y ago
I'm puzzled that you feel we are losing this, when it seems clear that with every passing day, we are moving further and further into a world where anyone can freely express anything they like. You and I and everyone around us has the
20.
by cdsmith 12y ago
That's exactly what it is. It's all Haskell, just with tuples as arguments. If you want normal Haskell back, just do this: {-# LANGUAGE NoImplicitPrelude #-} import HaskellPrelude import CodeWorld -- for pictures,
21.
by cdsmith 12y ago
Yes and no... not to make it easier, per se, but to make it more like math. I built CodeWorld, not to teach Haskell, but to teach middle school math! So the main motivation was to make it easier for students to see the connection between
22.
by cdsmith 12y ago
Hey! I built CodeWorld. Thanks for the kind words! Yeah, the examples are a mess right now. Let me point you to a couple things: first, there's a partially complete tutorial (click the Help button) with some simple examples. Second
23.
by cdsmith 12y ago
There are various arguments for the benefits of functional programming. But that's really beside the point here. In this particular case, the point was that I created an educational tool for teaching mathematics. It happens to involv
24.
by cdsmith 12y ago
> I don't get this example. If the function is f = t, where t is time, then f will give different results on Wed and Fri. I assume you meant something like f(t) = t? If so, then right, if you pass in the current time as a parameter
25.
by cdsmith 12y ago
It's worth mentioning that the tool this blog post is about defines a simplified version of Haskell's standard library. In particular, there are no type classes exported from Prelude, much less monads or functors. In the end, it
26.
by cdsmith 12y ago
Basically, the difference is that in a functional programming language, words like "variable" and "function" have the same meaning they do in mathematics. In C or Python, a "variable" is a storage location in w