[分享发现] 才知道 ts 的类型检查系统本身是图灵完备的,甚至可以自举

感觉挺离谱的
https://github.com/ronami/HypeScript

还有这个
https://github.com/guevara/read-it-later/issues/8530