Cooking with Lisp

Another blog about Lisp, the world's greatest programming language.

Monday, April 11, 2005

Haskell and the Perl Community

I've spent the last 6 months heavily studying Haskell and the semantics of programming languages. Lurking on Lambda the Ultimate has been a great resource for this. Although I was really into functional programming in the early 80's when I was in college, I really didn't pay attention to the FP world since then. I was very impressed by the amount of progress the FP community has made in areas such as type inferencing and things like monads for i/o. I would say that they progress faster than any other programming language community. Haskell is a very interesting and powerful language and I encourage Lispers to take a serious look at it. It is now my 2nd favorite language.

Now, the reason I mention this is that something very interesting is happening between the Haskell and Perl communities. They are starting to cross-fertilize. I don't think you can imagine a more stranger pairing. This started in February, when Autrijus Tang started writing a Perl 6 compiler in Haskell. He started on February 1st and had the first version in 6 days!

Here's why he chose Haskell:
Many Perl 6 features have similar counterparts in Haskell: Perl 6 Rules corresponds closely to Parsec; lazy list evaluation is common in both languages; continuation support can be modeled with the ContT monad transformer, and so on. This greatly simplified the prototyping effort: the first working interpreter was released within the first week, and by the third week we have a full-fledged Test.pm module for unit testing.
A large portion of a Perl 6 compiler and interpreter was only 4,000 lines of Haskell. That's an incredible amount of productivity and expressive power.

You can follow Autrijus' blog to read the phenomenal daily progress.

Now, even more amazing, is that the project has drawn members from both the Perl and Haskell communities to contribute code. The Perl folks' new experience with Haskell is even feeding back into the Perl 6 design process.

I can't think of any other case where two different programming language cultures literally at the opposite sides of the universe have come together like this.

This interview with Autrijus is very interesting reading on how he got hooked up with Haskell, his experiences with it, and the cross-fertilization.

31 Comments:

At 4:39 AM, Anonymous Szymon said...

Can I `steal' this blog entry, please?
Regards, Szymon.

 
At 9:01 AM, Blogger Glenn Ehrlich said...

Yes, go ahead.

 
At 10:00 AM, Anonymous Szymon said...

Many Thanks.

 
At 7:58 PM, Blogger Katrina said...

Great info. I've now subscribed to this blog feed so I can access it within my rapid prototyping machine site. This will make your blog one click away for me.

 
At 8:53 AM, Blogger Katbo said...

Is this blog feed live? I'd like to subscribe to it using my aggregator. It's possible that my site rapid prototyping can get your feed automatically so I can keep up with our design and cnc posts here.

 
At 6:47 PM, Blogger Katbo said...

Great info. I've now subscribed to your blog feed so I can access it from my sheet metal prototyping site. I should make it easier to read when I'm busy. Thanks.

 
At 8:02 PM, Blogger Katbo said...

Great info. I've now subscribed to your blog feed so I can access it from my rapid prototyping tooling site. I should make it easier to read when I'm busy. Thanks.

 
At 10:17 PM, Blogger Katbo said...

Is this blog feed live? I'd like to subscribe to it using my aggregator. It's possible that my site rapid prototyping can get your feed automatically so I can keep up with our design and cnc posts here.

 
At 10:13 PM, Anonymous Anonymous said...

Consider the power of being able to create incoming links to your site any time you want them...

 
At 11:59 PM, Blogger WDM Info Services said...

Your Blog is Awesome, blog tv is the easiest way to get your blog read by more people.

blog tv has always been my thing

 
At 10:33 PM, Anonymous Anonymous said...

And A Link Back To Your Web Site Excite You?

 
At 12:59 PM, Blogger WDM Info Services said...

I like your blog, I found it looking for online blog quiz. Could you add it to my favourite blog directory please. It has lots of blogs relating to online blog quiz

 
At 1:48 PM, Anonymous Anonymous said...

nice blog enjoyed it :)

Keep up the excellent work! and i bookmarked u!
!

 
At 7:09 AM, Anonymous Anonymous said...

What If This Could All Happen Automatically,
with a simple push of a button.....

 
At 6:38 PM, Anonymous Anonymous said...

Want to register better domains with better keywords? Want to host the sites better as well? Check out test post!

 
At 3:57 PM, Anonymous Anonymous said...

Would The Thought Of Thousands Of Other Web Site's All Displaying Your Content,

 
At 3:45 PM, Anonymous Anonymous said...

Yo, This blog is pretty neat. You should check out mine sometime. It pretty much covers stay home mom make money related stuff.

 
At 1:31 AM, Blogger Editor said...

hey great blog, you're interested in campfire cooking right? I have the best website about campfire cooking

 
At 6:49 AM, Blogger Editor said...

Hey there, great blog.. I wanted you to know that I'll launch my new website about diabetic cooking soon. Not only it will include diabetic cooking it will include everything about cooking. Check it out in a week or so.. diabetic cooking I'm creating ebook covers and newsletters rights now.. Have a great day.

 
At 5:54 PM, Blogger Paul Adams said...

Hey Fellow, you have a great blog here! I have a web
site & blog about web site that make money.
Yours is top-notch!
If you have a moment, please visit my site
web site that make money
I wish you all the best!

 
At 12:59 PM, Blogger James Baker said...

Hello Friend! I just came across your blog and wanted to
drop you a note telling you how impressed I was with
the information you have posted here.
I also have a web site & blog about Web Site Hosting so I know I'm talking
about when I say yours is top-notch! Keep up the
great work, you are providing a great resource on the Internet here!
If you have a moment, please visit my site Web Site Hosting
Best success!

 
At 6:49 PM, Anonymous Hi neighbor said...

Hi neighborHi neighbor surfing around and say your blog and just wanted to say Hi neighbor. Also I am looking to trade some links if interested.

 
At 7:50 PM, Blogger sihrnguwhe0rh said...

http://www.theonlinepromoters.com has everything a webmaster needs to succeed online. They have this traffic program thatcan bring people to your site who are looking for what you have to offer. No kidding! It really works.

 
At 2:14 AM, Anonymous Anonymous said...

Autrijus (Audrey) is a she, not a he. HTH HAND

 
At 6:25 PM, Anonymous Anonymous said...

Your blog sucks.

 
At 7:23 PM, Blogger Iza Firewall said...

This comment has been removed by the author.

 
At 8:08 PM, Blogger William T said...

This is a great post. I think that the book Higher Order Perl is leading a revolution in perl hacking. Everyone should learn LISP.

 
At 3:44 AM, Anonymous Anonymous said...

Audrey Tang is 'she', not 'he'!

http://en.wikipedia.org/wiki/Audrey_Tang

 
At 6:39 AM, Anonymous Anonymous said...

Despite this being and old (and heavily spammed) post, here goes:

Pugs was initiated by Autrijus Tang in February 2005. Autrijus (a he) became Audrey (a she) in late 2005. Which is AFTER this post was written. So don't bash the author for not being clairvoyant.

Check this interview is from Sept. 05: http://www.perl.com/pub/a/2005/09/08/autrijus-tang.html

 
At 8:19 PM, Blogger dhd said...

welcome to the wow power leveling cheap Wow gold service site, buy cheap wow gold,wow gold,world of warcraft power leveling buy wow gold

 
At 9:19 AM, Anonymous generic viagra said...

Semantics on programing languages ? it sounds very complicate, I wish you good luck with this project.

 

Post a Comment

<< Home