Remix.run Logo
▲ michalc 2 hours ago

I think similar to `dict[str, Any]`, my (justified?) recent pet peeve is `| None`.

I posted this yesterday pretty much on that: https://charemza.name/blog/posts/software/type-safety/type-s...

▲disgruntledphd2 an hour ago | parent [-]

Yeah, that always stinks of types look nice, but I can't be bothered to try a little harder.

▲stephantul a minute ago | parent [-]

What do you think it should be? I use | None a lot and it doesn’t seem like a smell to me