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.

11 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.