プログラミング言語

アルゴリズムをプログラミング言語として抽象したのは
卓見だなと思う。

低レイヤの処理というのは、理由付けしながら意識的に
やるようなものではなく、意識のあずかり知らぬところで
自動的に行われるべきものだ。
それは、犬という単語でもって、ディテールを捨象した対象を
理解するときに、経験に基づいた意味付けによって捨象が
行われるのと同じだ。
その対象が犬である、あるいは犬でない理屈を一々並べて
判断などしていられない。

四則演算、文字列操作に限らず、並列化やGCといった処理も
言語として抽象することで、より意識的な操作に注力できる。

究極的にすべてが意味付けされた世界では言語が不要に
なるのと同様に、あらゆるアルゴリズムがすべて意味付け
されることでプログラミング言語も消滅するという事態は
想定し得る。
ただし、それは完全に固定化し、時が止まった世界である。