typedload
erg
typedload | erg | |
---|---|---|
1 | 17 | |
0 | 2,605 | |
- | 0.9% | |
0.0 | 9.8 | |
almost 2 years ago | 1 day ago | |
Rust | ||
GNU General Public License v3.0 or later | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
typedload
-
A Python-compatible statically typed language erg-lang/erg
I read more about your repo, and it looks like typedload only does Python lists/dicts -> typed python objects(like named tuples, data classes, attrs classes, etc). Ie, the benchmarks don't include the time required to parse the JSON.
So I modified the benchmarking code to include loading JSON[0], and your library still came out on top!
But, it turns out I was wrong about pydantic using serde under the hood. Pydantic version 2 will. And the maintainer aims for it to be about 10x faster [1] than version 1.
Nonetheless, this was definitely a surprise for me, and if I ever go back to using Python, I'll definitely check your library out!
I'm curious, why do you think pydantic took off and your library didn't? It looks like your library is both faster and easier to use to me.
[0] https://github.com/davidatsurge/typedload/pull/1/files?diff=...
erg
-
Pylyzer – A fast static code analyzer and language server for Python
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
-
This Week in Python
erg – A Python-compatible statically typed language
- erg: A Python-compatible statically typed language
- erg: A Python-compatible statically typed language written in Rust
-
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.
- Erg: A Python-compatible statically typed language
- GitHub - erg-lang/erg: A Python-compatible statically typed language
- Erg: a statically typed language that is Python compatible
What are some alternatives?
pyxel - A retro game engine for Python
pytype - A static type analyzer for Python code
nimpy - Nim - Python bridge
libtmux - ⚙️ Python API / wrapper for tmux
cats-effect - The pure asynchronous runtime for Scala
Flask - The Python micro framework for building web applications.
Jupyter Scala - A Scala kernel for Jupyter
pyright - Static Type Checker for Python
mypy - Optional static typing for Python
ZIO - ZIO — A type-safe, composable library for async and concurrent programming in Scala
wu - 🐉 A practical game and data language
Laminar - Simple, expressive, and safe UI library for Scala.js