Type System Courses and Certifications

Basic Types in Rust

23 ratings at egghead.io

This collection contains videos that explore the basic types in Rust, including Fixed size Integer, Pointer sized Integer, Boolean, Strings, Characters, Arrays, Tuples and more.If you're just starting out learning Rust and wrote your first program, this…

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

Dive deep into TypeScript with this comprehensive course, covering everything from getting started to compiler internals. Perfect for JavaScript developers.

• Independent
• On-Demand
• Free Online Course

Figma Variants – Design a Scalable Mobile App [Full Course]

Learn to design a scalable mobile app using Figma Variants in this 4-5 hour course, covering basics to advanced features like Autolayout, Component, and Variant functionality.

• freeCodeCamp
• 4-5 hours
• On-Demand
• Free Online Course

Beginning TypeScript

As the complexity and scale of our apps forever increases, TypeScript has risen in popularity as people seek the reassurances of type safety in their applications. Major frameworks such as Vue have rewritten their entire code bases in TypeScript. No…

• Laracasts
• 1 hour 32 minutes
• On-Demand
• Paid Course

IEEE

Verifying and Synthesizing Constant-Resource Implementations with Types

Learn to verify and synthesize constant-resource implementations with types in this IEEE presentation. Gain insights into side channel attacks, constant-time programming, and secure code writing.

• YouTube
• 19 minutes
• On-Demand
• Free Online Course

IEEE

On the Generality and Convenience of Etypes

Explore the features of Ethos operating system and its distributed mandatory type system, Etypes, in this short program by IEEE. Learn how to craft robust computer programs using Etypes.

• YouTube
• 24 minutes
• On-Demand
• Free Online Course

A Few Effective GCC - Clang Optimizations for Embedded Systems

Learn effective gcc/clang optimizations for embedded systems with Linux Foundation. Gain insights into programming techniques, coding practices, and compiler options for better code generation.

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

Strange Loop Conference

Shen - A Sufficiently Advanced Lisp

Explore Shen, a versatile Lisp hosted language, in this under 1-hour material from Strange Loop Conference. Learn to transition between functional, logic, and imperative styles.

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

International PHP Conference

What Kind of Language is it?

Explore PHP 7's design principles with Sebastian Bergmann at the International PHP Conference. Learn about its support for procedural, object-oriented, and functional programming in under 1 hour.

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

PHP UK Conference

What's New in PHP 8.1

Explore PHP 8.1's new features in less than an hour with PHP UK Conference. Gain insights into strengthened type systems, new closure syntax, intersection types, and more.

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

International PHP Conference

A Case for Generics in PHP

Explore the use of generics in PHP with Chris Holland at the International PHP Conference. Learn about composite objects, type systems, and practical use-cases in under an hour.

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

GOTO Conferences

The Verification of a Distributed System

Learn to build and test distributed systems with Twitter's Distributed Systems Diva, Caitie McCaffrey, in this under 1-hour presentation by GOTO Conferences.

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

GOTO Conferences

Denotational Design - From Meanings To Programs

Explore the principles of Denotational Design through examples in this 2-3 hour material by GOTO Conferences. Learn to design high-level libraries for functional programming using Haskell.

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

Devoxx

Field Guide to DDD - CQRS Using the Scala Type System and Akka

Explore DDD/CQRS implementation techniques using Akka and Scala with Devoxx. Learn domain modeling, Akka integration, failure recovery, and asynchronous programming in 2-3 hours.

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

Devoxx

What's Coming in Scala 3

Explore Scala 3's new features and their impact on development with Devoxx's under 1-hour material. Learn to refactor Scala 2 to 3 and get advice on project transition.

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