気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
maoe.hatenadiary.jpエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Re: Haskell でダックタイピング 、色々な型を混ぜて配列を作る。 - maoeのブログ
この forall a. という表記は冗長な気がするんだけど何で要るんだろう。。。 Haskell でダックタイピン... この forall a. という表記は冗長な気がするんだけど何で要るんだろう。。。 Haskell でダックタイピング 、色々な型を混ぜて配列を作る。 - 言語ゲーム existential typeのforallキーワードが必要なのには理由があります。元の定義Valをよくみてみると、 data Val = forall a. (Show a) => V a 左側（LSH; Left Hand Side）に型変数aが出てきません。何故このような定義になっているかは、普通の型を定義してみればよくわかります*1。 data Show a => Val a = V a この型Val aはヘテロなリストを構築するのには使えません。 Prelude> :t [V "1", V 2, V 3.4] <interactive>:1:15: No instance for (Fractional [Cha
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
maoe.hatenadiary.jp
maoe.hatenadiary.jp
maoe.hatenadiary.jp
maoe.hatenadiary.jp
biz-journal.jp
bigcomics.jp
ascii.jp
anond.hatelabo.jp
togetter.com
www.nichepcgamer.com
togetter.com
www3.nhk.or.jp
zenn.dev/gemcook
zenn.dev/kameoncloud
paradise-rentacar.jp
www.sankei.com
allabout.co.jp
2014/10/21 リンク