[johnmw]

Those who agree might be interested in "Introducing TypeChat" by Anders Hejlsberg + others (2023) [1]

[1]: https://microsoft.github.io/TypeChat/blog/introducing-typech...

[dcsan]

Wish this project had more traction. Typechat with type checking could generate lots of synthetic data for model training too