-1+1908 
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. nikvi87
216. ivanistheone
217. zbisch
218. pvinis
219. exceedhl
220. Handgemenge
221. reddg
222. Gix
223. someantics
224. typocrates
225. jgoot
226. heroesneverpanic
227. pcarreno
228. qiaoqiao2003
229. shameerc
230. rafadc
231. hyenagrins
232. richsin
233. qwv4851
234. deanstag
235. boothead
236. ehosca
237. gdfsfgdsfgdfg
238. Zolomon
239. snearch
240. pth
241. pmelendezu
242. llwybyr
243. burtonageo
244. arania
245. delthram
246. ecanals
247. swinarta
248. abhishek77
249. simsyeah
250. o0-0o
251. n2ishin
252. jasonwhite23
253. darkl07
254. uvi
255. Viehzeug
256. statichippo
257. TimCapello
258. axlc
259. crimsonredmk
260. afiore
261. genericzombie
262. sect
263. ncms1990
264. Infectious
265. ragingcake
266. ikeamoah
267. xbigdanx
268. gr3gg0r
269. imabrokendownload
270. samarkandz
271. leogang
272. cagirici
273. yoze15
274. showmeyourmoves
275. JPEG
276. budmademewiser
277. monotone_monochrome
278. TheGreatRawr
279. siwaphol
280. samwise
281. nmallinar
282. laughingdevil
283. RoastedMax
284. WearSunScreen
285. jachymb
286. marvsup
287. p3pt
288. iron__mind
289. AfternoonHoopla
290. koalalove
291. dracogriff
292. Forrest
293. ballju
294. crosby.seth
295. hzink
296. derpocaust
297. GiTTy
298. suhaib
299. randomg
300. jcc333
301. jbemmz
302. furioustyles
303. martensms
304. tech1337
305. Clemenreau
306. Carl_Miller
307. Ubupj
308. N0tAUsername
309. paulliwali
310. COOL_USERNAMES_ARE_TOUGH
311. besz
312. kcyan6
313. sjdonx2
314. QuentinMonek
315. pulcerrima
316. swapout
317. kshitijureddit
318. benwaffle
319. Legend
320. Tonon
321. sxwanzi
322. osal
323. FredTheRobot
324. Shauta
325. goldenpie
326. dr34dl0ck
327. HHErebus
328. PineMaple
329. Jamhammer
330. Hamza20697
331. nikotine
332. akamch
333. imeatingseeds
334. ArsonistNightfire
335. Ultimate_Redditor56
336. maris
337. leontg
338. haberdasherflasher
339. bredfern
340. happysri
341. tudisco
342. empgodot
343. ArdRay
344. rdhananjaya
345. h4tch
346. inf98
347. faptothis
348. purplecrush
349. mattfieldy
350. saarinx
351. waelawada
352. Artemie_Smirnov
353. aboudib
354. Ars-Nocendi
355. alecfwilson
356. tobani
357. rubisco
358. neevor
359. strengthftw
360. UbuRedditor
361. Shanmuganandh
362. r1pp3rj4ck
363. Zonny
364. hath995
365. WestLambda
366. dulcamar
367. lucideam
368. NiharC
369. rexpan
370. ViewtifulBro86
371. brahe683
372. mkowalsky
373. sh1fthappens
374. LyTeo
375. underacrimsonsky
376. seniordomingo
377. kenthesage
378. vardhan
379. imconfus
380. brencj11
381. ehmohteeoh
382. Charobnjak32
383. _Yakuza_
384. capatillo
385. soldierno77
386. genryu
387. bjh
388. DemetriPirpiris
389. Yanni123
390. thekobra1337
391. allisoncn03
392. jithin
393. doppioslash
394. solomonchild
395. higherpower
396. wongse
397. profryan
398. szabba
399. eisel98
400. haveatya
401. Mr.Grumpy
402. Scabe
403. jhelpert
404. urmas7
405. ankursh287
406. abkothman
407. aamirazeem
408. donquez
409. 4gn3s
410. sniperjohn
411. tanniche
412. namrehsirk
413. chatterbox272
414. Darkazdude
415. destiny
416. shwets
417. TawnyPigeon
418. mayanktg
419. hDeraj
420. jmw327
421. xanbo
422. lexiwho
423. likes_things
424. dbarber82
425. cjmalloy
426. pvtfawkes
427. estomagordo
428. tinitot
429. mariathedesigner
430. zomblake
431. packersfan25
432. cevn
433. pseudoShell
434. jfjclarke
435. ITZCHEESE
436. ureddit1357
437. PhosphorusGL
438. guidesi
439. EXICON
440. MelMel5643
441. jiji123
442. lambdaofgod1
443. Rdslnc
444. nochoa3
445. adbaig
446. waltcerna
447. kimgoh
448. zzMcgee
449. Hapes
450. oaeide
451. ryustreetfighter
452. simon.blais
453. 007phantom
454. terrordactyl
455. frenken
456. pinktiess
457. Raz9999
458. thesaxby
459. MeowhammadAli
460. Arpitha_Madugundu
461. i_am_suicidal
462. Fuementir
463. lemannequin
464. ravindra
465. Manu_Dixit_R
466. vvanirudh
467. spacetowaste
468. zeppcg
469. deliciousprune
470. delectabledates
471. that70sred
472. kadirgunel
473. chiamaka
474. sarabpreet
475. basedfollower
476. pyroholic
477. drshrey
478. Deathnerd
479. balajiravi25
480. viredfox
481. leetNightshade
482. Cinual
483. pageman
484. mohdismail
485. vkc
486. sexy_frackmuffins
487. ndyakov
488. chilukrn
489. corycruse
490. fkgtz013
491. bringingsphexyback
492. switheyw
493. Ardy88
494. just_for_fun_i_guess
495. bouzi
496. highhopes223
497. rahulwalkar
498. rahulwalkar
499. imgeza
500. DinoRawrrous
501. screamingstar
502. pattzalrex
503. vinay1997
504. rake66
505. set92
506. CoffeeFlux
507. darkAstronomy
508. frekdisco
509. ashsaysrawr
510. RoadieRich
511. NaefAlduhaim
512. spinozas_bum
513. pooponastick
514. donz0r
515. DirtyElectrode
516. jaxiinofea
517. selfrighteouspsycho
518. liebstraum
519. gowrikumar
520. megha1104
521. SockWitch
522. cegenton
523. iandev
524. tsigma6
525. flemindk
526. hokiebeer
527. audunthecyborg
528. CrikeyChriss
529. halycononandon
530. rangel.final
531. bobthesheep
532. LinkedMonkeys
533. cynicalceleste
534. syedz89
535. continuitydrift
536. thomasvarney723
537. lx003n
538. sphota
539. admiralgeneral
540. ameyraje
541. tekno
542. febrianrendak
543. krishmoh
544. a1b2p1s2
545. Julian
546. realmadrid0705
547. TheManicMan
548. timrabb211
549. DrPhilgood
550. rtnrhl
551. Ruud
552. athnndnly
553. spump
554. thawigga
555. ficar
556. Owan101
557. muzz
558. tillyt
559. riotart
560. wingofspace
561. teyooo
562. Alienz225
563. thehatofmagic
564. pr3sd
565. axlwolf
566. themagicalcake
567. blinktigerfire
568. ValiantEntity
569. bpalkmim
570. abanoubwagih
571. abc123def
572. reddit-ologist
573. HolyBlobfish
574. epears13
575. Granola_Bar
576. Yenniesaurus
577. rock_neurotiko
578. leonbasin
579. madzlang
580. jone7up
581. jlarez
582. MisterE
583. ifr33m4n
584. shawnrouth
585. novuspuer
586. jwhitlark
587. NeeBo
588. CrazyMerlyn
589. christopher_compton
590. khichi
591. blueperson
592. reedeth
593. tpkalman
594. rbakken2504
595. nat47
596. rifche
597. plusminus1
598. lfry610
599. ruthar
600. kolas54
601. timjstewart
602. vpan17
603. rises
604. L2BSmart
605. Zlth
606. harababurel
607. moondesu
608. teh_tetra
609. mtae17
610. d34dkn16h7
611. ANonGod
612. khaledkamal
613. noorssh
614. hatFolk
615. MeisterEder
616. jd95
617. tht2012
618. tpayer12
619. toplel
620. vhasus
621. kz22
622. nitins
623. Weej
624. Peroviendo
625. Shmuma
626. JWValinor
627. konfou
628. MACROS9
629. AntonH
630. icebal
631. fhrh
632. jtmbags
633. Lukeblanes
634. Richo1337
635. shashukla85
636. Janette
637. WhompingSnitch
638. Razski
639. wwalid2050
640. donjoelt
641. thephotograph
642. Gromona
643. jameswalrath
644. fifita93
645. jayem163
646. DanCouper
647. crichm03
648. RicoSpartan
649. LexTanVB
650. zhangn1029
651. pirehappy
652. ejk88
653. s_jmp
654. fireavalanche
655. ArsSesame
656. lemmyhemmingway
657. abhishekgahlot
658. L3G3ND6
659. yangkecoy
660. MACROS14
661. euoirue
662. kataninja
663. salik
664. boolover
665. klysium
666. garfieldnate
667. bguiz
668. pkalchemy
669. martyg
670. long.polyglot
671. josh14270
672. renamshah
673. gerardlouw
674. Joka999
675. ColeHudson
676. luckyp
677. sintrastes
678. PubPuns
679. marcushassan
680. Theguybehindthescreen
681. Tebkisk
682. haraf_ijhal
683. cms
684. cms
685. 10saumiljoshi24
686. nrrrrb
687. vinsanity16985
688. maysale01
689. deletevalue
690. Reathur
691. P3t3rU5
692. theClauss
693. aitorp6
694. nlarosa
695. Usagi
696. princessJJ
697. 3point14
698. StevenXL
699. asingh21
700. spestook
701. Qsiv
702. snv_tshd
703. Kainhander
704. chipster
705. Jpmulongo
706. dudleybrooks
707. Golden_Narwhal
708. Frivelly
709. geezusfreak
710. arunodhaya80
711. drecord
712. edusig
713. itsmrkim
714. sutton_nightmare
715. abbas.tolgay
716. Omotola-gb
717. analy7er
718. kdlynch12
719. mantrasuser
720. daga_07
721. silverc8
722. foobar9
723. babushan
724. Kepler-GA24
725. _hondaaccord1996
726. aphodite
727. philnrll
728. Gernhard_Rheinholzen
729. 20sat92
730. FlynnM
731. ibs484
732. DylanSA
733. pravinkandala
734. phySi0
735. kbanks4130
736. aboutdabusiness
737. man-being
738. hooray4alex
739. justanr
740. Logs
741. nieri
742. evanrlew
743. luewii09
744. synthetichug
745. SajithR
746. anubhav
747. Lamarana
748. Solonar
749. sheikhshadi
750. robhamk
751. thesnowman
752. silentnuke
753. rajiv.course
754. batmanrobinwilliams
755. Learndammit
756. YungSizzurp
757. korvil
758. buzzly
759. Nneto71
760. bruno30
761. leon_aragones
762. srpsco
763. codestrophe
764. whoviangirl92
765. hukarere
766. akn3107
767. Freak_on_Fire
768. agib
769. jikki-san
770. tettoffensive
771. Adzam_Esi_Mawuena_Ruth
772. kersten83
773. lavee_singh
774. thebones2356
775. humanmanguy
776. smith
777. mrconandoyle8
778. just_
779. burubaxair
780. oldskoolgodfatha
781. sa666
782. xhyperamp
783. Kyzn
784. Andres
785. rockedt
786. jshuadvd
787. Bibi12
788. kedarbhat
789. bamboospirit
790. lcjy
791. seanknight
792. BinkFloyd
793. Mastermind_Simpleton
794. kaelvan
795. shlomer
796. starskip
797. cooleemee2
798. craftyBlock
799. sandeep_mohanty
800. aeh2019
801. Yahiko
802. __hsams__
803. Supersonicerin
804. Darkness
805. IoanaKeke
806. lexyjankowski
807. lokesh_ureddit
808. apocrypha13142
809. Raddok
810. seedlessorange
811. bhudlemeyer
812. klinke
813. Mete0r1t3
814. shaynee
815. nextsteptransition
816. SirSavien
817. ghalladay
818. asunza
819. VonFoerster
820. darioxfz
821. jeida12
822. WeaponsMaster9
823. mylos
824. inmesia
825. apis88
826. rb640
827. CrazyLineman777
828. Arcanis13
829. AshesOfDeadEmpires
830. VMolnar89
831. Snuupy
832. LuciferSam-
833. bilnash
834. mcquintrix
835. a13ph
836. uselesschien
837. trh178
838. R3vis1on
839. sookoor
840. akshithg
841. samnnodim
842. kaps5050
843. VovaChes
844. noobtbr
845. jamba_tango
846. leventhanful
847. Mario-
848. AlexMckey
849. praveen62
850. shanekerr
851. amatis
852. najamkhn
853. esezaris
854. glendarey
855. harsh2803
856. mountain
857. jclegall
858. ArturoMazon
859. natanjmai
860. praveen6231
861. kenpachi1
862. noobto
863. burcucollu
864. Divanvt
865. xjtlujoe
866. ashuto0sh
867. cpriow
868. fireflies343
869. foren
870. skinnynerdb
871. FoxTheRed
872. PremM
873. Estrangedmustache
874. cesar63549
875. nukeduke
876. Tadgh11
877. deexa
878. tacticstatic
879. Dacrin
880. mtlabelle
881. khrypt
882. thrumppresideby
883. a13ph0
884. krolik-tbdw
885. thalesribeiro
886. dorkyhuman
887. theflyingbrant
888. siben
889. staddlez
890. eee123
891. tiredprosecutorux
892. OfficialFluttershy
893. raideraid
894. dtlawhon
895. geraldurschitz
896. Muhammad313
897. CautiousNarwhal
898. daloc22
899. simonrobins
900. ravikiran
901. rafaelgarrido
902. reubensammut
903. Nullbyte
904. nikosquant
905. neoezekiel
906. v1n337
907. KillDreameater
908. hierophantos
909. feyzee
910. sabrina123
911. ShawnShact
912. naughtystyle
913. mayanksingh97
914. bhargavkaranam
915. djbastic
916. Carpe-Noctem1618
917. PolymathMark
918. mvresh
919. Madoka
920. Hedrew
921. chrisnp
922. p3t3r.tnie
923. ubmit
924. shrugsnotdrugs
925. ddamico
926. diabellical
927. NewshadeofRed1
928. greyfader
929. roxanne8
930. sadhu89
931. bpw1621
932. Catdogfatness
933. putin_putout
934. JediMasterKermit
935. glurrgh
936. beccabeast
937. imaginarywitches
938. kra3
939. dhruvbaveja
940. dashmoho
941. 0x7270-3001
942. samurai6267
943. georri
944. Joecorgi
945. Spectre002
946. Devendra
947. hbaghar
948. TheMetaphysicalCrook
949. Anwar_ali
950. harshit14042
951. euphorialive
952. AIMBoss
953. DeadlyAlice
954. habibjanjua
955. Fran