[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
456(1): デフォルトの名無しさん [sage] 2011/11/10(木) 22:48:37.04 AAS
>>441441(2): デフォルトの名無しさん [sage] 2011/11/10(木) 17:18:49.29 AAS
確かに(a^2)と書いただけで(2::Integer)と推論されて
重いIntegerの(^)が呼ばれるのは嫌なことがある(aはDoubleとして)
は何も質問してないのに回答とかよくわからん
俺は>>442442(3): デフォルトの名無しさん [sage] 2011/11/10(木) 17:40:52.38 AAS
先に型を書くというのはそういうのを防ぐためにも役に立つのかな
に対する>>443443(2): デフォルトの名無しさん [sage] 2011/11/10(木) 17:48:18.08 AAS
はい
役に立ちます
の回答に反論してるだけだよ
457: デフォルトの名無しさん [sage] 2011/11/10(木) 23:17:35.61 AAS
>>456
ん、んんん？
だったら、>>450450(2): デフォルトの名無しさん [sage] 2011/11/10(木) 21:24:40.76 AAS
>>449
自作の関数作るときとかは、型推論に任せるより自分で決めた方が速かったり、逆に遅い代わりに大きな数を扱えたりする
length関数と同じ機能の関数mylength作るとき、
mylength [] = 0
mylength (_:ns) = 1 + mylength ns
の型は[a]->aだが、
mylength::[a]->Int
mylength [] = 0
mylength (_:ns) = 1 + mylength ns
とすれば、当然ながら型は[a]->Intになる
の通り、先に型を書けば防げてるだろ？
(^(2::Int))は併用すればいい話じゃね？
ごちゃ混ぜに話すなよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s