这种Monad /应用简化可能吗？

Question

有可能吗？，（有>>magic函数）来简化此操作：

insertTransaction :: Day -> Int -> Int -> MyReaderT Bool
insertTransaction day amount price = ....

logTransaction :: Int -> Int -> MyReaderT Bool
logTransaction amount price = do
  day <- currentDay 
  insertTransaction day amount price

对此：

logTransaction :: Int -> Int -> MyReaderT Bool
logTransaction = currentDay `>>magic` insertTransaction

我认为应该有一个像>>magic这样的运算符，但我找不到它。 也不<*>都不<$> 。

Answer 1

如果您首先编写insertTransaction ，则将其重构为

insertTransaction :: Int -> Int -> Day -> MyReaderT Bool
insertTransaction amount price day = ....

那你可以说

logTransaction :: Int -> Int -> MyReaderT Bool
logTransaction amount price = currentDay >>= insertTransaction amount price

Answer 2

没有类型类技巧，这实际上是不可能的，因为您试图“提升”具有任意数量参数的函数-当然，由于curry，这在Haskell中并不是一个明确定义的概念。

在标准的可读性Haskell中，您可能会得到的最好的结果是：

logTransaction :: Int -> Int -> MyReaderT Bool
logTransaction amount price = join $ insertTransaction
    <$> currentDay
    <*> pure amount
    <*> pure price

我认为这可能很好–建议的运算符对我来说似乎很难读，因为很难确定正在处理多少个参数或它们要去往何处。

使用Strathclyde Haskell增强预处理器，可以使用成语括号将logTransaction编写如下：

logTransaction :: Int -> Int -> MyReaderT Bool
logTransaction amount price = (| insertTransaction currentDay ~amount ~price @ |)

最后，从技术上讲，可以采用无点样式编写logTransaction ，但我不建议这样做：

logTransaction :: Int -> Int -> MyReaderT Bool
logTransaction = ((currentDay >>=) .) . flip . flip insertTransaction