Comments on: Hrmmm

By: Bob Evans

Bob Evans — Sun, 15 Apr 2007 22:11:58 +0000

I run OS X, and built ghc and hugs from the source, it worked just fine. The various ports collections are almost always more trouble than just downloading the source and running it yourself.

Good luck.

By: jb

jb — Fri, 09 Feb 2007 20:04:34 +0000

Hi Peter,
Yeah, I tried that before. It blew up on me. I apparently don’t have the appropriate cc compiler set up.

I found a workaround -> run WinHugs under parallels.

By: Peter Burns

Peter Burns — Fri, 09 Feb 2007 16:45:19 +0000

My path to getting Haskell running on OSX was, if I recall correctly:

1. Get Darwin ports.
2. sudo port install ghc
3. Profit.

usage:
ghc -o binary_file source.hs

By: Neel Krishnaswami

Neel Krishnaswami — Fri, 09 Feb 2007 00:17:20 +0000

The purpose of the Y combinator is to help you concretely see that the operation of taking a fixed point is something you can package up as an abstraction. The reason this is important is that it is sometimes the case that it’s very useful to have a custom fixed-point operation in an API.

Here’s a concrete example. If you have a parser combinator library, like Haskell’s parsec, you’ll see that they implement recursion in grammars using the native recursion in the programming language. This works, but has the defect that using left-recursion will make your program go into an infinite loop. However, if you have a custom recursion combinator, you can instrument it to detect that you’re looping and break out of it. This means that left-recursive grammars will work just fine. This is an API that I couldn’t have built without knowing that the Y combinator existed.

By: jb

jb — Thu, 08 Feb 2007 22:44:01 +0000

No, I’m usng MacOs X. I tried to download Hugs, and the DarwinLoader (or whatever it is called) blew up on me.

By: Shane

Shane — Thu, 08 Feb 2007 22:34:03 +0000

Just to clarify, do you mean an old school Mac OS 9 and not a Mac OS X implementation of Haskell?

By: jb

jb — Thu, 08 Feb 2007 17:27:47 +0000

Yeah, Reg, that’s where I was going as well. I believe that there are many paths to greatness, and for each person, the path is probably different.

I read an interesting article recently, which talks about the concept of “innate talent”. These scientists did some digging, and they discovered that “innate talent” is essentially shorthand for “10 years of focused practice and effort”

By: Reg Braithwaite

Reg Braithwaite — Thu, 08 Feb 2007 17:21:34 +0000

Thanks for the very generous update!

No, I’m not a great programmer. But let’s turn to something very insightful in your post:

There are all these people, and they all have different paths to greatness, different ways of recognizing “great” (whatever that is).

They could be all wrong, all full of crap.

But what if they’re right? Isn’t that very interesting, the possibility that there is such a thing as greatness, but we don’t understand very well how to develop it, or a shortcut for recognizing it?

By: Jeff Atwood

Jeff Atwood — Thu, 08 Feb 2007 09:08:05 +0000

The answer is very simple: we’re all full of crap.

By: Piers Cawley

Piers Cawley — Thu, 08 Feb 2007 06:41:12 +0000

I suppose it’s not so much that the Y combinator is directly useful, it’s more that the mental tools you need to understand it are useful.

I’m not entirely sure that that means it’s worth blogging about, but then I recently wrote an article about using continuations to implement non deterministic search on the way to solving Sudoku and Kakuro puzzles, so what do I know?

By: Reg Braithwaite

Reg Braithwaite — Thu, 08 Feb 2007 03:45:14 +0000

JB:

You’ve put words into my mouth! What I said, and still say, is that learning the Y combinator makes you a better programmer, just as you quote.

I stand by this.

Will that make all and sundry great programmers? No, for the same reason that it doesn’t make me a great programmer.

I leave you with a quote from one of my favourite movies that sums up what I actually think:

Joe Gideon: Listen. I can’t make you a great dancer. I don’t even know if I can make you a good dancer. But, if you keep trying and don’t quit, I know I can make you a better dancer. I’d like very much to do that. Stay?
Victoria: Are you going to keep yelling at me?
Joe Gideon: Probably.

That’s all.