deterministic @main return type

[jorenham]

fixes #46

Instead of returning an over-engineered function wrapper, I decided to follow the advice of @KotlinIsland and simply return the original function directly, as the result of the main function doesn't matter anyway.

As a consequence of the cleaner code, the typing_extensions dependency isn't needed anymore, so I removed it from the required dependencies for python < 3.11.

[KotlinIsland]

is typing_extensions a dev dependency because they are used in tests? I would try to take steps to ensure that it's never used within src code, perhaps configure ruffs TID251 rule?

edit:
oh, ermmmm idk how I feel about type importing something that isn't a dependency when it could be, seems a bit sus imo

[jorenham]

in theory (and in typing stubs), typing_extensions can always be used when type-checking, because typeshed includes the stubs for typing_extensions in the stdlib stubs.

[jorenham]

numpy uses this "trick" quite a lot btw

[jorenham]

oh and TID251 is already enabled

[KotlinIsland]

up to you, I would just include it but w/e

not sure how you would ensure that it's never imported for real in src code though

[jorenham]

not sure how you would ensure that it's never imported for real in src code though

My hope is that either ruff or basedpyright will catch it.
And just to be safe, I'll be including basedmypy as well; I've heard some great things about it 😉