[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

![fbrasisil Avatar](https://lunarcrush.com/gi/w:24/cr:twitter::793799617.png) Flavio Brasil [@fbrasisil](/creator/twitter/fbrasisil) on x 2738 followers
Created: 2025-07-18 02:50:35 UTC

@ymdfield @adamhearn_ yeah, Scala X type system was key to reach this encoding! It's difficult to express it in a language that doesn't have a native way to represent an unordered type-level set


XXX engagements

![Engagements Line Chart](https://lunarcrush.com/gi/w:600/p:tweet::1946039872491229484/c:line.svg)

**Related Topics**
[scala](/topic/scala)

[Post Link](https://x.com/fbrasisil/status/1946039872491229484)