paphi @wiki

haskell/arrow

2012-12-26T07:24:57+09:00

[[haskell]] > arrow * Arrow Monadの進化形みたいなもの（適当） Monad m -- m a :: *, m :: * -> * Arrow a -- a b c :: *, a :: * -> * -> * ArrowはArrowApplyを満たしてはじめてMonadと等価だそうです． ** ライブラリ本当はFRPの括りで紹介すべきなんだろうけど．以下の話は全てこれ前提． [[http://www.haskell.org/haskellwiki/Netwire]] [[http://hackage.haskell.org/package/netwire]] 2012/12現在4.0.7 * netwire ** Wire型 *** instance 記法として使いそうなのだけ．ArrowApplyは満たしていない．以下の省略を用いる．本当はdataに制約つけるのは良くないらしい． (Monoid e, Monad m) => type WireP = Wire e m Categoryっぽく直列につなぐ． instance Category WireP where id :: WireP a a (.) :: WireP b c -> WireP a b -> WireP a c Alternativeで並列に． instance Functor (WireP a) where fmap :: (b -> c) -> WireP a b -> WireP a c instance Functor (WireP a) => Applicative (WireP a) where pure :: b -> WireP a b (<*>) :: WireP a (b -> c) -> WireP a b -> WireP a c (<$>) :: (b -> c) -> WireP a b -> WireP a c -- (<$>) = fmap instance Applicative (WireP a) => Alternative (WireP a) where --

haskell/syntax

2012-09-22T08:23:40+09:00

[[haskell]] > syntax * Haskellの構文 [[Haskell2010>http://www.haskell.org/onlinereport/haskell2010/]]準拠工事中 ** if, case...of, | *** if elseは必須． abs n = if n < 0 then -n else n *** case これだけインデントを揃える必要がある．多分doと同じ sign n = case n `compare` 0 of LT -> -1 GT -> 1 EQ -> 0 _ -> error "error" *** | otherwise = True sign n | n < 0 = -1 | n > 0 = 1 | otherwise = 0 *** パターンマッチ分岐っぽいのでついでに delta 0 = 1 delta _ = 0 caseがパターンマッチとかぶってるようだがdataの構成子などで有用． http://d.hatena.ne.jp/kazu-yamamoto/20110826/1314352340 ここにcaseとガードを混ぜる例があるけど実用はできないと思う． ** where, let...in ** do [[DoAndIfThenElse>http://hackage.haskell.org/trac/haskell-prime/wiki/DoAndIfThenElse]] hlint(haskell-src-exts)はこの構文に未対応．[[#215>http://trac.haskell.org/haskell-src-exts/ticket/215]] [[Arrows: A General Interface to Computation>http://www.haskell.org/arrows/]] [[Haskell/Arrows - Wikibooks>http://ja.wikibooks.org/wiki/Haskell/Arrows]] ** インデント http://d

haskell

2012-09-06T03:18:35+09:00

* Haskell 世はまさに関数型時代 #ls

haskell/random

2012-09-06T03:05:58+09:00

[[haskell]] > random * Haskellの乱数乱数は疑似乱数に限定． > import System.Random > import Control.Monad.State ** 乱数の定義乱数はseed値を与えると，値がランダムである無限リストを返す関数であるとひとまず定義する．乱数の型を1から6までの整数とすると， > inftyrand seed = [6, 5, 5, 3, ...] のようになる．ここで， > inftyrand seed = x:xs -- 先の例では, x = 6, xs = [5, 5, 3, ...] > inftyrand seed' == xs となるseed'が存在すると仮定して，乱数を次のように定義することもできる． #region(seed'の仮定について) このseed'はまず存在すると考えてよい．というよりは私の知る乱数は全て Seed -> (a, Seed) という型で計算できる．例えばC標準の線形randで連想されるアレが一番考えやすい．LCG, 線形合同法というらしい． http://en.wikipedia.org/wiki/Linear_congruential_generator 簡単に言うと，x = x * c + a (mod m)．この乱数は > next x = let y = x * c + a `mod` m in (y, y) と表すことができる．ここでSeedはただの整数値である． Seedをもう少し複雑にすれば，一気に生成するタイプにも対応できる．多分．(SFMTとか) Seedの一般化としてRandomGenがある...この辺から表現が曖昧に複雑なSeed型からどうやって次の値を得るのか，ではなく， RandomGen型のinstanceであるgが next :: g -> (Int, g) なる関数を持ち，そこから各種乱数値を生成している...と思う．未確認．いままで(というかLCGのみ？)値と考えてきたSeedを，次の乱数を生成できる状態と考えることによる一般化である． seed'が存在するというより，Haskellの乱数は Seed -> (a, Seed) 型の関数を主軸に構成

プラグイン/コメント

2012-09-01T00:12:14+09:00

* コメントプラグイン @wikiのwikiモードでは #comment() と入力することでコメントフォームを簡単に作成することができます。詳しくはこちらをご覧ください。＝＞http://atwiki.jp/guide/17_60_ja.html ----- たとえば、#comment() と入力すると以下のように表示されます。 #comment

プラグイン

2012-09-01T00:12:14+09:00

@wikiにはいくつかの便利なプラグインがあります。 ----- #ls ----- これ以外のプラグインについては@wikiガイドをご覧ください =>http://atwiki.jp/guide/

プラグイン/アーカイブ

2012-09-01T00:12:14+09:00

* アーカイブ @wikiのwikiモードでは #archive_log() と入力することで、特定のウェブページを保存しておくことができます。詳しくはこちらをご覧ください。＝＞http://atwiki.jp/guide/25_171_ja.html ----- たとえば、#archive_log()と入力すると以下のように表示されます。保存したいURLとサイト名を入力して"アーカイブログ"をクリックしてみよう #archive_log()

プラグイン/編集履歴

2012-09-01T00:12:14+09:00

* 更新履歴 @wikiのwikiモードでは #recent(数字) と入力することで、wikiのページ更新履歴を表示することができます。詳しくはこちらをご覧ください。＝＞http://atwiki.jp/guide/17_117_ja.html ----- たとえば、#recent(20)と入力すると以下のように表示されます。 #recent(20)

右メニュー

2012-09-01T00:12:14+09:00

**更新履歴 #recent(20) &link_editmenu2(text=ここを編集)

メニュー

2012-09-01T01:08:18+09:00

**メニュー -[[トップページ]] ---- ** 最新10件 #recent(10) **リンク -[[@wiki>>http://atwiki.jp]] -[[@wikiご利用ガイド>>http://atwiki.jp/guide/]] &link_editmenu(text=ここを編集)