関数型プログラミング言語Haskell Part11at TECH関数型プログラミング言語Haskell Part11 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト113:デフォルトの名無しさん 09/10/11 14:14:21 質問なのですが、型変換ってどうやったらいいのでしょうか？ Word8 -> Word みたいなことをやりたいのですが 114:デフォルトの名無しさん 09/10/11 14:42:59 fromIntegral :: (Integral a, Num b) => a -> b fromIntegral = fromInteger . toInteger でいいんじゃないか。 115:デフォルトの名無しさん 09/10/11 18:16:36 >>114 それでいけました 質問にお答え頂きありがとうございました 116:デフォルトの名無しさん 09/10/11 18:32:19 >>89 何かレベルの低い話っぽかったから見てなかったわ… >型的に正しいコードしか存在しないことを >仮定してコード生成ができる。 Lisp でも (declaim (optimize (safety 0) ... )) とかすれば、 型的に正しいコードしか存在しないことを仮定してコード 生成が出来るんだぜ。 117:デフォルトの名無しさん 09/10/11 18:36:27 それって正しい型宣言をするのはプログラマの責任で、型チェックはあっても処理系依存じゃん。 ミスがあったら実行時にエラーになっちゃう。Haskellのように安全かつ完全な型検査はできるわけじゃない。 そもそもスレ違い。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch