Gave a Talk: Terminating and Productive Functions

Courtesy of Tomislav Grospić

At the Lambda Zagreb Meetup this Monday I gave a talk on terminating and productive functions. It was an interesting discussion with questions that tied the topic and examples I had with natural numbers, linear types and communicating systems.

Continue reading

Haskell Library Demonstrating Dependent Types in eDSL

Haskell Servant’s logo

In Haskell, servant is a library for declaring web APIs. What is interesting about the library is that it utilises the power of Haskell’s type system, in particular the power of dependent types in computing a return type of a function.

Continue reading

Gave a Talk on Types in Programming

Courtesy of Ivica Dimjašević

As announced, I gave a talk last Tuesday at Mama, Zagreb on the role of types in programming as part of the Lamda Zagreb Meetup group. I enjoyed giving the talk and discussing types and programming in general after the talk over a beer. Later on we had a follow-up discussion in the comments section on the event page, which made me happy to see what can be done in Haskell.

Continue reading