Haskell tutorial for C programmers

http://www.haskell.org/haskellwiki/Haskell_Tutorial_for_C_Programmers

by foulas • 12 years ago

177 51 12 years ago

austinz• 12 years ago

This is great, and I've bookmarked it for reference while reading LYAH. Thanks for writing it.

For anyone who needs a refresher on DFA, Stanford's CS143 compilers class course materials are up on Coursera (https://www.coursera.org/course/compilers), and pretty helpful.

giuscri• 12 years ago

Uhm ...great perspective!

im3w1l• 12 years ago

What this means is that existing sort functions such as mergeSort and quickSort would need to be rewritten to sort values of the new type. In constrast, here is the type of mergeSort in Haskell mergeSort :: Ord a => [a] -> [a]

Er, you could define mergesort using templates in c++ and it would work pretty much the same.

DannoHung• 12 years ago

How do you express the Ordinality constraint in C++?

GeneralMayhem3• 12 years ago

Multiple inheritance from a purely virtual class. In Java, they're called interfaces; Comparable is the analogue to Ord.

The advantage that Haskell's typeclasses have over either Java or C++ is that the types aren't closed. I can define a new typeclass and tell the compiler that a type you defined is a member of that class at any point. In Java, if you don't define that your type is Comparable, there's nothing that I, as a consumer of your type, can do about it.

cozmorado• 12 years ago

Concepts will accomplish this when they finally make it into the standard.

Rusky• 12 years ago

The existence of an operator< or the existence of a template specialization. Not as nice, and incapable of runtime polymorphism, but that's typically how it's done. Concepts would have been more explicit about it but they're also compile-time only.

Interfaces or pure virtual classes are not the same because they're closed.

GFK_of_xmaspast• 12 years ago

Yeah, I don't get why that's superior to something like std::sort : http://en.cppreference.com/w/cpp/algorithm/sort (or a similar approach however you like).

acomar• 12 years ago

The difference is entirely in the types. A sort function in Haskell has type:

    Ord a => [a] -> [a]

You therefore know that the implementation of the function can only make use of functions provided by Ord, and manipulation of the list structure. The function cannot inspect the values in the list except via comparison. This is an incredibly powerful guarantee. It's also really useful when you go to implement the function because this level of parametricity guarantees that there are only so many valid implementations and only a couple of them are even close to correct.

Kiro• 12 years ago

Great! A Haskell tutorial for JS or PHP programmers would be awesome.

tosinaf• 12 years ago

Or you could try being functional in JS, there are some good resources on that.

judk5• 12 years ago

An statically typed JS environments with type inference and laziness?

tinco• 12 years ago

How would it be different? JS and PHP are near identical to C.

judk5• 12 years ago

How do I port closure-heavy prototype-based objects from JS to Haskell? This isn't near identical to C.

vendakka• 12 years ago

This makes for very good reading indeed. I started reading it and just now realised that I'd spent the last couple of hours on it. It's written well, approachable and very pragmatic. I spent a short while on Haskell a few years back and stopped after 3 or 4 chapters of Learn You A Haskell due to time constraints. I think I'm going to make this my evening reading and finally pick up the language.

Thanks for posting this.

EDIT: typos

Peaker4• 12 years ago

That's great!

Don't expect to "pick up the language" in an evening :)

Haskell takes a few evenings at the very least!

cgag2• 12 years ago

Chris Allen / coolsunglasses maintains a great gist of a learning path for haskell: https://gist.github.com/bitemyapp/8739525

The current intro course looks really nice: http://www.seas.upenn.edu/~cis194/lectures.html

akurilin• 12 years ago

That gist is a fantastic resource, strongly endorsed.

nardi• 12 years ago

This gist was what helped me finally learn Haskell, after failing on my first two tries.

kahaw• 12 years ago

This is great, now I just need a similar tutorial but for LISP.

CyberShadow• 12 years ago

Here's an interactive one:

http://www.eblong.com/zarf/zweb/lists/

Bit dated, though :)

cnvogel2• 12 years ago

Oh my, another tutorial. I've looked at many of them, trying to learn something from the Haskell way. And I think I get the fundamental advantages of the type systems, the lazy evaluation enabled by the languages purity, I think I can somehow make sense of the Monads even. I have the "learn you a haskell for good" on a pile of books where I have a glimpse from time to time.

Most tutorials and books are very enthusiastic in how they can detect that I try to zip two lists of different cardinality during compile time, or how they can lazily calculate the Fibbonacci sequence. And that's really nice and fine...

But nevertheless, I use C all of the time, and I learnt how to make use of a myriad of libraries, combine connections to a SQL database, embedd a webserver, talk to USB,... Must have been 20 years ago that I wrote code to calculate the Fibbonacci sequence.

