-1+1800 
Introduction to Haskell

Haskell is a programming language that changes the way you think. Introduction to Haskell is being taught at the University of Virginia as a 1-credit pass/fail course offered this Spring 2013.

Lectures will be posted every Tuesday.

Lectures
  1. Lecture 1: An Unexpected Journey™

    Outlines class structure, syllabus, grading policies, and reference text. Introduces the origin and theory behind Haskell.

    http://shuklan.com/haskell/lec01.html

  2. Lecture 2: (["lists", "tuples"], "and data types")

    Introduces Lists and Tuples, the most important data structures in Haskell.

  3. Lecture 3: types :: type1 → type2

    Explores Haskell's strong Type system and Typeclasses. Along the way, covers the concept of Currying and emphasises modular coding.

  4. Lecture 4: #SyntaxSwag

    Covers proper syntax in writing longer Haskell code. Introduces pattern matching and guards.

  5. Lecture 5: Make Your Own Data Type

    Shows how to create your own data types to customize Haskell for you needs. Also covers record syntax, type parameters, and modules.

  6. Lecture 6: Maps, Folds, and Beyond

    Investigates higher order functions such as maps, filters, folds, and a whole lot more.

  7. Lecture 7: The Prolific Haskell Community

    Presents the Haskell community by introducing hackage and cabal.

  8. Lecture 8: Input/Output

    Begins the journey to investigate the IO Monad, covering basic input and output.

  9. Lecture 9: Monads

    Enlightens the reader about Functors, Monoids, and Monads.

  10. Lecture 10: Haskell Development Methods

    Reinforces good programming practices in the world of Haskell.

  11. Lecture 11: Haskell in the Real World

    Demonstrates use of existing Haskell software.

  12. Lecture 12: Introduction to Category Theory

    Concludes this lecture series with a primer to Category Theory.

Prerequisites

An introductory Computer Science course is recommend but not required. No previous Computer Science knowledge will be assumed. A curiosity of the topic is encouraged.

Syllabus

The syllabus is hosted here http://people.virginia.edu/~ns4av/syllabus/

Additional information

Textbooks

  1. Real World Haskell by Bryan O’Sullivan, Don Stewart, and John Goerzen

