The Typeclassopediaを訳しました, The Typeclassopedia - #3(2009-10-20)
■ [Haskell] The Typeclassopediaを訳しました The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許可がいただけたので公開します。翻訳に慣れていないので変な日本語（特に専門用語の日本語訳はかなり怪しい）があったり、そもそも間違っていたりするかもしれませんので、何か見つけたらコメントを頂けると助かります。 ■ [Haskell] The Typeclassopedia by Brent Yorgey <first
2015年5月のMac + Haskell + IntelliJ IDEAでことはじめる(改) - Qiita
MacでHaskell+IntelliJ IDEAとなると、当然こちら Haskell - 2015年のMac + Haskell + IntelliJことはじめ、あるいはghcの再インストール にお世話になるわけですが、また状況に変化があったようですので、2015年5月版のアップデートを書いてみたいと思います。 ghcをインストールする brewあるいはHaskell Patformから自力インストールへと変遷を経たghcインストールメソッドですが、最近ではHaskell for Mac OS Xでインストールするのがイケてる感じです。 最新のGHC 7.10.1を含んでますし、cabalも入っていますので便利です。まずはこれをインストールしましょう。 こちらのページから ghc-7.10.1-r0.zipをダウンロードして、zipファイルを解凍したら、ghc-7.10.1という実行ファ
Haskell における依存型プログラミングと証明の記述を用いた実用的なプログラミングって何
スマートコン @mr_konn Haskell における依存型プログラミングでは、大抵の場合安全性の"証明"として依存型を用いる場合が多いから、ひとたび証明が出来てしまえば、その証明に対応する実行時計算は無駄なんだよなあ。type erasure ならぬ proof erasure が出来ればよいのだが 2014-02-23 17:10:29 スマートコン @mr_konn 帰納法は O(n) 書かるし、二重帰納法なら O(n^2) だ。一回示せたら unsafeCoerce すりゃいいかもしれないけど、そういうのを自動的にやってくれるのを欲しい 2014-02-23 17:12:45
A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)
You Could Have Invented Monads! (And Maybe You Already Have.) If you hadn't guessed, this is about monads as they appear in pure functional programming languages like Haskell. They are closely related to the monads of category theory, but are not exactly the same because Haskell doesn't enforce the identities satisfied by categorical monads. Writing introductions to monads seems to have developed
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
