Type Theory & Type Systems Courses and Certifications

Java

Gradual Typing for Ruby at Scale with Sorbet

An inside look at the tools and techniques Sorbet uses to keep gradual typechecking fast in a growing codebase.

• YouTube
• 48 minutes
• Self-Paced
• Free Video

Strange Loop Conference

Scala vs Idris - Dependent Types, Now and in the Future

Compare Scala and Idris to demonstrate dependent types, rich type systems, program verification, and future language capabilities.

• YouTube
• 40 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Typing the Untyped - Soundness in Gradual Type Systems

Examines soundness and completeness tradeoffs in gradual type systems, including type refinement, array bounds, and variance across typed language ecosystems.

• YouTube
• 37 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Gradual Typing of Ruby at Scale

Explore how Stripe scaled Ruby development by building a gradual, nominal type system and custom typechecker for a large production codebase.

• YouTube
• 39 minutes
• Self-Paced
• Conference Talk

NDC Conferences

Type Safe C++? LOL!

Learn how C++ strong types can make code clearer, prevent bugs, and improve performance, with examples from production and test code.

• YouTube
• 50 minutes
• Self-Paced
• Conference Talk

NDC Conferences

The C++ Type System is Your Friend

Use C++ types and templates to build lightweight abstractions that make APIs safer, clearer, and reusable without runtime overhead.

• YouTube
• 51 minutes
• Self-Paced
• Conference Talk

Ruby Central

Gradual Typing in Ruby - A Three Year Retrospective

A three-year retrospective on introducing gradual typing across a large Ruby monolith, including adoption challenges and practices that improved type coverage.

• YouTube
• 32 minutes
• Self-Paced
• Conference Talk

media.ccc.de

Functional Correctness: Haskell-ing Your Way to Reliable Code - FSCK 2024

Explore functional programming with Haskell to create robust, maintainable software. Learn key concepts like referential transparency and purity to enhance code reliability and correctness.

• YouTube
• 55 minutes
• Self-Paced
• Free Video

The Julia Programming Language

Introduction to Julia - Kickstart Workshop for Beginners

Learn Julia's unique features, syntax, and data structures in this comprehensive workshop. Ideal for programmers new to Julia, covering multiple dispatch, type system, and essential packages.

• YouTube
• 3 hours 8 minutes
• Self-Paced
• Free Video

PyCon US

Python Types for Fun and Profit

Use Python type annotations to express flexible programming patterns and catch bugs early with a type checker.

• YouTube
• 3 hours 38 minutes
• Self-Paced
• Conference Talk

PyCon US

Securing Code with the Python Type System

Shows how Python annotations, runtime validation, and typing-aware analysis can prevent security flaws incrementally, including injection and taint-flow vulnerabilities.

• YouTube
• 28 minutes
• Self-Paced
• Conference Talk

EuroPython Conference

`typing.Protocol` - Type Hints as Guido Intended

Shows how Python’s longstanding duck typing can be annotated with `typing.Protocol`, connecting flexible interfaces to static checking.

• YouTube
• 45 minutes
• Self-Paced
• Conference Talk

ACCU Conference

Type Safe C++ - LOL

See how C++ strong types can prevent bugs, clarify code, and improve performance, using techniques from simple wrappers to library-based solutions.

• YouTube
• 1 hour 13 minutes
• Self-Paced
• Conference Talk

ACCU Conference

The C++ Type System Is Your Friend

Use C++ types and templates to encode domain rules and catch errors at compile time, with no run-time overhead.

• YouTube
• 1 hour 10 minutes
• Self-Paced
• Conference Talk

CppNow

Security in C++ - Hardening Techniques From the Trenches

Discover practical memory safety mitigation techniques for C++ applications, including Standard Library hardening and typed memory allocation, with insights on implementing these security measures in production environments.

• YouTube
• 1 hour 34 minutes
• Self-Paced
• Free Video