kenko

22 ms·

181.
by kenko 13y ago
> This style is enforced by warnings for important types, such as errors. How do you inform the compiler that a type is important? You might not be using the standard Result type.
182.
by kenko 13y ago
It seems as if several of the author's problems come, oddly for someone who's used both strict (Pascal) and non-strict (Haskell) langauges, from being confused about Racket's strictness. Why is time a special form? Because ot
183.
by kenko 13y ago
Yes. But this physical thing, of which there is only one, or the act of releasing this physical thing, is the "artwork" in question, beyond the music.
184.
by kenko 13y ago
Albums themselves, the physical things, rarely are.
185.
by kenko 13y ago
Why is leaving after five the way one demonstrates caring about the business/product/team? Why isn't it just as plausible to say: "I care about the business/product/team, which is why I leave at 5 every day, or
186.
by kenko 13y ago
Seriously, considering the top comment right now, HN is the last place to look for common-sense advice on this issue.
187.
by kenko 13y ago
Lots of bookstores, cafes, antique shops, whatever, are labors of love. And not only things like that. A bakery---a good bakery!---exists to make good bread. It has to sell that bread and cover its costs, etc., in order to do that, but it d
188.
by kenko 13y ago
There's a lot of room between "exist to make money" and "must make money in order to exist". Like, a staggering amount of room.
189.
by kenko 13y ago
It seems to me you can't generalize about what people are planning on doing based on where they're currently employed. Maybe it seemed like a good job at the time or there were exogenous reasons to take it or they didn't kn
190.
by kenko 13y ago
I'm not anti-gay, I just want gay people to be second-class citizens!
191.
by kenko 13y ago
AFAICT you mention Felix whenever OCaml comes up, generally saying more or less the exact same thing each time.
192.
by kenko 13y ago
This is a funny comment to read on Hacker News.
193.
by kenko 13y ago
"It is unfortunate that so many people are stuck in jobs that don't offer sufficient time off." If only there were some kind of national organization that could mandate that all employees receive a certain minimum amount of t
194.
by kenko 13y ago
So, no one gets the joke, huh?
195.
by kenko 13y ago
Yes, and the other thing I find baffling is that a trivial post talking about something that would be covered in the first part of any baby logic course---before you even get to quantifiers!---is currently ranked as high as it is.
196.
by kenko 13y ago
The fact that "signed out" and "signed in" are opposites is not a logical fact; there's no general inference from "not p_out" to "p_in". If you had "outside" and went from !outside?&quo
197.
by kenko 13y ago
"cloact" is ... not a good name.
198.
by kenko 13y ago
The transition from !signed_out? to signed_in? is entirely non-logical, so it's hard to see what it's doing in this post, which is supposedly illustrating logical laws (two of the most elementary logical laws, at that, that I&#x27
199.
by kenko 13y ago
I for one prefer the (appropriately) unthinking anti-intellectualism. Hacker News.
200.
by kenko 13y ago
Why OCaml over ML?
201.
by kenko 13y ago
Hobbes Mail makes no sense; either you're in the condition of the war of all against all (no thanks) or you've surrendered everything to a single sovereign (no thanks).
202.
by kenko 13y ago
"where to get off" has at least three interpretations---the one you note, one in which you insulte the Parisienne (why a Parisienne? Why not the English word, which has the advantage of being gender-neutral, "Parisian"?)
203.
by kenko 13y ago
Razor blades are very compact, though, not like a year's worth of paper towels.
204.
by kenko 13y ago
Great to see Slee's stuff posted here.
205.
by kenko 13y ago
Actually, apples hybridize very easily.
206.
by kenko 13y ago
"By definition of the length of a day, if you are sending any serious volume of emails then most of them are going to be short." Or you could type fast.
207.
by kenko 13y ago
> Some of us don't view that as a wanted feature. No doubt! But someone who was describing his or her fondness for Haskell's type system---the person I was initially responding to---probably does. I'm familiar (though not
208.
by kenko 13y ago
MY MISTAKE: it wasn't Ambrose but someone else (Michael Klishin) who compared Typed Clojure to Dialyzer.
209.
by kenko 13y ago
No, I can't. I claimed that Typed Clojure doesn't get you the expressive power of Haskell's type system. I understand that Typed Clojure has some sophisticated facilities for refining types, and (e.g.) tracking what keys a ma
210.
by kenko 13y ago
Ambrose explicitly likened Typed Clojure to Erlang's Dialyzer on the Clojure mailing list. The description of Dialyzer on erlang.org, "a static analysis tool that identifies software discrepancies such as type errors, unreachable

More ›