Parametric and Logical Types for Programming and Architecture

Below is this Tech Talk’s Objective. All are welcome, but it is a more Technical topic than most Tech Talks

Milner’s slogan “Well typed programs can’t go wrong” characterizes type-safe computation

Strongly typed languages with static type checking allow both parametric polymorphism and lifting their logic to the type system. This constructive logic is sound and complete. UML templates allow us to represent such type-safe computation in a technical architecture.

Rick will introduce parametric and logical types for programming and architecture with examples from both Java Generics and UML templates. Participants are encouraged to read Rick’s paper “Parametric and Logical Types for Model-Driven Engineering” before the talk.

We will discuss the results of industrial research on static type systems used by Facebook (Flow) and Microsoft (TypeScript) with JavaScript. We will identify adoption risk of weakly and dynamically typed languages such as Perl, PHP and Python.

Paper: Parametric and Logical Types for Model-Driven Engineering