型安全なリストに対する補足とGADTsの話ですー＞ω＜
お久しぶりですー＞ω＜ 気がついたら一ヶ月も経っていてしまいました(´・ω・｀) 前回の記事で実際に動かすことの出来ないtailを公開してしまったので、この記事はその謝罪と説明と補足になります(｀・ω・´) 前回の記事で問題だったところ(・ω・? 問題だったのは、具体的にはここですm9（・∀・）ﾋﾞｼｯ!! このtailは残念なことに型エラーが出て動かないのです(´・ω・｀) なぜなのでしょうか？？ 出てきたエラーメッセージを見てみます＞＜ SafeList_by_PhantomType.hs: Couldn't match type `y' with `x' `y' is a rigid type variable bound by a pattern with constructor Cons :: forall x a y. a -> SafeList y a -> SafeList
Phantom Type（幽霊型）入門ですー＞ω＜
あいさつ＞ω＜ みなさん、お久しぶりです、月影です＞ω＜ 「いつかブログを書こう」と思っていたら、なんと一週間もたってしまいました(ﾟдﾟ)！ 「いつか」なんて考えていちゃいけませんね、「今でしょ！」の精神でいかなくちゃです＞ω＜ というわけで、今回はPhantom Typeについてのお話です＞ω＜ Phantom Typeってなんです(・ω・? Phantom Type…、幽霊型… みなさん、ご存知でしょうか(・ω・? わたしは昔に何度かTwitterで見かけたので、名前だけは知っていました(｀・ω・´) かっこいい名前だな―って感じです＞ω＜ ファントム・タイプ！！！ で、ちょっと面白そうな香りがしたので調べてみましたのです＞ω＜ Phantom Typeさん、名前は仰々しいですが、その実態は非常に単純なものでした＞ω＜ Phantom Typeとはつまり、こういうことです＞ω＜ え(
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
