未来のプログラミング

If Then Maybe方式になるとは、どういうことなのか２０１０年の自分の頭で考えてみる。

今現在、Maybeという単語を使ったプログラミング言語はSchemaのようだが、

どうも、型を推論するようだ。

しかし、あまり画期的な感じがしない。さほどプログラミングが楽になるとは思えないからだ。

ひょっとしたら、変数に確率的というか、類推的な概念が入るのかもしれない。

Lisp言語はすべてが配列だと言っても良いし、言語の概念も完璧さがある。

ネットワークを使って、類似した概念で補完される。その補完は自動的に行われるため、確証は得られないが おそらく正しいと言う意味で、Maybeが使われるのかもしれない。

トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS