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