lifting

3熱度

1回答

將克利斯裏電梯提升到IO？

如果我有以下兩種Kleisli箭頭： stdoutProcessA :: Kleisli Maybe String (IO String) writeToFileA :: Kleisli Maybe (FilePath, String) (IO()) 我希望能夠寫成才，如： compile = proc src -> do output <- stdoutProcessA -< "

haskell io arrows lifting kleisli 2012-11-22

---

13熱度

1回答

提升高階函數在Haskell

我試圖構造類型的函數： liftSumthing :: ((a -> m b) -> m b) -> (a -> t m b) -> t m b 其中t是一個單子轉換。具體而言，我有興趣這樣做： liftSumthingIO :: MonadIO m => ((a -> IO b) -> IO b) -> (a -> m b) -> m b 我擺弄了一些哈斯克爾魔法庫，但無濟於事。我如何獲

haskell higher-order-functions lifting 2012-02-11

---

3熱度

2回答

爲什麼我不能使用迭代來重複應用地圖？

我已經意識到，當我嵌套數據結構時，我一直在手動編寫代碼來深入研究它們。就像這樣： --one level Prelude> map (*2) [1,2,3] [2,4,6] --nested two levels Prelude> let t2 = map $ map (*2) Prelude> t2 [[1,2,3],[4,5,6]] [[2,4,6],[8,10,12]] -

haskell higher-order-functions lifting 2012-10-18

---