(Available online: http://book.realworldhaskell.org/ )

  1. Learn You a Haskell for Great Good! By Miran Lipovača

(Available online: http://learnyouahaskell.com/ )

Teacher qualifications

I'm a CS/Math major lecturing a 60-person class about Haskell at the University of Virginia.

Latest Update
Haskell Adventures! (2014-07-02 04:10:14)

"Hey hackers! Hope you enjoyed the haskell slides from last Spring. I've been working on a new introductory book on Haskell data analysis and machine learning. Check it out: http://haskelldata.com

Who knows, maybe I found your next Summer book?"

Roster
1. CarbonFire
2. noj
3. idsardi
4. duffball
5. notagardener
6. erkin
7. sheevyR
8. tostirik
9. jnotarstefano
10. ARMD79
11. Batenbat
12. shrutes
13. somadrop
14. rniemo
15. jamesmcm
16. winslosr
17. rniemo
18. Tritlo
19. viper1092
20. lulzury
21. cdated
22. UVgamma
23. raskchanky
24. broohaha
25. s063
26. SolarBear
27. arnolzz
28. Sanole
29. dfornika
30. edwinhere
31. dablya
32. speg
33. bigburrito
34. drozzy
35. cessationoftime
36. ams785
37. Chandru1
38. ganelo
39. parablepalace
40. chromesitar
41. liutanyu
42. huayra
43. sandeep.coder.k1
44. MatrixFrog
45. rprice96
46. screennames_are_hard
47. dpwiz
48. RedSeven4
49. SeriousJope
50. je_devrais_bosser
51. irene
52. twoolie
53. almondbutter
54. mauexemplo
55. speilberg0
56. folone
57. exlevan
58. shauryashaurya
59. Wedric
60. nordmo1
61. crazedgremlin
62. nickprince
63. angelicstrike
64. jhenahan
65. soegija
66. aqua_scummm
67. mr_root
68. stack_pivot
69. LordG
70. ozan291
71. alejandrogomez
72. Zvezdochet
73. b.amine23
74. dorsal
75. waywardbarnacle
76. azephyr
77. Lydia
78. thm
79. jawerty
80. wildptr
81. ion
82. dimday
83. Stuffing
84. codnik
85. tzakyrie
86. Kludgy
87. muffinshit
88. hvidgaard
89. jszwedko
90. forever_shadow
91. magtux
92. Emchemch
93. louiscipher
94. McMoop
95. SkillKillPhil
96. tlim
97. Alprh
98. thisismygame
99. Trkrtrk
100. vamega
101. efiish
102. jm2721
103. billybobfrog
104. Rakuen
105. ybespalko
106. qzpmwxin
107. Cephalic
108. biggums123
109. loki200
110. Filiped
111. AmundsenJunior
112. Disagreed
113. veselchun
114. tolaug
115. bulbul
116. skapazzo
117. squajbob
118. bacondev
119. qoberif
120. Clevertea
121. Akemi_Riverdepp
122. snth
123. la-chupacabra
124. DDMsage
125. madankumarj
126. MF248
127. arthur.ravet
128. alogic
129. SanderFuckingCohen
130. Jeltimab
131. kamaos5
132. jamreynaga
133. mayersean
134. wgillis
135. chasesan
136. aschlapsi
137. illusivedude
138. Adv23
139. boraca
140. I_Downvote_Cunts
141. Islambekm
142. windziarz
143. elizabeth7888
144. gaolathe
145. swapex
146. Needsmoresteel
147. Noox
148. frul
149. saw2th
150. koborivers
151. archlinuxrussian
152. redcarnage
153. Nilstorp
154. hraithe
155. vly
156. Khufuu
157. zoinkscooby
158. somethingmetal
159. smilefreak
160. onlyonebowman
161. Robcorp
162. mp3103
163. tnachen
164. gargogyle
165. tres_bien
166. aesptux
167. jimbanana
168. bobbysue22
169. dibs_m
170. xslamhoundx
171. psquid
172. bjarkehs
173. educ210student
174. addemf
175. brettveen
176. engartst
177. _rhythmx
178. tacman
179. rialmat
180. DwayneDavies
181. Galilyou
182. rdn
183. sv72
184. nuriaion
185. Holy_Shit_Stains
186. endofu
187. cfarlin83
188. StressfulPython
189. moonclad
190. wizzup
191. imperfectimage
192. Smyds
193. lalin1982
194. perosirisiperapis
195. DestinationVoid
196. jocosim
197. gulsan
198. h3xd4rt
199. DrewSmith
200. tabiul
201. xyendor
202. Samby
203. RolandStone
204. lambdaofgod
205. rlx777
206. pequod
207. chrischau
208. adrianmoses
209. pandaman2123
210. pengjianqing
211. camelite
212. freiheitkampfer
213. mk89
214. elhall
215. rohshall
216. nikvi87
217. ivanistheone
218. zbisch
219. pvinis
220. exceedhl
221. Handgemenge
222. reddg
223. Gix
224. someantics
225. typocrates
226. jgoot
227. heroesneverpanic
228. pcarreno
229. qiaoqiao2003
230. shameerc
231. rafadc
232. hyenagrins
233. richsin
234. qwv4851
235. deanstag
236. boothead
237. ehosca
238. gdfsfgdsfgdfg
239. Zolomon
240. snearch
241. pth
242. pmelendezu
243. llwybyr
244. burtonageo
245. arania
246. delthram
247. ecanals
248. swinarta
249. abhishek77
250. simsyeah
251. o0-0o
252. n2ishin
253. jasonwhite23
254. darkl07
255. uvi
256. Viehzeug
257. statichippo
258. TimCapello
259. axlc
260. crimsonredmk
261. afiore
262. genericzombie
263. sect
264. ncms1990
265. Infectious
266. ragingcake
267. ikeamoah
268. xbigdanx
269. gr3gg0r
270. imabrokendownload
271. samarkandz
272. leogang
273. cagirici
274. yoze15
275. showmeyourmoves
276. JPEG
277. budmademewiser
278. monotone_monochrome
279. TheGreatRawr
280. siwaphol
281. samwise
282. nmallinar
283. laughingdevil
284. RoastedMax
285. WearSunScreen
286. jachymb
287. marvsup
288. p3pt
289. iron__mind
290. AfternoonHoopla
291. koalalove
292. dracogriff
293. Forrest
294. ballju
295. crosby.seth
296. hzink
297. derpocaust
298. GiTTy
299. suhaib
300. randomg
301. jcc333
302. jbemmz
303. furioustyles
304. martensms
305. tech1337
306. Clemenreau
307. Carl_Miller
308. Ubupj
309. N0tAUsername
310. paulliwali
311. COOL_USERNAMES_ARE_TOUGH
312. besz
313. kcyan6
314. sjdonx2
315. QuentinMonek
316. pulcerrima
317. swapout
318. kshitijureddit
319. benwaffle
320. Legend
321. Tonon
322. sxwanzi
323. osal
324. FredTheRobot
325. Shauta
326. goldenpie
327. dr34dl0ck
328. HHErebus
329. PineMaple
330. Jamhammer
331. Hamza20697
332. nikotine
333. akamch
334. imeatingseeds
335. ArsonistNightfire
336. Ultimate_Redditor56
337. maris
338. leontg
339. haberdasherflasher
340. bredfern
341. happysri
342. tudisco
343. empgodot
344. ArdRay
345. rdhananjaya
346. h4tch
347. inf98
348. faptothis
349. purplecrush
350. mattfieldy
351. saarinx
352. waelawada
353. Artemie_Smirnov
354. aboudib
355. Ars-Nocendi
356. alecfwilson
357. tobani
358. rubisco
359. neevor
360. strengthftw
361. UbuRedditor
362. Shanmuganandh
363. r1pp3rj4ck
364. Zonny
365. hath995
366. WestLambda
367. dulcamar
368. lucideam
369. NiharC
370. rexpan
371. ViewtifulBro86
372. brahe683
373. mkowalsky
374. sh1fthappens
375. LyTeo
376. underacrimsonsky
377. seniordomingo
378. kenthesage
379. vardhan
380. imconfus
381. brencj11
382. ehmohteeoh
383. Charobnjak32
384. _Yakuza_
385. capatillo
386. soldierno77
387. genryu
388. bjh
389. DemetriPirpiris
390. Yanni123
391. thekobra1337
392. allisoncn03
393. jithin
394. doppioslash
395. solomonchild
396. higherpower
397. wongse
398. profryan
399. szabba
400. eisel98
401. haveatya
402. Mr.Grumpy
403. Scabe
404. jhelpert
405. urmas7
406. ankursh287
407. abkothman
408. aamirazeem
409. donquez
410. 4gn3s
411. sniperjohn
412. tanniche
413. namrehsirk
414. chatterbox272
415. Darkazdude
416. destiny
417. shwets
418. TawnyPigeon
419. mayanktg
420. hDeraj
421. jmw327
422. xanbo
423. lexiwho
424. likes_things
425. dbarber82
426. cjmalloy
427. pvtfawkes
428. estomagordo
429. tinitot
430. mariathedesigner
431. zomblake
432. packersfan25
433. cevn
434. pseudoShell
435. jfjclarke
436. ITZCHEESE
437. ureddit1357
438. PhosphorusGL
439. guidesi
440. EXICON
441. MelMel5643
442. jiji123
443. lambdaofgod1
444. Rdslnc
445. nochoa3
446. adbaig
447. waltcerna
448. kimgoh
449. zzMcgee
450. Hapes
451. oaeide
452. ryustreetfighter
453. simon.blais
454. 007phantom
455. terrordactyl
456. frenken
457. pinktiess
458. Raz9999
459. thesaxby
460. MeowhammadAli
461. Arpitha_Madugundu
462. i_am_suicidal
463. Fuementir
464. lemannequin
465. ravindra
466. Manu_Dixit_R
467. vvanirudh
468. spacetowaste
469. zeppcg
470. deliciousprune
471. delectabledates
472. that70sred
473. kadirgunel
474. chiamaka
475. sarabpreet
476. basedfollower
477. pyroholic
478. drshrey
479. Deathnerd
480. balajiravi25
481. viredfox
482. leetNightshade
483. Cinual
484. pageman
485. mohdismail
486. vkc
487. sexy_frackmuffins
488. ndyakov
489. chilukrn
490. corycruse
491. fkgtz013
492. bringingsphexyback
493. switheyw
494. Ardy88
495. just_for_fun_i_guess
496. bouzi
497. highhopes223
498. rahulwalkar
499. rahulwalkar
500. imgeza
501. DinoRawrrous
502. screamingstar
503. pattzalrex
504. vinay1997
505. rake66
506. set92
507. CoffeeFlux
508. darkAstronomy
509. frekdisco
510. ashsaysrawr
511. RoadieRich
512. NaefAlduhaim
513. spinozas_bum
514. pooponastick
515. donz0r
516. DirtyElectrode
517. jaxiinofea
518. selfrighteouspsycho
519. liebstraum
520. gowrikumar
521. megha1104
522. SockWitch
523. cegenton
524. iandev
525. tsigma6
526. flemindk
527. hokiebeer
528. audunthecyborg
529. CrikeyChriss
530. halycononandon
531. rangel.final
532. bobthesheep
533. LinkedMonkeys
534. cynicalceleste
535. syedz89
536. continuitydrift
537. thomasvarney723
538. lx003n
539. sphota
540. admiralgeneral
541. ameyraje
542. tekno
543. febrianrendak
544. krishmoh
545. a1b2p1s2
546. Julian
547. realmadrid0705
548. TheManicMan
549. timrabb211
550. DrPhilgood
551. rtnrhl
552. Ruud
553. athnndnly
554. spump
555. thawigga
556. ficar
557. Owan101
558. muzz
559. tillyt
560. riotart
561. wingofspace
562. teyooo
563. Alienz225
564. thehatofmagic
565. pr3sd
566. axlwolf
567. themagicalcake
568. blinktigerfire
569. ValiantEntity
570. bpalkmim
571. abanoubwagih
572. abc123def
573. reddit-ologist
574. HolyBlobfish
575. epears13
576. Granola_Bar
577. Yenniesaurus
578. rock_neurotiko
579. leonbasin
580. madzlang
581. jone7up
582. jlarez
583. MisterE
584. ifr33m4n
585. shawnrouth
586. novuspuer
587. jwhitlark
588. NeeBo
589. CrazyMerlyn
590. christopher_compton
591. khichi
592. blueperson
593. reedeth
594. tpkalman
595. rbakken2504
596. nat47
597. rifche
598. plusminus1
599. lfry610
600. ruthar
601. kolas54
602. timjstewart
603. vpan17
604. rises
605. L2BSmart
606. Zlth
607. harababurel
608. moondesu
609. teh_tetra
610. mtae17
611. d34dkn16h7
612. ANonGod
613. khaledkamal
614. noorssh
615. hatFolk
616. MeisterEder
617. jd95
618. tht2012
619. tpayer12
620. toplel
621. vhasus
622. kz22
623. nitins
624. Weej
625. Peroviendo
626. Shmuma
627. JWValinor
628. konfou
629. MACROS9
630. AntonH
631. icebal
632. fhrh
633. jtmbags
634. Lukeblanes
635. Richo1337
636. shashukla85
637. Janette
638. WhompingSnitch
639. Razski
640. wwalid2050
641. donjoelt
642. thephotograph
643. Gromona
644. jameswalrath
645. fifita93
646. jayem163
647. DanCouper
648. crichm03
649. RicoSpartan
650. LexTanVB
651. zhangn1029
652. pirehappy
653. ejk88
654. s_jmp
655. fireavalanche
656. ArsSesame
657. lemmyhemmingway
658. abhishekgahlot
659. L3G3ND6
660. yangkecoy
661. MACROS14
662. euoirue
663. kataninja
664. salik
665. boolover
666. klysium
667. garfieldnate
668. bguiz
669. pkalchemy
670. martyg
671. long.polyglot
672. josh14270
673. renamshah
674. gerardlouw
675. Joka999
676. ColeHudson
677. luckyp
678. sintrastes
679. PubPuns
680. marcushassan
681. Theguybehindthescreen
682. Tebkisk
683. haraf_ijhal
684. cms
685. cms
686. 10saumiljoshi24
687. nrrrrb
688. vinsanity16985
689. maysale01
690. deletevalue
691. Reathur
692. P3t3rU5
693. theClauss
694. aitorp6
695. nlarosa
696. Usagi
697. princessJJ
698. 3point14
699. StevenXL
700. asingh21
701. spestook
702. Qsiv
703. snv_tshd
704. Kainhander
705. chipster
706. Jpmulongo
707. dudleybrooks
708. Golden_Narwhal
709. Frivelly
710. geezusfreak
711. arunodhaya80
712. drecord
713. edusig
714. itsmrkim
715. sutton_nightmare
716. abbas.tolgay
717. Omotola-gb
718. analy7er
719. kdlynch12
720. mantrasuser
721. daga_07
722. silverc8
723. foobar9
724. babushan
725. Kepler-GA24
726. _hondaaccord1996
727. aphodite
728. philnrll
729. Gernhard_Rheinholzen
730. 20sat92
731. FlynnM
732. ibs484
733. DylanSA
734. pravinkandala
735. phySi0
736. kbanks4130
737. aboutdabusiness
738. man-being
739. hooray4alex
740. justanr
741. Logs
742. nieri
743. evanrlew
744. luewii09
745. synthetichug
746. SajithR
747. anubhav
748. Lamarana
749. Solonar
750. sheikhshadi
751. robhamk
752. thesnowman
753. silentnuke
754. rajiv.course
755. batmanrobinwilliams
756. Learndammit
757. YungSizzurp
758. korvil
759. buzzly
760. Nneto71
761. bruno30
762. leon_aragones
763. srpsco
764. codestrophe
765. whoviangirl92
766. hukarere
767. Joecorgi
768. akn3107
769. Freak_on_Fire
770. agib
771. jikki-san
772. tettoffensive
773. Adzam_Esi_Mawuena_Ruth
774. kersten83
775. lavee_singh
776. thebones2356
777. humanmanguy
778. smith
779. mrconandoyle8
780. just_
781. burubaxair
782. oldskoolgodfatha
783. sa666
784. xhyperamp
785. Kyzn
786. Andres
787. rockedt
788. jshuadvd
789. Bibi12
790. kedarbhat
791. bamboospirit
792. lcjy
793. seanknight
794. BinkFloyd
795. Mastermind_Simpleton
796. kaelvan
797. shlomer
798. starskip
799. cooleemee2
800. craftyBlock
801. sandeep_mohanty
802. aeh2019
803. Yahiko
804. __hsams__
805. Supersonicerin
806. Darkness
807. IoanaKeke
808. lexyjankowski
809. lokesh_ureddit
810. apocrypha13142
811. Raddok
812. seedlessorange
813. bhudlemeyer
814. klinke
815. Mete0r1t3
816. shaynee
817. nextsteptransition
818. SirSavien
819. ghalladay
820. asunza
821. VonFoerster
822. darioxfz
823. jeida12
824. WeaponsMaster9
825. mylos
826. inmesia
827. apis88
828. rb640
829. CrazyLineman777
830. Arcanis13
831. AshesOfDeadEmpires
832. VMolnar89
833. Snuupy
834. LuciferSam-