The 4 Types of Type Checking with Richard Feldman

Richard Feldman, author of "Elm in Action" will speak to the group on "The 4 Types of Type Checking"

The age-old "static versus dynamic" way of classifying type systems has led to a lot of arguments but not a lot of understanding or progress. This talk looks at type-checkers from a different angle, by classifying them into 4 different flavors and looking at not only the pros and cons of each, but also how some can get certain benefits of the others without crossing over into another category.