[過去ログ] 【Perl,PHP】LLバトルロワイヤル21【Ruby,Python】 (1001レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
40(1): 8 2012/02/28(火)16:01 AAS
>>39
2点、反論する
まずHaskellやMLの中置演算子 -> は、型式の中だけで定義されている
つまり「値の式」と(「型の式」である)型式をごっちゃにした指摘 >>29 はトンチンカンと言える
実際、Standard MLの「値の式」では前置のラムダ構文 fn が使われるし、
Haskellにいたっては、¥記号(バックスラッシュ)というRubyと同様な記号が使われている
【Standard ML(SML/NJ)での実行例】
- (fn x => x + 1) : int -> int; (* コロンの左辺が「値の式」、右辺が型式 *)
> val it = fn : int -> int
次に、すでに>>35で書いたけど、短縮記号の右矢印がキモイ(=不慣れなので読みづらい)のであれば、
省5
41: 2012/02/28(火)17:43 AAS
>>40
> まずHaskellやMLの中置演算子 -> は、型式の中だけで定義されている
> つまり「値の式」と(「型の式」である)型式をごっちゃにした指摘 >>29 はトンチンカンと言える
何言ってんだお前?アホなの?
Haskell のラムダ: \x -> x
OCaml のラムダ: fun x -> x
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.131s*