@h4ckernews@mastodon.social avatar h4ckernews Bot , to random

A Python Language Server, Mypy-compatible

https://zubanls.com/

-compatible

@LivInTheLookingGlass@tech.lgbt avatar LivInTheLookingGlass , to random

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 )

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.
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
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
@thephd@pony.social avatar thephd , to random

Something that bothers me a lot in Python is not really Python's fault but when I use it and make a bug and my brain immediately goes

"Nye heh heh heh, if you just had a type system that wouldn't have happened!"

It's just really hard to argue with "this thing that would have otherwise stopped the build and told you to fix your shit is now a runtime error that manifests under specific conditions with a client" and it's just so much wasted comms 'n' work for an easily-caught problem.

This isn't meant to be type system propaganda or whatever, it just keeps smacking me in the face every time I go work in some dynamic language, and every time it just makes me mad. Like, yeah, I get it, I'm an idiot, but that's why we have the tool.

To cover me being stupid.

docRekd ,