Type System Courses and Certifications

International PHP Conference

A Case for Generics in PHP

Explore the case for generics in PHP, discussing type systems, runtime checks, and potential benefits for PHP developers. Learn from comparisons with other languages and practical use cases.

• YouTube
• 33 minutes
• On-Demand
• Conference Talk

International PHP Conference

What Kind of Language is it?

Explore PHP 7's language design, from imperative and object-oriented programming to typing systems. Gain insights into PHP's versatility and strengths as a modern programming language.

• YouTube
• 55 minutes
• On-Demand
• Conference Talk

PHP UK Conference

What's New in PHP 8.1

Explore PHP 8.1's new features: enums, fibers, closure syntax, intersection types, and more. Gain insights into strengthened type systems and exciting additions for enhanced development.

• YouTube
• 47 minutes
• On-Demand
• Conference Talk

NDC Conferences

Using Elixir and F# Together

Explore interoperability techniques between Elixir and F#, comparing their strengths in functional programming, type systems, and concurrency models for effective combined usage.

• YouTube
• 1 hour 7 minutes
• On-Demand
• Conference Talk

Rust: Removing the Sharp Edges from Systems Programming

Explore Rust's safety features for systems programming, including memory management, type system, and error handling. Learn to integrate Rust into Yocto systems using meta-rust.

• YouTube
• 50 minutes
• On-Demand
• Free Video

Modern Programming Language Abstractions for Cloud-Native Application Development

Explore high-level abstractions, type systems, and visualization techniques that simplify cloud-native development. Learn how modern programming languages are shaping the future of distributed applications.

• YouTube
• 46 minutes
• On-Demand
• Free Video

NDC Conferences

Using C#'s Type System Effectively

Practical tactics to leverage C#'s type system for improved compiler feedback, safer code optimization, and enhanced programming philosophy. Explore simple to advanced techniques.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Conference Talk

NDC Conferences

Domain Modeling Made Functional

Explore domain modeling in functional programming, using types to represent domains, encode business rules, and ensure code correctness at compile time. Learn practical F# examples for effective domain-driven design.

• YouTube
• 52 minutes
• On-Demand
• Conference Talk

NDC Conferences

Deconstructing TypeScript’s Type System

Explore TypeScript's advanced type system features, including intersection types, type guards, and discriminated unions. Learn to leverage compile-time checking for cleaner, safer code.

• YouTube
• 1 hour 1 minute
• On-Demand
• Conference Talk

PHP UK Conference

PHP's Type System Dissected

Explore PHP's evolving type system, including its meaning, implementation, and relation to Liskov's Substitution Principle. Learn how strict_type declaration impacts type checking and usage.

• YouTube
• 59 minutes
• On-Demand
• Conference Talk

NDC Conferences

Kotlin - Boring Languages Are Dead - Long Live Boring Languages

Explore Kotlin's type system, null handling, and advantages over Java. Learn why Kotlin is becoming the new "default boring language" and how it can benefit your projects.

• YouTube
• 43 minutes
• On-Demand
• Conference Talk

NDC Conferences

Hacking C# from the Inside - How to Do Anything in .NET

Explore advanced C# techniques: emit machine code, manipulate type system, override sealed types, and control garbage collection. Learn practical hacks to enhance debugging and problem-solving skills.

• YouTube
• 2 hours 18 minutes
• On-Demand
• Conference Talk

Devoxx

How to Create a New JVM Language in Under an Hour

Explore creating a new JVM language, covering grammar, semantics, and interpreter development. Learn about parsers, optimizations, and JVM interoperability challenges in language design.

• YouTube
• 58 minutes
• On-Demand
• Conference Talk

Devoxx

The Many Shapes of Polymorphism

Explore polymorphism's impact on programming language design through Java and Scala examples, comparing code evolution and examining how different language features coexist.

• YouTube
• 47 minutes
• On-Demand
• Conference Talk

Devoxx

Typing in Java, Kotlin and Scala

Explore differences in type systems of Java, Kotlin, and Scala through bytecode analysis, compilation, execution time, generics, and type inference. Compare code samples for deeper understanding.

• YouTube
• 44 minutes
• On-Demand
• Conference Talk