A strongly typed dialect of Python is coming. I would like to humbly suggest a name for it.

• hy

  52 4,772 9.0 Python

  A dialect of Lisp that's embedded in Python

  

There's at least one Lisp implementation in Python called Hy

• prysm

  28 234 8.3 Python

  physical optics: integrated modeling, phase retrieval, segmented systems, polynomials and fitting, sequential raytracing... (by brandondube)

Just in the last week or two, I wrote an algorithm and then made it vectorized over a couple of commits. This process really is not difficult with the tools we have today and zero type annotations.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• mypyc

  25 1,667 0.0

  Compile type annotated Python to fast C extensions

  

In my view, we're far more likely see this need met in the tools ecosystem for CPython. For example, the ability to compile Python to C using the current gradual typing system, using tools like mypyc (which is already used by mypy itself for massive performance gains).

• nogil

  31 2,853 5.7 Python

  Multithreaded Python without the GIL

I have a feeling the pytorch team at facebook will drop a new compiled or jitted version of a subset of python in the next year or two. They have a really strong compiler/language team that already hacked up large portions of python, including the GIL free interpreter (https://github.com/colesbury/nogil/), using multiple interpreters for inference in python (https://arxiv.org/abs/2104.00254), and a bunch of other efforts (https://dev-discuss.pytorch.org/c/compiler/5)

• snek

  1 288 4.8 C

  Snek programming language for tiny systems (by keith-packard)

Already exists: https://github.com/keith-packard/snek

• pylance-release

  50 1,652 9.0 Python

  Documentation and issues for Pylance

  

I think for legibility, I expect ides will eventually support toggling type hints on/off. https://github.com/microsoft/pylance-release/issues/2177 is the relevant vscode issue.

• tai

  1 10 5.1 Go

  Go module for International Atomic Time (TAI) (by brandondube)

I write a lot of library code and don't get tickets about type problems.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• praise

  2 7 1.8 Python

  reference implementation of contemporary "forward-reverse" or "iterative transform" phase retrieval algorithms

I write a lot of library code and don't get tickets about type problems.

• pctl

  4 33 3.3 Go

  Industrial control systems in Go

I write a lot of library code and don't get tickets about type problems.

• iris

  1 1 10.0 Python

  A python wavefront sensing code (by brandondube)

I write a lot of library code and don't get tickets about type problems.

• cinder

  43 3,375 9.4 Python

  Cinder is Meta's internal performance-oriented production version of CPython. (by facebookincubator)

  

Not the PyTorch team, but here's both JIT support (of basically everything) and leveraging type annotations for better performance ("static Python") in Python 3.8: https://github.com/facebookincubator/cinder

Suggest a related project