erg VS hissp

Looking through the code, Pylyzer seems to be a thin wrapper around Erg [1]. To typecheck, it converts your Python AST to an Erg AST, then runs its through the Erg typechecker and returns the errors.

Faster typechecking for Python is very much needed. But this project seems like it was built in a hackathon —- it is not a true standalone typchecker.

[1] https://github.com/erg-lang/erg

erg – A Python-compatible statically typed language

I have been developing a programming language for a few years and this week I published it on GitHub.

Hissp is a Python library that can compile a whole program into one Python expression.

If you want Python to be as customizable as Lissp, check out Hissp (and Hebigo).

Hissp is really cool for metaprogramming Python. There's also macropy, but it's harder to use.

I prefer https://github.com/gilch/hissp, where Hy has to use shims to pretend statements are expressions, Hissp just targets the expression subset in the first place. (though as you mentioned, hy has a lot of literature and support around it, where as you're going to have to find your own way around hissp)

No shortage of options, e.g. Dg, Mochi, Coconut, and Hebigo (based on Hissp[1]).

[1]: https://github.com/gilch/hissp

If you want Lisp metaprogramming plus Python ecosystem, check out Hissp

Hissp is really interesting. Read through the docs and you'll understand Python more deeply. It works well with Toolz and Pyrsistent.