Friday, October 07, 2011

Stanford Haskell Course

This semester there is an exciting new course being taught at Stanford University, CS 240h: Functional Systems in Haskell. It's being being taught by both David Mazières and Bryan O'Sullivan. I'm TA for the course though so it isn't all sunshine and rainbows.


If having monads described as: A programmable semicolon is more intuitive then talking about how they: generalize closure operators on partially ordered sets to arbitrary categories, this is the course for you! We won't be covering semantics of programming languages. We won't be covering abstract math. We will be covering how to effectively use and understand Haskell as a systems language.


The course home page can be found here and Bryan maintains a Github mirror of all the material here. There are no video recordings of the lecture at this point as we aren't in a room with the facilities unfortunately. If the course is a success and continues in the future we will look to get recordings or maybe something like the Stanford Engineering Everywhere project.

13 comments:

comatose said...

That sounds great! Thanks!
I feel sorry for video recording.

olecr said...

Aww, would have loved to follow these lectures :-)

George Colpitts said...

Any reason why the link for Lab 2, http://www.scs.stanford.edu/11au-cs240h/labs/lab2.html, gives a Not Found error for those of us outside Stanford? Is it intentionally being withheld or os this just a permission error that could get fixed?

Thanks

David T said...

George: No the error message was correct. We only just decided on Lab 2 and added an actual page describing it, so try again and it should be there. Shout if still problems.

Anonymous said...

I am super-excited about this course. Hope this course gets added in edX soon.

Unknown said...

Why I'm afraid there is a casino that makes me rich
(I 스포츠토토 적중결과 샤오미 was in my early 토토 사이트 제작 샤오 미 20s and worked 스포츠 토토 사이트 for 토토 디비 큐어 벳 casino, one of the biggest poker sites in 하랑 도메인 North America,

wangqasim said...

Also discover associated prime sale lists of including intercourse product, sex toy store grownup intercourse toy, intercourse vibrator from certified Chinese manufacturers/suppliers at best costs on this page. Research reveals that it is more common for couples to make use of intercourse toys than single people. Another survey showed that 52% of people used a intercourse toy in a relationship .So you're not alone.

basheeratagliaferro said...

Silicone toys work higher with water-based lubricants, as do most other supplies. However, if the fabric is silicone you can not use a silicone-based lubricant or you’ll injury your dildo. No favorite sex toys record can be full with out an ode to lube. There are cheap wholesale endless shapes, all designed in your pleasure.

parthamaaske said...

Spin Casino is a “one-stop-shop” for casino traditionalists and sportsbook vets alike, and they guarantee new gamers an individualized but thrilling experience across the board. Finally, Spin Casino works intently with GamCare 리턴벳 to facilitate responsible gambling. If want to|you should|you have to} take a break from the slots, you'll be able to|you presumably can} choose to lock your gaming account for some time. GambleAware supply gamers and their families advice and guidance on gambling. They supply data and advice to encourage responsible gambling, each to gamers and casino operators, and give help to those that might need a gambling downside.

mahdivaliquette said...

California lawmakers tried to barter a deal on sports activities betting in 2020, nevertheless it didn’t work out. So this November, voters could have the prospect to weigh 카지노 on two completely different initiatives that would legalize sports activities betting. In our pattern of normal gamblers, the overall proportion of PPGM-designated problem gamblers was 7.62% (95%, CI 6.97–8.33).

salisberyfahn said...

Slot machines are a game of chance that requires no ability to play. The Malta Gaming Authority, extra commonly recognized as|often recognized as} the MGA, is a 1xbet well-renowned iGaming regulator. The organization safeguards players' rights and aims to take care of up} high standards within the industry. The MGA is a pillar of equity and transparency for players and operators alike. Casino.org is the world’s leading unbiased online gaming authority, offering trusted online on line casino news, guides, reviews and information since 1995.

Anonymous said...

Casino video games have undergone a major metamorphosis through the years before evolving and reaching the current 온라인 카지노 state that everyone knows at present. As you can to|you probably can} guess, years ago, there were no gambling machines and slots - as a substitute, it was all mainly about traditional video games with playing cards and dice. Anyway, as the scientific and technological progress came around, the first slot machines emerged on the scene. They created a turning level in the whole gambling business and had been shortly multiplied all through all gaming halls and casinos in the world. Australia - Australian slots are the subsequent hottest in the world, after these within the USA. Australia started manufacturing slot machines as early as the 1950s.

Anonymous said...

The machines were a huge hit on the Jersey Shore and the remaining unconverted Bally machines were destroyed as they'd turn out to be immediately obsolete. Did we point out that enjoying in} House of Fun online on line casino slot machines is FREE? You will get a welcome present of free cash 카지노 사이트 or free spins to get you began and then there are a great deal of} ways to maintain accumulating free cash as you play. Let us bring Las Vegas straight to you, wherever may be}, and take part on the slot machine enjoyable now. You can play free slot games in our enjoyable online on line casino, from your phone, pill or computer.