エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
monomorphism restriction - bonotakeの日記
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
monomorphism restriction - bonotakeの日記
昨日の日記の続きで、各関数の型を追記しようと思ってたんですが… *Main> :t g g :: (Num b) => (b, b, ... 昨日の日記の続きで、各関数の型を追記しようと思ってたんですが… *Main> :t g g :: (Num b) => (b, b, b) -> b *Main> :t g1_1 g1_1 :: (Num b) => (b, b) -> b -> b *Main> :t g1_2 g1_2 :: (Integer, Integer) -> Integer -> Integer *Main> :t g2 g2 :: Integer -> Integer -> Integer -> Integerg1_2とg2が怪しいことになってしまいました。 さかいさんに聞くと、monomorphism restriction (単相性制限)とかいうやつだそうで。 http://www.haskell.org/haskellwiki/Monomorphism_restriction GHCだと、-fno-m