Type System Courses and Certifications

Functional Programming Principles in Scala

65 reviews

In this course you will discover the elements of the functional programming style and learn how to apply them usefully in your daily programming tasks.

• Coursera
• 2 days 8 hours
• On-Demand
• Free Online Course (Audit)

• Best of All Time

Stanford Seminar - Optional Static Typing for Python

2 reviews

Explore Python's dynamic and static typing with Stanford University's seminar. Learn about gradual typing, the mypy project, and type inference in just 1-2 hours.

• YouTube
• 1 hour 17 minutes
• On-Demand
• Free Online Course

Go: The Complete Developer's Guide (Golang)

36994 ratings at Udemy

Master the fundamentals and advanced features of Go Programming Language with this 9-hour course. Learn to build concurrent programs, use interfaces, and understand data structures. Offered by Udemy.

• Udemy
• 8 hours 55 minutes
• On-Demand
• Paid Course

Go Bootcamp: Master Golang with 1000+ Exercises and Projects

3798 ratings at Udemy

Master and Deeply Understand Google's Go from Scratch with Illustrated In-Depth Tutorials & 1000+ Hands-On Exercises.

• Udemy
• 15 hours 45 minutes
• On-Demand
• Paid Course

TypeScript for Professionals - by Basarat

3376 ratings at Udemy

Learn TypeScript's type system from a Microsoft MVP. Gain confidence and competence as a TypeScript/JavaScript developer with 3-4 hours of material.

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

Layouts for Lettering: Hierarchy, Composition, and Type Systems

Enhance your lettering skills with this 1-2 hour course, focusing on layout principles like hierarchy, composition, and type systems. Ideal for designers and hobbyists alike.

• Skillshare
• 1 hour 24 minutes
• On-Demand
• Free Trial Available

TypeScript Basic: Type System, Interfaces, Types, Generics

152 ratings at Udemy

Learn the basics of TypeScript, including type safety, generics, interfaces, and types, in a 2-hour course by Microsoft. Ideal for professional developers and JavaScript enthusiasts.

• Udemy
• 1 hour 59 minutes
• On-Demand
• Paid Course

C++ in Detail: Common Idioms

42 ratings at Udemy

Dive deep into C++ with a 4-5 hour course focusing on common idioms, polymorphism, resource management, optimization, and the type system.

• Udemy
• 4-5 hours
• On-Demand
• Paid Course

Software Analysis & Testing

This course covers the theory and practice of software analysis, which is at the heart of software development processes such as diagnosing bugs, testing, and debugging.

• Udacity
• 16 weeks
• On-Demand
• Free Online Course

Create a Design System with Figma - Full Course

2 reviews

Learn how to build a design system in Figma. By the end of this course you will become a master of building design systems in Figma and understanding master components.

• freeCodeCamp
• 8 hours
• On-Demand
• Free Online Course

Apply the JavaScript syntax to TypeScript’s type system to give your code more structure. Ready to start your journey into the TypeScript programming language? Take Learn TypeScript: Fundamentals—TypeScript builds on your JavaScript foundation so you ca…

• Codecademy
• 1 hour
• On-Demand
• Free Trial Available

OCaml

OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles - but don't worry if you're not familiar with these, as it's used as a teaching language by a lot of institutions (including Cornell and Pri…

• Exercism
• On-Demand
• Free Online Course

ReasonML: First Look

Need a type-centric language for the web? Learn about the most salient features of ReasonML, a new syntax and toolchain that leverages the power of both JavaScript and OCaml.

• LinkedIn Learning
• 1-2 hours
• On-Demand
• Free Trial Available

Provable Code

104 ratings at Pluralsight

Tools and patterns for using mathematics to write more reliable and readable software

• Pluralsight
• 5 hours 52 minutes
• On-Demand
• Free Trial Available

Java SE 17 Fundamentals

73 ratings at Pluralsight

Java is one of the most in-demand and widely-used programming languages in the world. This course will teach you everything you need to know to get started programming in Java.

• Pluralsight
• 7 hours 1 minute
• On-Demand
• Free Trial Available