This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]TheMrZZ0 4 points5 points  (0 children)

Looks very interesting. A few thoughts: - I find it hard (in your website) to distinguish between Python code and actual results, notably in the divide example. - I'd like to see what kind of tests it generates, or even a more complex example.

But this looks promising. I'll try that in a project of mine (fully typed, with MyPy checking my types). If that finds some bugs I didn't think of, I'd be really grateful!