Cecil Curry

icon indicating a website link https://ionovate.com icon indicating an email [email protected]

icon location Ontario, Canada icon location @beartype maintainer. Runtime type-checking aficionado. Gentoo Linux advocate. Japanese language enthusiast. Cold-climate permaculturist. Canadian. :maple_leaf:

Results 575 comments of Cecil Curry

[Feature Request] Contravariant generics (if feasible, but maybe infeasible)

**Glorious request is glorious!** Yes, contravariant type variables is *absolutely* in @beartype's wheelhouse, which increasingly resembles an API pigsty. Let's add this to the back burner with firm and resolute...

[Feature Request] Contravariant generics (if feasible, but maybe infeasible)

> ![heh heh heh](https://camo.githubusercontent.com/ab410f941b54c8b11d1004b63a46767e56d56dd86f05a1fafe313a8c6c3d90d5/68747470733a2f2f692e6b796d2d63646e2e636f6d2f656e74726965732f69636f6e732f66616365626f6f6b2f3030302f3030342f3032392f6d6f746865726f66676f642e6a7067) ![i see your shades and raise you more shades](https://media.tenor.com/SKY0-JvfL5UAAAAM/the-rock-glasses.gif) ![more shades](https://media.tenor.com/yjLKAkVplzwAAAAM/taking-off-sunglasses-what.gif) > Perhaps there is room to "bless" certain types... *Perl 5 intensifies.* Inb4 @tbsexton publishes...

[Feature Request] Contravariant generics (if feasible, but maybe infeasible)

> @tbsexton Are you running a prerelease version of @beartype *...ohnoes.* So sorry about that, @langfield! Everything's mostly ready to go for `beartype 0.12.0` – including deep type-checking support for...

[Feature Request] Contravariant generics (if feasible, but maybe infeasible)

**Fascinating discussion continues fascinating.** Thankfully, @beartype has everyone covered here; we deeply type-check arbitrary combinations of both `typing.Literal[...]` and `typing.Union[...]`, which `|` syntactically reduces to. @beartype implicitly supports everything above...

[Feature Request] Add a new `BeartypeConf.strategy_O1_check_sequence_index` option enabling callers to deterministically type-check sequences

**Superb request!** Yes. So much yes. You're right, of course. This is an excellent feature request. Deterministic CI is a lofty goal. @beartype should support you in that goal, @avolchek....

[Feature Request] Python 3.14 TypeForm support

> unlike some of the same-numbered planes ^^ **Ho, ho.** What's this? A Boeing breakdown meme in *my* tracker!? :rofl: ![](https://media1.tenor.com/m/ppHxxZCBWxsAAAAd/plane-crash-memes.gif) *@beartype 0.18.0 and the 2024 edition of boeing do...

[Feature Request] Python 3.14 TypeForm support

**Boring Update (Stardate 1739.12):** In preparation for the coming glory that is PEP 747, I'm very leisurely annotating *all* type hints across the entire @beartype as `TypeForm`. Previously, @beartype used...

[Feature Request] Raise explanatory exceptions when confronted with unusable unsubscripted `multiprocessing.(Simple)?Queue` "type hints" :rage4:

*...heh.* More non-standard mostly undocumented type hints, huh? No problem. @beartype chews up non-standard mostly undocumented type hints for breakfast. It turns out [everyone else is confused about `multiprocessing.Queue[...]` type...

[Feature Request] Raise explanatory exceptions when confronted with unusable unsubscripted `multiprocessing.(Simple)?Queue` "type hints" :rage4:

**Hoh, boy.** I just spelunked into this. I have good news and I have bad news. But first... the **tl;dr!** Ain't nobody got the time to read all the madness...

[Feature Request] Raise explanatory exceptions when confronted with unusable unsubscripted `multiprocessing.(Simple)?Queue` "type hints" :rage4:

*...heh.* `multiprocessing.Queue` internals, huh? Now we're *really* getting into the guts of the beast. To quote core CPython dev @JelleZijlstra at CPython PR python/cpython#99511: > `multiprocessing` scares me... Preach, brother...