So, where are tutorials that showcase all the wonderful "high-level" functionality that has already been written for Haskell, so that I, after reading through the text, will be thrilled how much work I can avoid, or how much security I can gain when switching over from my "almost bare-matel not-much-more-like-an-assembler C" to Haskell? Not in calculating the Fibunacci sequency, but in writing a backend for my web-app, or talk to a USB peripheral? Do 3D graphics?...

Dewie• 12 years ago

These kinds of questions feels like they're treading the fine line between being honest inquiries, and dares.

cnvogel2• 12 years ago

Of course you don't have to believe me, but I'm genuinely puzzled why apparently most tutorials spend such an disproportionate amount on these more theoretical explanations.

One explanation of course might be that a lot of the crowd looking into this are coming from a computer-science background where they are more enthusiastic about the basics. And to them, the fact that (after a lot of coding chores, writing up libraries) it eventually will make sql-injection harder, or parallel handling of web-service faster will be seen just as a logical consequence not worth making a lot of fuzz about.

But for attracting a larger community one has to make the gains for the average programmer more visible.

3rd3• 12 years ago

I know your comment is more targeted at tutorials, but in case you don't know the book Real World Haskell explores, as the name implies, some real world problems: http://book.realworldhaskell.org/read/

virtualwhys3• 12 years ago

Agreed compared to RWH, LYAH was next to useless for me. RWH could use a refresh though (published in 2008), hopefully a 2nd edition will be in the works at some point.

wraithm1123• 12 years ago

There are helpful tutorials for all of the things you've mentioned. I think that part of the problem is that people don't go looking for these things. If you want to write a backend for a web-app, there are three frameworks that are all mature: Snap, Yesod, and Happstack. There are tutorials, books, and documentation for all of these frameworks. If you want to do 3D graphics, there are some pretty straightforward bindings to OpenGL, again with tutorials and documentation. If you want to talk to a USB peripheral, there's the usb-safe. For databases, there are a myriad of options and tutorials for those.

The tutorials are all out there, but one is going to have to have a pretty solid grasp on Haskell before one can understand them, just like with any other language.

virtualwhys3• 12 years ago

For databases, there are a myriad of options and tutorials for those

Where? The only half appealing type safe query DSL that I've found for Haskell is Esqueleto, and that features a blank github readme[1] o_O

[1] https://github.com/meteficha/esqueleto

nbouscal• 12 years ago

If all you've done is looked at tutorials and glimpsed at a book, I think it's very unlikely that you actually get the advantages or really understand any of the patterns like Monads. Write some code. The only way that you'll actually grok the language and get any of the benefits from learning it is if you actually write code in it.

nutate• 12 years ago

I feel like the defunct PLEAC site page on Haskell sums up most autodidactic folks experience with Haskell: http://pleac.sourceforge.net/pleac_haskell/index.html

Oh cool, you can do everything, right up to something useful. At which point you should use this library for side effects, no wait, this new library, oh wait, have you tried this new feature that's only in the latest GHCi and w/ the right Data import? ... eh, maybe I'll pass.

Still doesn't stop me from playing around now and thien. Right now the resources here: http://www.seas.upenn.edu/~cis194/

and the new book Beginning Haskell, seem to be alright.

yiransheng• 12 years ago

This tutorial itself has a zip file of non-trivial examples, if you scroll down to the last section.

rfrey• 12 years ago

@kissthblade: Your comment (dead) below is very sad. You've been hell-banned for more than a year and a half. It doesn't just seem like nobody is seeing your comments, it's true.

For those without showdead on:

"I posted about the same comment as the parent hours ago. I don't know if anybody even sees my posts, never gotten a response, and my "karma" or something has always been 15. And posting and reading the forum is very slow. What gives?"

Looking through your comments, I don't see an obvious reason you were hellbanned.

consz• 12 years ago

This happened to me, too. I spent about a year replying before finally seeing someone mention I was hell banned. I also wondered why the forum was so slow, but it's not particularly well coded so I just assumed its always been like that.

judk5• 12 years ago

This is why it is important to use a different account on each of your browsing devices, with [showdead] so you can see of you got hellbanned.

But I guess if you can do that, you would also recognize the effects of a hellban on your account.

TuringTest• 12 years ago

Is that something common at Hacker News? I find it worrisome that someone can be banned from a community and not even be aware of it. What's the point of punishing wrong behavior if the one making it isn't aware that it was wrong?

I'm trying to grasp how moderation and banning works around here, but it's difficult since neither the FAQ nor the posting guidelines have an explanation about it.

Haskell tutorial for C programmers

Related Stories