Advanced Functional Programming: Dependent Types, Lenses, + Monad Transformers
Warm up - 5min (9:00 ~ 9:05)
On the blackboard, sign up for a small group (Dependent Types, Lenses, or Monad Transformers)
Invariant: By 9:05, the groups should be as close in size as possible.
Announcements - 10min (9:05 ~ 9:15)
- No roles for today! Lab style classes this semester didn't lend themselves for scribe notes, and we will do Trio and share instead of ambassador share out.
- A wiki article on turning an embedded DSL using template haskell into a standalone executable courtesy of Jingqi
- Next 2 special topic day voluneers, what questions do you have?
- Matt won't be on campus Wednesday through Friday. Any questions about the schedule?
Small Group Discussion - 25min (9:15 ~ 9:35)
Your group leader
-- Chris : Dependant Types | Harrison : Lenses | Matthew : Monad Transformers --
will lead you through a small lab activity.
Trio and Share - 20 min (9:35 ~ 9:55)
Pseudorandomly pair with 2 people, each from one of the other groups.
Take 6~7 minutes, each, to explain both what you did and what you learned from your group with your partner.
Large group discussion - 15 min (9:55 ~ 10:10)
Open forum style questions.
Cool-down activity - 5 min (10:10 ~ 10:15)
If anyone has any closing announcements let Matthew know before everyone starts to pack up.
If anyone has any comments or concerns, let Matthew or Kathleen know before we all head out.
Class Dismissed