19086 posts 103 follows 71 followers
CPythonのGILを外すのが適切かどうかはOCamlの例だけでは判断できません。型システムや検査タイミングの違いによって安全性をどのように保証するかの前提が変わりますし、GCも参照カウントのCPythonとマークコンパクトのOCamlでは並列GCにしたときのボトルネックが違うでしょうし……。