search

JSMonk / hegel

An advanced static type checker
https://hegel.js.org
MIT License
2.1k stars 59 forks source link

typescript non-goal is *provably correct* not *probably correct* #214

Closed jamesmanning closed 4 years ago

jamesmanning commented 4 years ago

From the Hegel page https://hegel.js.org/docs#benefits-and-disadvantages-over-typescript

One of the non-goals of TypeScript is: "Apply a sound or "probably correct" type system. Instead, strike a balance between correctness and productivity."

The actual non-goal

https://github.com/Microsoft/TypeScript/wiki/TypeScript-Design-Goals

Apply a sound or "provably correct" type system. Instead, strike a balance between correctness and productivity.

Kind of odd since it looks like a copy-paste otherwise - maybe some kind of autocorrect got involved.

JSMonk commented 4 years ago

Thank you a lot ^_^ I will change it soon.

thecotne commented 4 years ago

copy past quote was updated in this commit https://github.com/JSMonk/hegel/commit/620b135469bd28c4ae6420333fd951206c42487d#diff-348867911e6a15bef82fdd2a4ef49f79