関数型言語Part2
■ このスレッドは過去ログ倉庫に格納されています
0263デフォルトの名無しさん
NGNG>>なんで、≡ではなく=なんだ?
>そりゃPDP-10の文字コードに≡が無かったからに決まってるじゃん。
ほう、それでこの時代になっても全く変えていないのか。
>Actors ≡ Closures (mod Syntax)とかisomorphismとか、
>シャレで疑似数学風に書いてはあるけど、言いたいことは要するに、
>"Actors are just closures (except for slight syntax difference)."
>ってことでしょ。
>「Actors ≡ Closures (mod Syntax difference)」
>じゃ数式風の形じゃないから面白くないじゃない。
>(ここまでシャレを説明しなきゃなんないってのも
>興ざめっつーか萎えるっつーか)
分からないに決まっているだろ。
数学的に間違いがあるんだから。
学のない人間にこそ通じる洒落に過ぎない。
俺としては、Schemeとかは他の言語に比べて
数学の諸成果を積極的に取りこんでいる言語だと思っていたので、
数学の記法というかそう言うものに関しては
ちゃんとしていると言うか、一目置いているというかそう思っていたんだ。
まあ別にそういうことならそうでもいい。
それからいっておくと、isomorphicというのは"Actors are just closures"
ではない。これはお前の間違いだ。
というか文脈から言っても違う。
また、≡も「同じ」ではない、一応言っておく。
おそらく「合同」という意味そのままだろう。
>>261
一応≡と統一しようと思っただけで他意はない。
■ このスレッドは過去ログ倉庫に格納されています