Computer Science Nerdz 04.2019

Title: On Understanding Types, Data Abstraction, and Polymorphism

Abstract: Modern programming languages are becoming increasingly complex and full of features. To get a better understanding of them, it's worth going back to some basics of languge theory: how type systems affect daily programming, what's the elemental difference between using abstract data types and object-oriented programming, or what are the pros & cons of various kinds of polymorphism. Thoose aspects are content of the publication 'On Understanding Types, Data Abstraction, and Polymorphism' by L. Cardelli & P. Wegner, which will be presented during the meeting.

Bio: Python developer and self-taught sysadmin. Experienced in a lot of environments - from corporate outsourcing to product focused startups. Fascinated with the DevOps movement tries to automate every repeatable process and make the gap between administration and development tighter. Privately large supporter of Linux and FLOSS.