Viewing profile — cdsmith

That is certainly an interpretation that has been retrofitted onto the motto...

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 significan…

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 …

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 e…

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 invol…

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 kn…

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…

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 proposer…

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 can…

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…

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.…

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 …

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 ther…

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 …

As the author, I have just updated the article to try to make this clearer. Thanks.

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 anythi…

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 …

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 …

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…

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 educationa…

> 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 ri…

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 Prelu…