「型クラス」と「型構築子クラス」 - Haskell
nobsunから、またアドバイスをいただきました。 いつもありがとうございます。 ちょうど、以下でご説明いただいた部分を考えていたところなので、 よい整理になりました。 nobsunから 結城さん モナドの考察、たいへん興味深く拝見しています。 以下は、ひょっとして、ヒントになるかもしれないと思って書いています。 (モナドになると、だいぶんおよび腰になってしまうのは、私自身、 モナドの意味そのものをよく理解していわけでないからです。) Haskell のクラスには細かく分類すると 2 種類あります。 「型クラス」と「型構築子クラス」です。 - Ord、Eq、Show などは「型クラス」 - Functor、Monad、MonadPlus などは「型構築子クラス」 「型クラス」は、そのインスタンスである型の値(これは first class)の性質を 規定するものですが、「型構築子クラス」は
Haskell基礎文法最速マスター - think and error
見ていただけるのは嬉しいですがこのエントリは十分古いため、新しい情報へアクセスをしてください。以下の本をお勧めします。 すごいHaskellたのしく学ぼう！ 作者: ＭｉｒａｎＬｉｐｏｖａｃａ出版社/メーカー: オーム社発売日: 2017/07/14メディア: Kindle版購入: 4人 クリック: 9回この商品を含むブログを見る 関数プログラミング実践入門 ──簡潔で、正しいコードを書くために (WEB+DB PRESS plus) 作者: 大川徳之出版社/メーカー: 技術評論社発売日: 2014/11/14メディア: 単行本（ソフトカバー）この商品を含むブログ (8件) を見る みんなHaskellやろうぜ！！ ということで書きました。 CやJava、Rubyなど他言語を知っている人は、これを読むことでHaskellの大抵のことはマスターでき…ません。 特殊な構文が多すぎて他言語との類
モナド則三度 - あどけない話
「モナド則再び」で書いた「モナド則1」は何の訳に立つのかという問題ですが、"Monads for functional programming" に答えが載っていました。 以下のような加算機を考えます。 data Term = Con Int | Add Term Term data M a = M a deriving Show instance Monad M where return x = M x M x >>= f = f x eval :: Term -> M Int eval (Con a) = return a eval (Add t u) = do a <- eval t b <- eval u return (a + b) 論文には、M の実装が載っていないので、適当に作りました。Maybe でもいいでしょう。 こういう風に動きます。 式1: eval (Add (Co
コルーチンはマイクロスレッドでありファイバーである
myugaru 仕事(昔)＝ヲタク系プログラマー～マスコミ系サポートデスク 仕事(今)＝電子機器系サービス業 趣味a＝パズルゲーム全般、シューティングは主に見学 趣味b＝画像処理関係の勉強 趣味c＝プログラミング言語の勉強 趣味d＝アキバ系ヲタク 趣味e＝芸能アイドル系ヲタク d,e色の強いもう一つのブログ 最新目標＝シューティングゲームを作る （前エントリー：http://blogs.wankuma.com/myugaru/archive/2008/03/10/127005.aspx） 前エントリーのコルーチンという概念は様々な人が独立して発見しているようです。 （人間って素晴らしいですね！） なので色々な単語で表現されているようです。 そのなかでもマイクロスレッドやファイバーが有名みたいです。 （あと今回は面倒なので言及してませんがtry～catch構文とか C言語のlongjump(
【インフォシーク】Infoseek ： 楽天が運営するポータルサイト
日頃より楽天のサービスをご利用いただきましてありがとうございます。 サービスをご利用いただいておりますところ大変申し訳ございませんが、現在、緊急メンテナンスを行わせていただいております。 お客様には、緊急のメンテナンスにより、ご迷惑をおかけしており、誠に申し訳ございません。 メンテナンスが終了次第、サービスを復旧いたしますので、 今しばらくお待ちいただけますよう、お願い申し上げます。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Haskell によるゲーム開発の情報を集めるためのWiki - FrontPage