Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
hachyderm.io is one of the many independent Mastodon servers you can use to participate in the fediverse.
Hachyderm is a safe space, LGBTQIA+ and BLM, primarily comprised of tech industry professionals world wide. Note that many non-user account types have restrictions - please see our About page.

Administered by:

Server stats:

9.5K
active users

hachyderm.io: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.5

zwarich

Related to @graydon's mention of counterintuitive consequences of subtyping, here is Lionel Parreaux's talk from UNSOUND 2024 on how some languages with subtyping and intersection/union types support distributivity rules that are unsound in other languages:
youtube.com/live/ZZx7DvdAID0?t
It also reminded me (a non-TypeScript user) that due to overloading resolution, TypeScript intersection types are not commutative: github.com/Microsoft/TypeScrip

YouTube[SPLASH'24] Pasadena - UNSOUND (Oct 20th)By ACM SIGPLAN
Dec 29, 2024, 10:12 PM·Public·Web
0boosts·6favorites
ExploreLive feeds
About