tmhedberg

10 ms·

31.
by tmhedberg 13y ago
Personally, my approach would be to change the association list so that the values, rather than being pairs of type `(Maybe (Parser String), String -> LispVal)`, are instead just values of type `Parser LispVal`, something like this:
32.
by tmhedberg 13y ago
There are plenty of strongly, statically typed languages which do not have this problem because they have parametric polymorphism, i.e. generics.
33.
by tmhedberg 13y ago
A false dichotomy. You are correct that you can't outright prevent the writing of bad code in any language without crippling it; nonetheless, the design of a language can be contrived such that writing good code is the path of leas
34.
by tmhedberg 13y ago
I think you have misinterpreted something. There have been a lot of Vim patches recently that are dramatically improving the long-existing Python scripting support in preparation for the upcoming Vim 7.4 release. But Bram has not said anyth
35.
by tmhedberg 13y ago
Very true. Lisp's syntax is as much a component of its distinctive identity as its semantics. A language semantically identical to Scheme but without the homoiconic syntax falls far short of what Scheme is "about", despite what Doug Crockfo
36.
by tmhedberg 13y ago
Scheme (and FP in general) is much more than just first-class functions. If that's all that is required for a language to be considered functional, then nearly every modern programming language is a functional language, and the term becomes
37.
by tmhedberg 13y ago
Why not: main=undefined
38.
by tmhedberg 13y ago
> Do those you mention handle content type and encodings correctly? I honestly can't say for sure, but I've never encountered such a problem in my own usage. Maybe that just means I've been lucky. I just know from firsthand experience t
39.
by tmhedberg 13y ago
Just a few thoughts on the points you made: > * The HTTP library (Network.HTTP) is not encoding-aware. It ignores Content-Type and returns a String with some undefined encoding. So if you grab a resource which is, say, ISO-8859-1, anyth
40.
by tmhedberg 13y ago
New features are voted on not by mailing list/Google group participants but by users who have donated at least €10 to the Ugandan charity that Bram sponsors via Vim development. Also, I'm not sure in what sense mouse integration is "the obv
41.
by tmhedberg 13y ago
From the official Git README: "git" can mean anything, depending on your mood. - random three-letter combination that is pronounceable, and not actually used by any common UNIX command. The fact that it is a mispro
42.
by tmhedberg 14y ago
Nearly all marketing messages that I receive are HTML only, not multipart. In fact, this is a problem that seems almost as if it is specific to marketing spam; ordinary people who send HTML mail seem to use MUAs that sensibly send a plain t
43.
by tmhedberg 14y ago
> Until Git can ignore trailing spaces as part of the merge strategy It can: git merge -X ignore-space-at-eol
44.
by tmhedberg 14y ago
> Not everyone is used to read that math notation. Agreed, but it doesn't take more than a couple of sentences to describe the entire syntax of the λ-calculus. It's not hard to pick it up even if you've never encountered it before. Co
45.
by tmhedberg 14y ago
Agreed. I can't understand how something like function(x) {return function(f) {return f(x);};} can be considered easier to comprehend than λx. λf. f x
46.
by tmhedberg 14y ago
> (like one thing that comes to mind is recursive globbing with two astersisks, but to be honest I have no clue if maybe bash can do that too by now) It can, if you set the `globstar` option: $ shopt -s globstar $ echo **/*.tx
47.
Simon Peyton Jones on Adventures With Types [video](skillsmatter.com)
4 points by tmhedberg 14y ago|0 comments
48.
by tmhedberg 14y ago
Exposure to radiation does not make it radioactive.
49.
by tmhedberg 14y ago
Automatic garbage collection won't destroy any unreachable objects less than 2 weeks old. This is the default time window; you can override it via the `gc.pruneexpire` config option. Given this grace period, disabling AGC altogether is prob
50.
by tmhedberg 14y ago
I've interviewed at Google NY, and though I do seem to recall being asked if I knew anyone that worked there, I never got the impression that my answer influenced the outcome of the interview process. It was just a friendly, casual question
51.
by tmhedberg 14y ago
Nowhere in his post did tikhonj suggest that compilation == correctness, even in Haskell. Of course it isn't. The only people making that assumption are wyqueshocec's coworkers, and naturally they're getting burned as a result. The key poin
52.
by tmhedberg 14y ago
Not all static type systems are created equal. The sort of type checking provided by Java (and similar languages) provides far less safety than that of a full-fledged type-inferring language like Scala or Haskell. I use Ruby and JavaScript
53.
by tmhedberg 14y ago
It is only one data point among many, I admit, and it would be unfair to characterize someone's expertise based solely on their choice of email quoting style. But in my (completely anecdotal) experience, there is more often than not a corre
54.
by tmhedberg 14y ago
I agree that inline replies, when taken to the extreme that you illustrate, are more asinine than they are useful. Personally, I tend to reply to a paragraph or two at a time, a style which doesn't, in my opinion, have the same "you idiot"
55.
by tmhedberg 14y ago
Bottom-posting, due to its falling out of favor in the mainstream, has become a shibboleth that signifies a certain degree of competence with technology and Internet communication in general. While I'd certainly prefer it if everyone I corr
56.
by tmhedberg 14y ago
Sorry, but I disagree. A Haskell program emphatically does not have any concept of impurity or statefulness whatsoever, except in the form of `unsafePerformIO`, which circumvents the type system, only comes into play under "extenuating circ
57.
by tmhedberg 14y ago
It can be. A value of type `IO foo` is an ordinary, pure value just like a value of any other data type. It can be passed as an argument to a pure function, returned from a pure function, manipulated using any functions that can apply to `I
58.
by tmhedberg 14y ago
git filter-branch --index-filter 'git rm --cached --ignore-unmatch rsa_private_key' -- --all Now you have a completely rewritten repository. Anyone who cloned or forked your repo will have the old history, divergent with your own,
59.
by tmhedberg 14y ago
> You can do this with any functor. Not to be pedantic, but being a functor has little to do with the fact that you can add and remove elements from lists. Knowing that a particular type is an instance of `Functor` tells you only one th
60.
by tmhedberg 14y ago
As far as I know, the "ENT" in ENOENT refers specifically to a "dentry" (directory entry), i.e. the kernel data structure `struct dentry`, identified by a pathname in the virtual file system. It's not supposed to be a generic term for an en

More ›