You can use mypy and/or Pydantic.
You can use mypy and/or Pydantic.
Ugh I can’t find the xkcd about this where the guy goes, “you know what we call precisely written requirements? Code” or something like that
You mean omega, not theta
Surely you could implement this via a sorting algorithm? If you can prove the distance function is a metric and both lists contains elements from the same space under that metric, isn’t the answer to sort both?
I remember a guy who tied his baby’s rocker to the drive and wrote code to open and close the CD drive repeatedly lol. Fun times.
It’s likely transpiring and not compiling, so it’s a lot easier than it seems. Source: made a language that adds features to Python and transpiles to valid Python.
Yeah I worked at a place like that, but it made sense because we were also expected to keep PRs small, so a good commit message for several squashed ones was perfectly fine.
Oh god I feel so called out. I wish I paid more attention to my commit messages but I’m usually too busy fixing the directory structure and refactoring. Sigh.
What do you like about fish? Have you tried zsh? I’m in the market for a new shell too.
I’m writing my own: https://github.com/yrahul3910/pysh
This so so much. I want to contribute. The only time I ever have are when the barrier to getting setup and finding things I can do are low.
If you’re going to post a code example, at least check that it works. Here’s your example, with no type hints, giving me errors both from the LSP, and when trying to run via mypy: https://imgur.com/a/Hq5Y5Gt.