Elixir's intersection types

TypeScript Fundamentals - #9 Intersection Types Combine TypesПодробнее

The Design Principles of the Elixir Type System - Guillaume Duboc | Code BEAM Europe 2023Подробнее

Emma Cunningham - Hype For Types Using Dialyzer to Bring... - Code Beam SF 2018Подробнее

40. Implement Intersection Types in the Typescript.Подробнее

What’s new in Gradualizer: Type checking Erlang and Elixir | Radek Szymczyszyn | Lambda Days 2022Подробнее

Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc | ElixirConf EU 2023Подробнее

The KEY to unions and intersections in TypeScriptПодробнее

TypeScript. Тип объединения и тип пересечения. Unions and Intersection TypesПодробнее

💥 Typescript Union and Intersection Types- Interface vs Type AliasesПодробнее

Lightning talk: Typechecking Elixir | Radek Szymczyszyn | ElixirConf EU 2021Подробнее

Typescript's Most Misunderstood Feature: Unions and IntersectionsПодробнее

Master Intersections in TypeScriptПодробнее

[Erlang'23] Invited Talk: A Type System for ElixirПодробнее

Number & Math operations in ElixirПодробнее

Advanced TypeScript | Union and Intersection TypesПодробнее

Union to Intersection - TypeScript Type Challenges #55 [HARD]Подробнее

Pattern Matching in ElixirПодробнее

Introduction to Elixir - Functions, Built-in and Complex Types - Part TwoПодробнее

Giulio Guerrieri - Categorifying Non-Idempotent Intersection TypesПодробнее

Péter Gömöri - Gradualizer: challenges implementing a type checker - ElixirConf EU 2019Подробнее