11:40 AM

Slava の本「Compiling Swift Generics」が大幅アップデートされてた

11:41 AM

まだ完成してないけど、Requirement Machine のクヌース・ベンディックス完備化アルゴリズムや、型システム上でチューリング完全な計算を行う方法など、重要なところがほぼ書き上がってる