erg VS docker-django-example

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.

Congrats on the release to the Django community!

If anyone is curious, I updated my Django / Docker starter kit app to use Django 5.0 at: https://github.com/nickjj/docker-django-example

It pulls together gunicorn, Celery, Redis, Postgres, esbuild and Tailwind with Docker Compose. It's set up to run in both development and production.

- https://github.com/nickjj/docker-django-example

For example I edit the regular non-lock file and then run ./run pip3:install from my host which handles the above. A repo with an example Django project in Docker can be found here https://github.com/nickjj/docker-django-example. There's a pip3-install script in the bin/ directory, you can replace that with Poetry commands instead.

Currently, I'm using a modified version of this Docker setup (https://github.com/nickjj/docker-django-example) to work locally and build/deploy a production image. However, using PyCharm as my IDE, the development process is incredibly slow, especially when adding or removing Python packages. It takes at least 3 minutes to rebuild the Docker image after adding a package, and PyCharm has to update its index. Additionally, PyCharm's inspector sometimes gets confused about which packages are already installed based on the requirements.txt.

If anyone is interested I updated my Django / Docker starter project for 4.2: https://github.com/nickjj/docker-django-example

Lots of handy stuff in this Django and Docker example project https://github.com/nickjj/docker-django-example He does a good course about Docker too.

If you're using Docker with a Debian based image you only need to apt install libpq-dev and you're good to go, it only needs to exist in your Docker image not your VPS directly. I've been using it for years. Here's a working example if you want to poke around https://github.com/nickjj/docker-django-example.

On a positive note, I would recommend perhaps looking at https://github.com/nickjj/docker-django-example for a good, somewhat beginner guide for django + docker work.

I put together https://github.com/nickjj/docker-django-example which pulls together a typical Django set up using Gunicorn, Celery, Postgres, Redis, esbuild and Tailwind.