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