プログラミング言語

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

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

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

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