-1+1946 
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. akn3107
765. Freak_on_Fire
766. agib
767. jikki-san
768. tettoffensive
769. Adzam_Esi_Mawuena_Ruth
770. kersten83
771. lavee_singh
772. thebones2356
773. humanmanguy
774. smith
775. mrconandoyle8
776. just_
777. burubaxair
778. oldskoolgodfatha
779. sa666
780. xhyperamp
781. Kyzn
782. Andres
783. rockedt
784. jshuadvd
785. Bibi12
786. kedarbhat
787. bamboospirit
788. lcjy
789. seanknight
790. BinkFloyd
791. Mastermind_Simpleton
792. kaelvan
793. shlomer
794. starskip
795. cooleemee2
796. craftyBlock
797. sandeep_mohanty
798. aeh2019
799. Yahiko
800. __hsams__
801. Supersonicerin
802. Darkness
803. IoanaKeke
804. lexyjankowski
805. lokesh_ureddit
806. apocrypha13142
807. Raddok
808. seedlessorange
809. bhudlemeyer
810. klinke
811. Mete0r1t3
812. shaynee
813. nextsteptransition
814. SirSavien
815. ghalladay
816. asunza
817. VonFoerster
818. darioxfz
819. jeida12
820. WeaponsMaster9
821. mylos
822. inmesia
823. apis88
824. rb640
825. CrazyLineman777
826. Arcanis13
827. AshesOfDeadEmpires
828. VMolnar89
829. Snuupy
830. LuciferSam-
831. bilnash
832. mcquintrix
833. a13ph
834. uselesschien
835. trh178
836. R3vis1on
837. sookoor
838. akshithg
839. samnnodim
840. kaps5050
841. VovaChes
842. noobtbr
843. jamba_tango
844. leventhanful
845. Mario-
846. AlexMckey
847. praveen62
848. shanekerr
849. amatis
850. najamkhn
851. esezaris
852. glendarey
853. harsh2803
854. mountain
855. jclegall
856. ArturoMazon
857. natanjmai
858. praveen6231
859. kenpachi1
860. noobto
861. burcucollu
862. Divanvt
863. xjtlujoe
864. ashuto0sh
865. cpriow
866. fireflies343
867. foren
868. skinnynerdb
869. FoxTheRed
870. PremM
871. Estrangedmustache
872. cesar63549
873. nukeduke
874. Tadgh11
875. deexa
876. tacticstatic
877. Dacrin
878. mtlabelle
879. khrypt
880. thrumppresideby
881. a13ph0
882. krolik-tbdw
883. thalesribeiro
884. dorkyhuman
885. theflyingbrant
886. siben
887. staddlez
888. eee123
889. tiredprosecutorux
890. OfficialFluttershy
891. raideraid
892. dtlawhon
893. geraldurschitz
894. Muhammad313
895. CautiousNarwhal
896. daloc22
897. simonrobins
898. ravikiran
899. rafaelgarrido
900. reubensammut
901. Nullbyte
902. nikosquant
903. neoezekiel
904. v1n337
905. KillDreameater
906. hierophantos
907. feyzee
908. sabrina123
909. ShawnShact
910. naughtystyle
911. mayanksingh97
912. bhargavkaranam
913. djbastic
914. Carpe-Noctem1618
915. PolymathMark
916. mvresh
917. Madoka
918. Hedrew
919. chrisnp
920. p3t3r.tnie
921. ubmit
922. shrugsnotdrugs
923. ddamico
924. diabellical
925. NewshadeofRed1
926. greyfader
927. roxanne8
928. sadhu89
929. bpw1621
930. Catdogfatness
931. putin_putout
932. JediMasterKermit
933. glurrgh
934. beccabeast
935. imaginarywitches
936. kra3
937. dhruvbaveja
938. dashmoho
939. 0x7270-3001
940. samurai6267
941. georri
942. Joecorgi
943. Spectre002
944. Devendra
945. hbaghar
946. TheMetaphysicalCrook
947. Anwar_ali
948. harshit14042
949. euphorialive
950. AIMBoss
951. DeadlyAlice
952. habibjanjua
953. Fran
954. CobaltSthenia
955. checkingforhotspots
956. Nicoleweber2025
957. Voxnipop
958. rakesh_chinta
959. maftoun95
960. cmuks
961. pacmanofgb
962. complexsion
963. sodainmycereal
964. magik
965. hannahmary2010
966. geoful
967. aladdo
968. Kapital_G
969. mahavirsinh
970. bogeka
971. redfelix
972. cranndarach
973. adrian_lc
974. SuSithMegalith
975. raspyduke694
976. joshichaitanya338
977. amulet2350
978. gopikishore
979. hsams
980. TheMVS
981. lloydlweendo
982. Dibya
983. imjayeshr
984. wildstraywolf
985. anfod
986. khier
987. hrontajkpa
988. junjun
989. preet.patel
990. rohith_j88
991. sekisanchez
992. abhicps
993. gy65
994. erik13121
995. Anj2017
996. paulquappo
997. rajpal
998. Vasiliy987011