As announced last week, yesterday I gave a talk on function totality at the Institute of Electrical and Electronics Engineers, Croatian Section. The talk was located at the University of Zagreb at the Faculty of Electrical Engineering and Computing. Slides used during the talk are freely available. The talk was in Croatian.
I’d say the talk went pretty well. It was just under an hour long. I was pleasantly surprised by the level of knowledge of students that attended the talk! They were fluent with Haskell and Idris, with type systems, they were familiar with the Curry-Howard isomorphism, and one student even brought up category theory in a question. There were interesting discussions about types, testing, and software verification. I’ll have to do these talks more often!