202621200

まあしかし、実際にプログラムを書いていると、「これは人類が頭を悩ませるべき問題なのか?」と思う点は多々ある。 Rust の struct で偽の shared mutability が発生するときとか。

計算機科学の理論が今のコンピュータに縛られない高い普遍性を持つように、プログラミング言語の究極の形の一つは「物事を記述するための最良の言語」であるはず。 Rc<RefCell<... と書きながら、「そこから遠ざかっているな」と思うことがある。