未来のプログラミング
If Then Maybe方式になるとは、どういうことなのか2010年の自分の頭で考えてみる。
今現在、Maybeという単語を使ったプログラミング言語はSchemaのようだが、
どうも、型を推論するようだ。
しかし、あまり画期的な感じがしない。さほどプログラミングが楽になるとは思えないからだ。
ひょっとしたら、変数に確率的というか、類推的な概念が入るのかもしれない。
Lisp言語はすべてが配列だと言っても良いし、言語の概念も完璧さがある。
ネットワークを使って、類似した概念で補完される。その補完は自動的に行われるため、確証は得られないが おそらく正しいと言う意味で、Maybeが使われるのかもしれない。