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