Math Table/Open Neighborhood Seminar: The IO Monad

MATH TABLE

Speaker:

Vinh-Kha Le - Harvard Undergraduate

The purest forms of functional programming use monads to define computations that happen within contexts. For instance, the IO monad, which is a standard object in Haskell as well as languages inspired by Haskell, is used to handle processes that require interaction with the outside world. Monads are the dread of many fledgling programmers learning functional programming for the first time, but they are actually familiar constructions from category theory. This talk will discuss the definitions of monad in functional programming and category theory and describe how they are manifested in the context of a Haskell program that reads in and prints an integer.

Zoom: https://harvard.zoom.us/j/96759150216?pwd=Tk1kZlZ3ZGJOVWdTU3JjN2g4MjdrZz09