bsky confirmed hacked

Visual Studio user spotted

I mean I am not _that_ old nor have I aged that much during this release. Autocomplete is just bonkers and it's like I'm drunk when typing sometimes watefuk.

😱

I mostly have them there temporarily as a note for myself tomorrow, found it better than any planning tool or whatever.

Kinda feels feels like the opposite of your example in the blog?: matching on something exhausts the case, instead of building up variants like in my example, you are narrowing them.

Side note: is Polymorphic variants considered structural typing? Because I like using them as a way to represent errors, assuming you do a long pipe of functions that can fail in a lot of ways. Them just accumulating up depending on usage is veri najs and feels very... structural?

(i tried to get this across in welltypedwitch.bearblog.dev/nominal-for-... but a lot of people misunderstood it to mean "we should just have both" oh well)

I know they rave about Row Polymorphism all the time there but I don't think I understood it (because I never have PS a try) but it led me to brianmckenna.org/blog/row_pol...

I think extensible records in Elm is a nice middle ground.

Imagine nominally typed tuples

yay!

Average GitHub Actions enjoyer

but the tuple in the tuple can be 64 and the tuple in that blabla we just keep doing associative product bullshit??

very cool in Elm where the limit is 3 cuz of benevolence but `( 1, 2, ( 3, 4 ) )`