Enhance compile-time verification capabilities

erg-lang / erg

A statically typed language compatible with Python

http://erg-lang.org

Apache License 2.0

2.7k stars 55 forks source link

Closed mtshiba closed 1 year ago

mtshiba commented 1 year ago

This change allows, for example, numpy.ndarray.shape to be verified at compile time.