Haskell勉強スレッド

1：ひきぷろ：2017/02/25(土) 12:27:25 ID:W05e4jDU0: Haskellの勉強用スレッド
2：（-＿-）さん：2017/02/26(日) 09:13:10 ID:???0: ・余再帰の例

function [] = []
function (x:xs) = (process x):(function xs)
　where
　　process x = ～

再帰が別の関数の引数（この場合(:)）に登場する

・末尾再帰の例

function writer [] = writer
function writer (x:xs) = function (e:writer) xs
　where
　　e = ～

定義が始まりから再帰になっている
3：（-＿-）さん：2017/02/26(日) 09:25:35 ID:???0: iomonadfunction >>= return . nonmonad

は

nonmonad <$> iomonadfunction

と書き直せる。（∵ IOモナドはファンクタとしてそのように便宜を図る実装がされている）

cf.Control.Applicative

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板