#Mypy

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social

With high-performance type checkers like , , and now available, what's the value proposition of ? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social

With high-performance type checkers like , , and now available, what's the value proposition of ? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social

With high-performance type checkers like , , and now available, what's the value proposition of ? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

洪 民憙 (Hong Minhee) :nonbinary:'s avatar
洪 民憙 (Hong Minhee) :nonbinary:

@hongminhee@hollo.social

With high-performance type checkers like , , and now available, what's the value proposition of ? Is it the reference implementation? Or does Mypy still have the most features? I'm not trying to knock Mypy, I'm genuinely asking because I don't know.

Glyph's avatar
Glyph

@glyph@mastodon.social · Reply to Glyph's post

Okay, so, fans of the help me out here:

I am mucking around with writing a simple new thing that, in order to have type annotations that aren't *completely* useless, needs to deal with the fact that Protocol and Factory aren't annotated.

But adding annotations makes the entire framework notice that the pattern of paired-Protocol-and-Factory subclasses are inherently LSP violations, because .protocol and .factory are writable attributes and thus invariant.

Olivia Appleton-Crocker's avatar
Olivia Appleton-Crocker

@LivInTheLookingGlass@tech.lgbt

Oh dang, my post is waaay out of date now. Let's do it again!

I have a in and . I went to for undergrad and for my graduate degree. I currently work at for the , which focuses on helping young children acquire language (and therefore other learning skills) faster.

In my spare time, I develop such as

I spend a fair bit of my time these days on , specifically into the Sequence and its extensions.

I'm also a hobbyist editor on OpenStreetMap.

, , and happily engaged to my sweetheart.

We have two cats: and (yes, from )

Two cats are by a sliding glass window. The one towards the top of the frame (named Ophelia) is laying on a heat pad and staring at the second cat. The second cat (named Maya) is towards the bottom of the frame. She is sat on the entry rug with her body poked between the blinds on the window, so that she can look outside.
ALT text detailsTwo cats are by a sliding glass window. The one towards the top of the frame (named Ophelia) is laying on a heat pad and staring at the second cat. The second cat (named Maya) is towards the bottom of the frame. She is sat on the entry rug with her body poked between the blinds on the window, so that she can look outside.
There are two cats in frame, near a very small cat tower. On top of the tower, Ophelia is laying down. Below, in a meercat-like pose, is Maya. She is trying to get a better view of the other cat. They didn't know each other very well at this time.
ALT text detailsThere are two cats in frame, near a very small cat tower. On top of the tower, Ophelia is laying down. Below, in a meercat-like pose, is Maya. She is trying to get a better view of the other cat. They didn't know each other very well at this time.
A gray cat, Maya, is laying on the couch. She is curled up such that her belly and paws are all exposed, though her tail is tucked near her feet. She looks peacefully asleep
ALT text detailsA gray cat, Maya, is laying on the couch. She is curled up such that her belly and paws are all exposed, though her tail is tucked near her feet. She looks peacefully asleep
A gray/gray-orange cat is laying on a white blanket. Her name is Ophelia, and she has one eye half open, which is a brilliant green-orange. She is very relaxed. You get the faint impression of a person's legs underneath the blanket
ALT text detailsA gray/gray-orange cat is laying on a white blanket. Her name is Ophelia, and she has one eye half open, which is a brilliant green-orange. She is very relaxed. You get the faint impression of a person's legs underneath the blanket