Hacker News
- Intersection Types: Java Generics’ most underused feature http://iteratrlearning.com/java/generics/2016/05/12/intersection-types-java-generics.html 5 comments
- Programming with union, intersection, and negation types https://arxiv.org/abs/2111.03354 16 comments
Lobsters
- How to implement a TypeScript-style type checker, part 5: intersection types https://jaked.org/blog/2021-10-28-Reconstructing-TypeScript-part-5 2 comments compilers , javascript , plt
- Demystifying Intersection and Union Types in TypeScript https://www.typescriptlang.org/docs/handbook/interfaces.html#excess-property-checks 21 comments typescript
- Intersection Types in Kotlin https://youtu.be/d_vP_wEnjT4 2 comments androiddev
- Intersection Types in Kotlin https://youtu.be/d_vP_wEnjT4 5 comments kotlin
- Nullable intersection types goes to vote https://wiki.php.net/rfc/nullable_intersection_types#vote 24 comments php
- Nullable intersection types https://externals.io/message/115554 23 comments php
- How to extract proper intersection type from an array? https://www.reddit.com/r/typescript/comments/m5wvrx/how_to_extract_proper_intersection_type_from_an/ 17 comments typescript
- Intersection Types in Java https://4comprehension.com/leveraging-intersection-types-in-java/ 26 comments java
- The meaning of union and intersection types https://codewithstyle.info/the-meaning-of-union-and-intersection-types/ 4 comments typescript
- Union Types vs. Intersection Types https://medium.com/@ondrejmirtes/union-types-vs-intersection-types-fd44a8eacbb 14 comments programming
- Intersection Types: Java Generics’ most underused feature http://iteratrlearning.com/java/generics/2016/05/12/intersection-types-java-generics.html 11 comments java
- Intersection types coming to TypeScript https://github.com/microsoft/typescript/pull/3622 7 comments typescript
- In what ways does Haskell support intersection and union types? http://www.cs.cmu.edu/~fp/papers/icfp00.pdf 17 comments haskell
- Pure intersection types vote has started https://wiki.php.net/rfc/pure-intersection-types 52 comments php
- Draft RFC: Pure intersection types https://github.com/girgias/intersection-types 32 comments php
- Is Intersection Types in Dotty really an intersection or should it be called something else? https://dotty.epfl.ch/docs/reference/new-types/intersection-types.html 11 comments scala
- Quick recap of induction on CoC with self types / dependent intersections https://medium.com/@maiavictor/about-induction-on-the-calculus-of-constructions-581fcfdb89c5 4 comments haskell
- How type embedding intersects with Pointer and Value method receivers in Go http://srinathh.github.io/blog/golang-embedding-subtlety/ 7 comments golang
- The Intersection of Machine Learning, Types and Testing https://www.youtube.com/watch?v=czZ18YtZlaw 3 comments haskell
- Montreal to try new type of intersection for cyclists and motorists http://www.montrealgazette.com/news/City+type+intersection/6594183/story.html 57 comments bicycling
- typecheck.macro - A library/macro for automatically generating validation functions from Typescript types now supports intersection types, circular references/recursive types, detailed error messages, type analysis, maps, sets, and more! https://www.reddit.com/r/typescript/comments/gxsret/typecheckmacro_a_librarymacro_for_automatically/ 12 comments typescript
- 'This Guy’s Been Watching the Wrong Type of News Channel or Something': When a Black lineman from Colorado State went knocking on doors in a white neighborhood, he found himself at the dangerous intersection of a national racial reckoning and a world of internet-conspiracy fanaticism. https://www.si.com/college/2020/08/20/barry-wesley-colorado-state-antifa-daily-cover?utm_source=reddit.com 3 comments indepthstories