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

Introduction to Functional Programming
Delft University of Technology via edX Functional Programming in Haskell
Chennai Mathematical Institute via Swayam An introduction to Haskell Programming
Chennai Mathematical Institute via Swayam Functional Programming in Haskell: Supercharge Your Coding
University of Glasgow via FutureLearn Introduction To Haskell Programming
Chennai Mathematical Institute via Swayam