プログラマであるあなたが圏論を学んで得られる事、得られない事 - Creatable a => a -> IO b
「Haskellと数学とちょびっと音楽」なんていうシャレオツなサブタイをブログに付けてるのは誰ですか？ 俺だよー！ 大体、Haskell関連のコミュニティに顔を出していると、 数学科出ましたーとか、物理専攻ですー、とか、そーいう人がわりと多いのですが、 僕は「勉強なんて出来ないんジャー・レッド」だったので、サブタイトルに「数学」なんて入れつつも、 数学の話はほとんど出来なかったりとか出来たりとか・・・結局Haskellの記事しか書いてないですね、はい。 ただ、どちらかというと、Haskellでも処理系どうのとか、パフォーマンス云々とか、 そういう話より型システムでどうやって抽象化するかーみたいな、そういう話のほうがおもしれーとか思ったりしたので、 気づいたら圏論なんかはガジガジしてまして、多少の自己流の知識があったりとかなかったりとかしてるのです。 純粋関数型やらHaskellやらがメジャ
main = putStrLn "Haskell であそぼー!!"
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
bdd.gby
1 Haskell Behavior Driven Development 2012.5.27 @kazu_yamamoto 2 Haskell 4 Mew Firemacs Mighty ghc-mod 3 Ruby/Java HackageDB 4 Haskeller 5 Haskeller 6 Q) Haskeller A) 7 8 Haskeller Haskell 9 10 11 Haskell 12 Haskell Haskell 13 14 Haskell 15 Haskell 16 Haskell 17 \^^/ 18 19 20 Haskeller HUnit QuickCheck 21 QuickCheck prop_doubleSort :: [Int] -> Bool prop_doubleSort xs = sort xs == sort (sort xs) >
20120527yesod
3. 自己紹介 • 名前：島崎清山 (@seizans) � • 勤務：ワークスアプリケーションズ(ERPパッケージ) • 仕事：AWS とか・・・セキュリティとか・・・雑用？ • 生まれ：ファミコンやディズニーランドと同年 • エンジニア歴：3年 • Haskell歴：1年 • ふつうのプログラマ • こいつがわしを育てた • 書籍「プログラミングHaskell」 • Haskell初心者勉強会 • スタートHaskell 4. Haskell はじめたきっかけ • @mayahjp 氏（今日は来てない）に聞きました。 私�「プログラミングできるようになるためには ������どうすればいいですか？」 @mayahjp 「では関数型言語をやってください」 私�「どれをやるといいですか？」 @mayahjp 「Haskellをやってください」 6. Yesod で作ってみました • 結婚式
EmacsとGlossでお絵描きしてみるよ
http://partake.in/events/ab7f77b4-7541-47a4-867d-21a096ca883c
HaskellとHTML5でライフゲーム「Life is Haskell」をつくった。 - このブログは証明できない。
9LISPという熊本のLISP勉強会に参加しています。各々の言語でライフゲームを実装してみようという宿題が出て、私はHaskellで実装してみました。コンソール版が完成したのですが、そんなUIじゃおもしろくない。ということで、HTML5というかcanvas要素に描画するようにしました。 ライフゲーム - Wikipedia HaskellでCGIをつくって、セルのリストをJSONにして出力します。JavaScriptで1世代ごとにCGIにアクセスして、JSONを取得、canvas要素に描画します。セッション情報は、ファイルに書き出しました。ソースコードをgithubにあげています。 no title LifeEngine.hsがライフゲームの本体です。LifeTest.hsがコンソール版。Life.hsがCGIです。この記事の最後に、LifeEngine.hsの中身だけ貼りつけておきます。
モナドって結局何なのよ? — join to Monad v0.1 documentation
モナドって結局何なのよ?¶ Haskell を勉強しようとすると必ず「モナド」ってのが出てきます。困ったものです。数学とか圏論とか関係があるらしくって、何が書いてあるんだか分からなくって嫌になってしまいます。でもね、Haskell って凄いらしいじゃないですか、格好良いらしいじゃないですか。ここはちょっとがんばって色々考えてみましょう。 そもそも Haskell って何なのよ?¶ 何なんでしょうね、Haskell って。コンピュータ言語らしいんです、あ、それは分かってると。良く挙げられる性質は次な感じ?: 関数型言語 強い型付け 遅延評価 参照透過 ここでちょっと型に関して見てみましょう。試しに Haskell の実装の 1 つである Hugs で 1 について考えてみます: $ hugs __ __ __ __ ____ ___ _____________________________
第1回 関数型プログラミングの世界へようこそ - 本物のプログラマはHaskellを使う：ITpro
Haskellというプログラミング言語を知っていますか？ 全く聞いたことがないという人が多いかもしれません。そういう名前の言語があるのは知っているけど，どんな言語かは知らないという人もいるかもしれませんね。でも最近では，一部の先進的なソフトウエア開発者の間で，一種のブームと言えるほど熱狂的に受け入れられています。 なぜならば，Haskellは様々な優れた特徴を持っているからです。最初に，他の言語にはあまり見られない際だった特長を一つだけ紹介してみましょう。「遅延評価（lazy evaluation，怠惰評価ともいう）」です。 遅延評価とは，与えられた値を必要になるまで評価（計算）しないということです。この性質により，不必要な計算が行われる無駄をなくすことができます。また，「潜在的に無限の大きさを持つデータ構造」といった通常のプログラミング言語では扱いの難しいものを直接扱えるため，より直接的
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Haskell基礎文法最速マスター - think and error
見ていただけるのは嬉しいですがこのエントリは十分古いため、新しい情報へアクセスをしてください。以下の本をお勧めします。 すごいHaskellたのしく学ぼう！ 作者: ＭｉｒａｎＬｉｐｏｖａｃａ出版社/メーカー: オーム社発売日: 2017/07/14メディア: Kindle版購入: 4人 クリック: 9回この商品を含むブログを見る 関数プログラミング実践入門 ──簡潔で、正しいコードを書くために (WEB+DB PRESS plus) 作者: 大川徳之出版社/メーカー: 技術評論社発売日: 2014/11/14メディア: 単行本（ソフトカバー）この商品を含むブログ (8件) を見る みんなHaskellやろうぜ！！ ということで書きました。 CやJava、Rubyなど他言語を知っている人は、これを読むことでHaskellの大抵のことはマスターでき…ません。 特殊な構文が多すぎて他言語との類
Haskellの並列プログラミングを学ぶ読み物リスト - このブログは証明できない。
今、子どもたちを寝かしつけてきました。子守唄にレミオロメンの「粉雪」を歌っていたのですが、サビの「こなぁーゆきぃー！」で子どもたちが泣き出してしまいました。粉雪舞う季節はいつもすれ違いですね。 さて、今日もブログ記事の紹介です。自分でプログラミングする時間がとれないのです。。でも、本気（マジ）でHaskellやる人には役立つかも。 Parallel Programming in Haskell: A Reading List | Control.Monad.Writer "How to learn about parallel programming in Haskell"ということで、Haskellの並列プログラミングを学ぶ方法。そのための読み物リストです。それぞれの読み物の説明は省略します。上のリンク先記事を見てください。 Real World Haskell A Tutorial o
Parallel Programming in Haskell: A Reading List
I’m busy preparing a tutorial for DEFUN on Saturday, and was putting together the “further reading” slides for the attendees, so they have material to go to for deeper reading. Here’s my basic “How to learn about parallel programming in Haskell” reading list. Learn Parallel Haskell “Real World Haskell”, O’Sullivan, Goerzon, Stewart. O’Reilly 2008. Ch. 24, 25, 28. Step by step guide to implicit and
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
www.hyuki.com
このブログは証明できない。