Today I learned:
1. Plymouth—the software for displaying graphical loading animations for Linux systems—has its own custom scripting language, and
2. This dynamic type union thing is a feature of that scripting language:
@pasqui023 It's not just an intersection type, but for reasons that didn't make it into the screenshot. For example, the "inheritance" of two functions will try them sequentially to enable dynamic definition-by-cases, which is different than just dynamic intersection types.
This page describes the mastodon.social instance - wondering what Mastodon is? Check out joinmastodon.org instead! In essence, Mastodon is a decentralized, open source social network. This is just one part of the network, run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!
Hero image by @b_cavello