kenko

29 ms·

211.
by kenko 13y ago
The Haskell error is made more complicated by the fact that Num is a typeclass that other types can participate in. Other type errors are more tractable: Prelude> 'a' : 'a' <interactive>:3:7:
212.
by kenko 13y ago
This doesn't get you anything like the expressive power of Haskell's type system, though.
213.
by kenko 13y ago
You can take solace in the fact that Typed Racket actually does optimizations based on the types. Typed Clojure is more like a linter, AFAICT.
214.
by kenko 13y ago
Elsewhere in the file he matches on things like "rename the variables": https://github.com/hraberg/shen.clj/blob/master/shen/src/pro...
215.
by kenko 13y ago
Maybe so, but the characterization makes little sense. ETA: maybe the idea is supposed to be, since Mayer read this book, she would never succumb to similar sins: she's sure to be cognizant of what she's earned vs. what's sim
216.
by kenko 13y ago
"There was one interesting thing I learned from Carlson’s article: Mayer was inspired in high school when she read Joseph Conrad’s Heart of Darkness with a great teacher. If you’ve read the book, you’ll know it’s about a wary ingénue i
217.
by kenko 13y ago
"(In Haskell, all function are pure by default, and you escape the confines of purity via monads.)" This is not true. Nothing about monads, in themselves, allows you to write impure functions.
218.
by kenko 13y ago
No? (If it really is just writing down a bunch of zeroes, though, it probably doesn't take a whole hour.)
219.
by kenko 13y ago
How is this not about Francis Galton?!
220.
by kenko 13y ago
Your justification for tying everything together, not only a single method of signing on but a single pervasive identity, was just that ... it's a single person using the things. That's not a very good justification. And your exam
221.
by kenko 13y ago
"The word "I" showed up in both of those sentences. To most users, unifying all of their data adds a lot of value." So you want your every identity online to be tied together? Your usenet posts to alt.sex.hello-kitty, yo
222.
by kenko 13y ago
"thing I use to send email" and "thing I use to watch music videos" are not conceptually distinct? Most users would send as emails to others the kinds of things they leave as comments on youtube?
223.
by kenko 13y ago
"Google is simply trying to unify their services." Right, well, that's the problem. Google wants to unify their services, but I don't want to use the thereby unified services, which are, after all, conceptually distinct
224.
by kenko 13y ago
And that's why the RE2 implementation has existed equally long! Oh, wait.
225.
by kenko 13y ago
Whoa, is that really happening? It seems as if people having been talking about it/pushing for it for ages.
226.
by kenko 13y ago
Well, once upon a time, "disruption" had a real meaning. "Disruptive innovation" as a contrast with "sustaining innovation" that makes an existing thing better. Corollary (quoted from elsewhere): "If the e
227.
by kenko 13y ago
A few of these would be big turnoffs for me: - everything at the office (both nine and ten): how about reasonable work hours so I can do things outside the office? - $500 if I live nearby: if this is just out of respect for the deleterious
228.
by kenko 13y ago
Has FundersClub actually disrupted venture capital? Is this a claim that they intend to do so? Do they know what "disruption" actually means? I find the number of articles/shoddily rewritten press releases that claim that S
229.
by kenko 13y ago
"Rich argues, that defining both lists and vectors with parens (in Lisp list is '() and vector is #()) is complecting." Really? That strikes me as, well, kind of absurd. The author of the linked post complains about the use o
230.
by kenko 13y ago
Because of an older version of python?!
231.
What's wrong with technological fixes?(bostonreview.net)
1 points by kenko 13y ago|0 comments
232.
by kenko 13y ago
http://www.haskell.org/ghc/docs/latest/html/libraries/base/s...
233.
by kenko 13y ago
Sure you can: http://hackage.haskell.org/packages/archive/ghc-prim/0.2.0.0... You can't define RealWorld, though, nor (IIRC) is IO really a state monad.
234.
by kenko 13y ago
"For advertisers this is a non-starter, because it prevents you from knowing the size of your audience. All sites would immediately begin requiring some form of "login" in your scenario in order to enable tracking again.&quot
235.
Resumable exceptions for Clojure(github.com)
2 points by kenko 13y ago|0 comments
236.
by kenko 13y ago
He cares about openness so much that he makes his own decisions! Imagine that!
237.
by kenko 13y ago
IOW, worse is better in every domain.
238.
Startups: Innovation through inferiority(mrteacup.org)
2 points by kenko 13y ago|1 comments
239.
by kenko 13y ago
That fork function was defined in the library.
240.
by kenko 13y ago
I wonder what current (or perhaps past?) president of the MLA, Michael Bérubé, has to say about this. Or rather, I wonder if you wonder. I know. It's this: """ You know, I've been trying for many years now to get pe

More ›