Death to type classes
jappie.me
Death to type classes
1–10 of 78 posts
Re: Death to type classes
#2I feel like this article would be much more approachable if it didn't assume readers already know Ocaml and Haskell and their module system
Re: Death to type classes
#3I just picture Charlie from “It’s Always Sunny in Philadelphia” connecting the dots.
Re: Death to type classes
#4I feel like this article would be much more approachable if it didn't assume readers already know Ocaml and Haskell and their module system
Indeed so, but that would require a few months worth of work from the reader, unfortunately.
(I have a t-shirt with a lambda in a circle, reminiscent of the anarchist emblem, and words "no class, no state". It's definitely possible to explain to a passer-by who never studied FP what it refers to, but not in such a way that the joke remained funny. Possibly the same deal is with the bumper sticker saying "my other car is cdr".)
Re: Death to type classes
#5I feel like this article would be much more approachable if it didn't assume readers already know Ocaml and Haskell and their module system
Yeah... meanwhile, in lesser languages, type classes is all we have.
Re: Death to type classes
#6I feel like this article would be much more approachable if it didn't assume readers already know Ocaml and Haskell and their module system
Haskell knowledge doesn't actually help because this isn't using the (very barebones) Haskell module system, but the Backpack extension: https://www.microsoft.com/en-us/research/wp-content/uploads/...
Re: Death to type classes
#7I feel like this article would be much more approachable if it didn't assume readers already know Ocaml and Haskell and their module system
Indeed so, but that would require a few months worth of work from the reader, unfortunately. (I have a t-shirt with a lambda in a circle, reminiscent of the anarchist emblem, and words "no class, no state". It's definitely possible to explain to a passer-by who never studied FP what it refers to, but not in such a way that the joke remained funny. Possibly the same deal is with the bumper sticker saying "my other car…
"Humor can be dissected, as a frog can, but the thing dies in the process and the innards are discouraging to any but the pure scientific mind." - E. B. White.
Re: Death to type classes
#8I feel like this article would be much more approachable if it didn't assume readers already know Ocaml and Haskell and their module system
It would also be a useless article. It's fine to write for an audience, if you're not in the target audience, move on.
Re: Death to type classes
#9[flagged]
Re: Death to type classes
#10 if err !== nil {
return err
}