web-dev-qa-db-ja.com

「->」記号は何と呼ばれますか?

Java 8述語の->演算子/記号を最近見て、その名前が何であるか疑問に思いました。ラムダ式で使用されていることは知っていますが、ラムダはλなので、そうではありません。

何か案は?

1
SamTebbs33

それは呼ばれています arrow token

ここで wiki 、これ 記事 そしてそれ 記事 または Javaウェブサイト

何年も前、コンピューターが登場する前に、論理学者のアロンゾチャーチは、数学関数が効果的に計算可能であるとはどういう意味かを形式化したいと考えていました。 (不思議なことに、存在することが知られている関数がありますが、それらの値を計算する方法を誰も知りません。)彼はパラメーターをマークするためにギリシャ文字のラムダ(λ)を使用しました。

なぜ文字λ?教会はアルファベットの他の文字を使い果たしましたか?実際、由緒あるPrincipia Mathematicaは、自由変数を表すためにˆアクセントを使用しました。これにより、Churchはパラメーターに大文字のラムダ(Λ)を使用するようになりました。しかし、結局、彼は小文字バージョンに切り替えました。それ以来、パラメーター変数を持つ式は「ラムダ式」と呼ばれてきました。

参照 ここ

13
André