Lazy BDDs with eager literal intersections

T1Covered by 1 source · first reported by Language blogs: Rust / Go / TypeScript / Swift / Kotlin / Java / .NET / Ruby / PHP / Elixir / ISO C++ at 26 Feb, 00:00 UTC

This article explores the latest batch of optimizations we did to set-theoretic types and their representation.

dev

Sources

• T1Lazy BDDs with eager literal intersectionsLanguage blogs: Rust / Go / TypeScript / Swift / Kotlin / Java / .NET / Ruby / PHP / Elixir / ISO C++26 Feb, 00:00