YoVDO

What Are Types For, Or Are They Only Against? - Exploring Type Systems in Programming

Offered By: GOTO Conferences via YouTube

Tags

Type Theory Courses Haskell Courses Functional Programming Courses Static Analysis Courses Type Inference Courses Type Safety Courses Algebraic Data Types Courses Dependent Types Courses Programming Language Design Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the purpose and significance of types in programming through this thought-provoking conference talk delivered by Conor McBride at YOW! 2016. Delve into the world of functional programming, with a focus on Haskell and monads, as McBride challenges conventional thinking about types. Gain insights from a lecturer at the University of Strathclyde who is known for his expertise in the field. Learn how types can be used not just as constraints, but as powerful tools for program design and verification. Discover the intersection between type theory and practical programming applications. Enhance your understanding of functional programming concepts and their implementation in real-world scenarios. Connect with additional resources, including McBride's professional profiles and recommended books, to further expand your knowledge on the subject.

Syllabus

What Are Types For, Or Are They Only Against? • Conor McBride • YOW! 2016


Taught by

GOTO Conferences

Related Courses

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera Paradigms of Computer Programming
Université catholique de Louvain via edX Introduction to Functional Programming
Delft University of Technology via edX Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX