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.
Haskell’s forall, in combination with some GHC extensions, allows for liberal type synonyms and scoped type variables, among others. Source: School of Haskell.
“If you are not married, if you don’t want to spend time with your kids, if you hate vacations, [dynamically typed languages] is the way you program!” ~ Matthias Felleisen
“Test-driven development replaces a type checker in a dynamically typed language in the same way that a bottle of whiskey replaces your daily problems.” ~ Matt Gumbley
Ken Scambler has an interesting point on types. “Should I use String in this method signature?” “Is the Mandarin edition of the complete works of Shakespeare valid input?”
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.