Hacker News new | ask | show | jobs
by baq 1266 days ago
It’s as real as typescript… not useful for code generation or optimization, but very helpful for correctness.