turkmath.org

Most mathematicians, as well as engineers, believe that applied mathematics is about solving differential equations or doing some similar kind of scientific/symbolic computing. In this talk, we will demonstrate how more abstract branches of mathematics, such as category theory and algebra, find direct applications in software engineering. Haskell, the programming language we will use, is powerful enough to express and work with many concepts from these disciplines directly and to employ them for solving real world programming problems. No prior knowledge of Haskell will be assumed.