モナドって結局何なのよ? — join to Monad v0.1 documentation
モナドって結局何なのよ?¶ Haskell を勉強しようとすると必ず「モナド」ってのが出てきます。困ったものです。数学とか圏論とか関係があるらしくって、何が書いてあるんだか分からなくって嫌になってしまいます。でもね、Haskell って凄いらしいじゃないですか、格好良いらしいじゃないですか。ここはちょっとがんばって色々考えてみましょう。 そもそも Haskell って何なのよ?¶ 何なんでしょうね、Haskell って。コンピュータ言語らしいんです、あ、それは分かってると。良く挙げられる性質は次な感じ?: 関数型言語 強い型付け 遅延評価 参照透過 ここでちょっと型に関して見てみましょう。試しに Haskell の実装の 1 つである Hugs で 1 について考えてみます: $ hugs __ __ __ __ ____ ___ _____________________________
Python でリスト内のリストを連結 - Haskell の concat 関数を真似る
1. ネストしたリストの要素を結合したい Python で、リスト内のリストを結合したい。 [[1,2,3],[4]] → [1,2,3,4] Haskell の concat 関数 に相当する関数を探したが、見つからなかった。 Prelude> concat [[1,2,3],[4]] [1,2,3,4] 自分で書くしかないのかな ? 2. Haskell の concat 関数は、型に注意 最初に、Haskell の concat 関数の動作を確認する。 Prelude によると、concat 関数の型は、 concat :: [[a]] -> [a] いくつかの例を試す。 test1a = [[1,2,3],[4]] test1b = [[1,2,3],4] test2a = [[[1,2,3]],[[4]]] test2b = [[[1,2,3]],[4]] main = prin
プログラム・プロムナード
会誌「情報処理」連載の「プログラム・プロムナード」（2002年4月〜2005年3月掲載）と「Haskellプログラミング」（2005年4月〜2006年3月掲載）はどなたでもご覧になれます。ファイルはすべてPDF形式です。 「Haskellプログラミング」に掲載されたプログラムは http://www.sampou.org/haskell/ipsj/ から取ることができます.
Haskell - Wikipedia
Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。 概要[編集] Haskell は高階関数や静的多相型付け、定義可能な演算子、例外処理といった多くの言語で採用されている現代的な機能に加え、パターンマッチングやカリー化、リスト内包表記、ガードといった多くの特徴的な機能を持っている。また、遅延評価や再帰的な関数や代数的データ型もサポートしているほか、独自の概念として圏論のアイデアを利用し参照透過性を壊すことなく副作用のある操作（例えば 代入、入出力、配列など）を実現するモナドを含む。このような機能の組み合わせにより、手続き型プログラミング言語では記述が複雑になるような処理がしばしば簡潔になるばかりではなく、必要に応じて手続き型プログラミングを利用できる。 Haskell は関数型プログラミングの
Kernel Modules in Haskell
If you love Haskell and Linux then today is your day – today we reconcile the two and allow you to write Linux Kernel modules in Haskell. By making GHC and the Linux build system meet in the middle we can have modules that are type safe and garbage collected. Using the copy of GHC modified for the House operating system as a base, it turns out to be relatively simple to make the modifications nece
Template Haskell - HaskellWiki
Template Haskell is a GHC extension to Haskell that adds compile-time metaprogramming facilities. The original design can be found here. It is included in GHC since version 6. The GHC Users Guide has a Template Haskell section. This page hopes to be a more central and organized repository of TH related things. What is Template Haskell? Template Haskell is an extension to Haskell 98 that allows you
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://href.spiritloose.net/
http://www.lisperati.com/haskell/