Static Type Checking Courses and Certifications

SF Python

Python Code Quality: Using Types, Lints, and Codemods with Pyre

Discover essential techniques for maintaining high-quality Python code through type checking, linting tools, and automated code modifications using Pyre and codemods.

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

Best practices & advanced TypeScript tips for React devs

248 ratings at Udemy

Are you a React developer trying to get the most benefits from TypeScript? Then this is the course for you.

• Udemy
• 3 hours 33 minutes
• On-Demand
• Paid Course

Crystal

Explore Crystal, a Ruby-inspired compiled language with static type-checking, through hands-on coding exercises covering algorithms, data structures, and problem-solving.

• Exercism
• On-Demand
• Free Online Course

Use TypeScript to Develop Vue.js Web Applications

119 ratings at egghead.io

Learn to leverage TypeScript's static typing in Vue.js applications, using class-based components, decorators, and advanced techniques for building robust and maintainable web apps.

• egghead.io
• 38 minutes
• On-Demand
• Paid Course

Traversy Media

Static Type Checking in JavaScript with Flow

Learn to enhance JavaScript with Flow's static type checking, making code more robust and easier to debug. Covers installation, types, compilation, interfaces, functions, and utility types.

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

Meta

Type Systems Will Make You a Better JavaScript Developer - React Conf 2017

Explore how type systems enhance JavaScript development, focusing on error prevention, code clarity, and improved tooling for more robust applications.

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

Learn With Jason

Power Up React With TypeScript

Enhance React apps with TypeScript: Learn to add autocomplete, improved linting, and more. Discover how TypeScript boosts development efficiency and code quality in this practical tutorial.

• YouTube
• 1 hour 32 minutes
• On-Demand
• Free Video

Ruby Central

The State of Ruby 3 Typing

Exploring RBS in Ruby 3: A new feature supporting type checker development. Learn about its implementation, benefits for gem developers, and how to prepare your gems for RBS compatibility.

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

WeAreDevelopers

Angular - Google’s Popular Application Framework

Explore Angular's capabilities for building modern web applications, including component orientation, static type checking, and high performance, demonstrated through a practical example.

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

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

Flow - Am I Your Type?

Explore static typing in JavaScript with Flow, covering installation, types, analysis, and integration with tools like Babel and ESLint. Learn to catch errors and improve code quality.

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

JSConf

This Will Flow Your Mind

Explore Flow, a static type-checker for JavaScript, and learn its benefits, capabilities, and limitations through QuizUp's successful implementation experience.

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

EuroPython Conference

Static Type-Checking Is Dead, Long Live Static Type-Checking in Python

Explore static type-checking in Python, including PEP 484, type hints, and libraries like Hypothesis. Gain insights into type systems and their impact on code robustness.

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

International PHP Conference

PHP to Hack - An Incrementally Typed Adventure at Slack

Explore Slack's migration from PHP to Hack, covering benefits, challenges, and insights. Learn about static typing, generics, and lessons for PHP developers.

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

International PHP Conference

PHP to Hack - An Incrementally Typed Adventure at Slack

Explore Slack's migration from PHP to Hack, discussing challenges, benefits, and lessons learned in transitioning a large codebase to an incrementally typed language.

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