61: Sam Lindley

22/01/2025 57 min Temporada 1 Episodio 61
61: Sam Lindley

Listen "61: Sam Lindley"

Episode Synopsis

Sam Lindley is a Reader in Programming Languages Design and Implementation at the University of Edinburgh. In this episode, he tells us how difficult naming is, the different kinds of effect systems and handlers, languages *much* purer than Haskell, and Modal logic.