Spotlight on Rúnar Bjarnason
When: Friday, October 27th - 11:00
Adjunctions in Everyday Life
This talk introduces adjunctions, a category theory concept underlying and unifying a lot of things we take for granted in functional programming. All monads have adjoint functors underlying them, as do products, coproducts, algebraic data types, and folds. We’ll see that adjoint functors really do arise everywhere.
Because this talk is set at an intermediate to advanced level, it will be helpful if you have a basic grasp of category theory before attending the talk (but don’t let it stop you if you don’t)! This talk is especially relevant for programmers who want to leverage category theory in a practical way as part of their work, according to Rúnar.
Rúnar is a software engineer located in Boston and an occasional speaker on various functional programming topics. He received his education in computer programming and electrical engineering at the Reykjavík Technical College in Iceland. In the intervening decades, he’s done diverse programming work, including antivirus research, software for agriculture and animal breeding, real estate, IT, finance, and genomics. He’s worked with many programming languages including Pascal, C, Java, Haskell, Scala, and Ruby, and made some of his own. Some of his interests include functional programming, relational database theory, compilers, programming languages, and philosophy.
Rúnar is also one of the authors of Functional Programming in Scala, one of the most widely known and regarded books on the language. We even have an exercise set based off of the Red Book on Scala Exercises.
For more on Rúnar, visit:
- Rúnar on GitHub