エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
generateの罠 - モナドとわたしとコモナド
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
generateの罠 - モナドとわたしとコモナド
vectorパッケージのData.Vectorにはgenerateという関数がある。 generate :: Int -> (Int -> a) -> Vect... vectorパッケージのData.Vectorにはgenerateという関数がある。 generate :: Int -> (Int -> a) -> Vector a 型から全てを知ることはできないが、だいたい想像通りgenerate n fは[f 0, f 1, f 2, ...f (n - 1)]からなるVectorを生成する。しかし、これは要素を評価はしない。生成されるのはあくまでサンクのVectorだ。 Prelude > import Data.Vector as V Prelude V> V.length $ V.generate 5 (const undefined) 5 vectorは速くて正格そうなイメージがあるが、ボックス化される方に関して、基本的に正格性は最小限なので注意しよう。どう工夫してもgenerateだけで正格なVectorは作れないので、generateM