Type Inference Courses and Certifications

Scala Days Conferences

Type Parameter Power-Up! Variance, Bounds, and Inference

Explore advanced Scala type system concepts including variance, bounds, and inference to enhance your programming skills and write more robust code.

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

ACM SIGPLAN

Type Inference in OCaml and GHC Using Levels

Explore type inference and generalization algorithms in OCaml and GHC based on Rémy's type levels concept, including their implementation and additional applications beyond generalization.

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

Confreaks

Do LLMs Dream of Type Inference? - Exploring LLM-Based Type Inference Tools in Ruby

Explore how LLM-based type inference tools like RBS Goose are revolutionizing Ruby development, with insights into evaluation mechanisms and benchmarking approaches.

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

Java

Dynamic Dispatch and Type Inference in Fortress - Lecture

Explore dynamic dispatch and type inference in Fortress, covering generic overloading, trait-based systems, and runtime type operations, with insights on JVM implementation challenges.

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

Gopher Academy

Everything You Always Wanted to Know About Type Inference in Go

Explore Go's type inference feature: its magic, potential, and impact on code cleanliness. Gain insights into this powerful aspect of Go's generic functions.

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

ACM SIGPLAN

Type Inference for Application Spines in Higher-Order Languages - WITS'24

Explore type inference for application spines in Haskell, covering error messages, impredicative polymorphism, visible type application, and required type arguments.

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

Advanced Functional Programming Techniques

Master advanced functional programming concepts through monads, functors, and transformers in C++, focusing on practical implementations and real-world design patterns.

• CodeSignal
• 3 hours
• Self-Paced
• Free Certificate

ACM SIGPLAN

RestPi - Path-Sensitive Type Inference for REST APIs

Discover RestPi, a novel type inference engine that automatically generates REST API specifications using path-sensitive analysis to enumerate all response types efficiently.

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

Scala Applied, Part 1

3747 ratings at Udemy

Introduction to programming in the Scala language. Core syntax and concepts.

• Udemy
• 5 hours 44 minutes
• Self-Paced
• Paid Course

Java SE 17 Developer (1Z0-829): Unit 3

Master Java's object-oriented principles including classes, inheritance, polymorphism, interfaces, and enumerations to build sophisticated applications.

• Coursera
• 10 hours 43 minutes
• Self-Paced
• Paid Course

Coursera

Mastering Streamlined Syntax: Efficient Kotlin Coding

Explore Kotlin's streamlined syntax to build a Student Task Management System. Master type inference, smart casts, null safety, and more for efficient coding. Ideal for developers with basic programming knowledge.

• Coursera
• 2 hours 18 minutes
• Self-Paced
• Paid Course

Packt

Advanced TypeScript: Building Production-Grade Applications

Master advanced TypeScript concepts—union types, mapped types, generics, and conditional types—to build scalable, production-grade applications through hands-on exercises mirroring real-world challenges.

• Coursera
• 14 hours 6 minutes
• Self-Paced
• Paid Course

Introduction to Kotlin for Java Developers

660 ratings at Udemy

Learn Kotlin, a modern language for the JVM (now officially supported on Android!)

• Udemy
• 4 hours 56 minutes
• Self-Paced
• Paid Course

Best practices & advanced TypeScript tips for React devs

504 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
• Self-Paced
• Paid Course

Academind

TypeScript for Beginners - Learn TypeScript from Scratch

Learn TypeScript fundamentals, features, and workflows. Master types, functions, compilation, and debugging. Ideal for beginners seeking practical skills in this powerful JavaScript superset.

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