mypyc VS reader

That would be interesting! You might already be aware. But there's mypyc[0], which is an AOT compiler for Python code with type hints (that, IIRC, mypy uses to compile itself into a native extension).

Wanted to give you a head-start on the lit-review for your students I guess :)

[0] https://github.com/mypyc/mypyc

https://github.com/mypyc/mypyc

> Mypyc compiles Python modules to C extensions. It uses standard Python type hints to generate fast code. Mypyc uses mypy to perform type checking and type inference.

> Mypyc can compile anything from one module to an entire codebase. The mypy project has been using mypyc to compile mypy since 2019, giving it a 4x performance boost over regular Python.

I have not experience a 4x boost, rather between 1.5x and 2x. I guess it depends on the code.

Funny how emergence works with tools. Give a language too few tools but viral circumstances - the ecosystem diverges (Lisps, Javascript). Give it too long an iteration time but killer guarantees, you end up with committees. Python not falling into either of these traps should be understood as nothing short of magic in emergence.

I only recently discovered that python's reference typechecker, mypy, has a small side project for typed python to emit C [1], written entirely in python. Nowadays with python's rich specializer ecosystem (LLVM, CUDA, and just generally vectorized math), the value of writing a small program in anything else diminishes quickly.

Imagine reading the C++wg release notes in the same mood that you would the python release notes.

[1] https://github.com/mypyc/mypyc

> Note that the mypyc issue tracker lives in this repository! Please don't file mypyc issues in the mypy issue tracker.

See https://github.com/mypyc/mypyc/blob/master/show_me_the_code....

And mypyc https://github.com/mypyc/mypyc

More recent approaches include mypyc which is (on the tin) quite close to what you describe, and taichi that lives in between.

Have you encountered mypyc?

https://github.com/mypyc/mypyc

> Mypyc compiles Python modules to C extensions. It uses standard Python type hints to generate fast code. Mypyc uses mypy to perform type checking and type inference.

Regarding the large execution time mentioned in your article, I discovered (mypyc)[https://github.com/mypyc/mypyc] on this subreddit in a post from the black formatter team https://www.reddit.com/r/Python/comments/v2009i/im_that_person_who_got_black_compiled_with_mypyc/?utm_medium=android_app&utm_source=share

I like this pattern so much, I wrote an article about it; if you want to see what it looks like in real life, check this out.

It can also be used to build bookmarking / read later functionality similar to that of Tiny Tiny RSS; extracting content from arbitrary pages would be pretty helpful here.

To find out more, check out the GitHub repo and the docs, or give the tutorial a try.

[1]: https://death.andgravity.com/query-builder-how#more-init

[2]: https://github.com/lemon24/reader/blob/10ccabb9186f531da04db...

Looking now through the Python API docs, I found the Quoting characters for use in search thing, which may come in handy for something I'm doing for my feed reader library (deduplicating articles). Not sure if I'll vendor it or add sqlite-utils as a new dependency, but it's good to know someone already solved this problem (I have a prototype, but I haven't really tested it).

I'm happy to announce version 2.0 of reader, a Python RSS / Atom / JSON feed reader library.

I'm also working on the 2.0 version of my feed reader library. The backwards compatibility break allows me to clean up a bunch of unnecessary code and fix some bad design decisions; I've deleted 250 lines of code until now, and it's very satisfying.

The exact same problems None has when it's not a valid value. None is different from the variable type, that's why you have Optional[VarType], which is an alias for Union[VarType, None]; you can model this in exactly the same way: Union[VarType, MissingType]; here's an example.

reader is a Python feed reader library – it offers all the high-level things you'd want when making a feed reader app/website, except the actual web app.