haskell - 编写函数 (a -> b -> ... -> t) -> (Monad m => m a -> m b -> ... -> m t)

In lại 作者：行者123 更新时间：2023-12-02 16:25:27 27 4

main = do
  input1 <- signalFromTextBoxTheUserMayTypeANumberInto
  input2 <- signalFromAnotherTextBox
  divided <- signal div input1 input2
  signal (\x -> showTextAlert ("input1 `div` input2 is " ++ show x)) divided

type Action a = IORef a -> IO ()
type Listener = IO ()
newtype Signal a = Signal (IORef (SigData a))

data SigData a = SigData {
    trigger :: Action a,
    output :: IORef a,
    listeners :: [Listener]
  }

class Sig a where
  type S a
  mkSig :: [AnySignal] -> a -> S a

instance Sig b => Sig (a -> b) where
  type S (a -> b) = Signal a -> S b
  mkSig dependencies f =
    \s@(Signal sig) ->
      let x = unsafePerformIO $ readIORef sig >>= readIORef . output
      in mkSig (AnySignal s : dependencies) (f x)

instance Sig Int where
  type S Int = IO (Signal Int)
  out <- newIORef x
  self <- Signal <$> (newIORef $ SigData {
      trigger = \ref -> writeIORef ref $! x,
      output = out,
      listeners = []
    })
  mapM_ (self `listensTo`) deps
  return self

f :: a -> b -> ... -> c

f2 :: Applicative p => p a -> p b ... -> p c
f2 x ... y = f <$> x <*> ... <*> y

27 4 0

• monads - 为什么要为 monad 定义单位自然变换——这不是 monad 是内仿函数的定义所暗示的吗？

  monad 被定义为类别 C 上的内仿函数。假设 C 具有类型 int 和 bool 以及其他构造类型作为对象。现在让我们考虑在这个类别上定义的列表 monad。 根据它的定义，list 是一个内仿函

• haskell - 整理 Monads - 将 monad 转换器的应用程序转变为新型 monad

  我试图采取例如ExceptT a (StateT A M) , 对于某些具体类型 A和单子(monad)M ，并将它们包装到我的新自定义单子(monad)中。 首先我确定StateT A M经常出现在

• haskell - 使用 monad 转换器和恒等 monad 派生基础 monad

  我读到(例如 here 和 here )所有基本单子(monad)(Mabye, Error, ...) 源自其相应的 monad 转换器(MaybeT, ErrorT, ...) 使用身份 mona

• monads - 具有两种状态变量类型(输入和输出)的状态单子(monad)仍然是单子(monad)吗？

  Haskell 的状态单子(monad) State s a迫使我保持相同类型的 s在整个做 block 期间。但是由于 state monad 实际上只是一个函数，如果我将它定义为 State

• free-monad - 自由单子(monad)只是带有接口(interface)的单子(monad)吗？

  我一直在阅读some materials on free monads而且我真的不认为我离实现更近了，但我认为我更接近于理解它们是什么! 鉴于上述大量资源，我的理解是自由单子(monad)从“计算”工

• haskell - 如果其中一个 monad 包装在 monad 转换器内，是否可以重用 monad 组合函数？

  假设我有一个由两个 monad 操作组成的函数: co::Monad m => m a -> m a -> m a 您可以将 co 视为一个高阶函数，它描述两个单子(monad)操作如何相互协作来完成

• monads - 为什么验证会违反 monad 法则？

  在 SO解释了为什么像 scalaz、cats (Scala) 或 Arrow (Kotlin) 中的 Validation 不能是 monad。 据我所知，这是因为他们已经根据应用仿函数对 mona

• monads - 我应该避免使用 Monad 失败吗？

  我对 Haskell 还很陌生，并且慢慢地意识到 Monad fail 的存在有问题。真实世界的 Haskell warns against its use (“再一次，我们建议您几乎总是避免使用失败

• monads - Monad 变压器 – 显式提升

  我正在阅读现实世界 Haskell 中的 monad 转换器。在以下示例中，堆栈为 Writer在顶部State在Reader之上在IO之上。 {-# Language GeneralizedNewt

• f# - Pause Monad - monadic 类型应该是什么样的？

  我看到的典型 Pause monad 实现如下所示(基于 Giulia Costantini 和 Giuseppe Maggiore 编写的 Friendly F# 的第 5 章)。 open Sys

• haskell - Monad 与 Monad 变压器

  “Monads 允许程序员使用顺序构建 block 来构建计算”，因此它允许我们组合一些计算。如果是这样，那为什么下面的代码不能运行呢？ import Control.Monad.Trans.Stat

• haskell - monad 变压器内 monad 的结果

  这是我第一次认识 Monad Transformers，所以答案可能很明显。 假设我在 StateT MyMonad MyType 类型的 do 块中，我想让另一个相同类型的函数修改状态并返回 MyM

• scala - 类型构造函数是单子(monad)还是有单子(monad)？

  人们通常说类型是单子(monad)。 在某些函数式语言和库(如 Scala/Scalaz)中，您有一个类型构造函数，如 List 或 Option，您可以定义一个与原始类型分离的 Monad 实现。所

• haskell - 在单子(monad)变压器类型类中使用列表单子(monad)？

  我的目标是创建一个函数，该函数在 ReaderT WriterT 堆栈或 RWS 堆栈中使用 list monad。更一般地说，我如何在 mtl 类型类(如 MonadReader、MonadWrit

• haskell - 是否有一个单子(monad)的术语也是一个共单子(monad)？

  我只是想知道是否有一个简洁的术语来表示既是单子(monad)又是单子(monad)的东西。我做了一些搜索，我知道these structures exist ，但我还没有找到他们的名字。 最佳答案 在

• haskell - 当两个单子(monad)都没有变压器时合并两个单子(monad)？

  我正在玩写一个网络应用程序。在这种情况下，我使用 scotty和 redis ，但是这个问题出现在任何 web/db 组合中。在此之前我使用了 happstack，所以我也喜欢那里的一个例子。 Sco

• haskell - 单子(monad)的自由单子(monad)

  是 x >>= f相当于 retract (liftF x >>= liftF . f) ? 也就是说，从同样是 Monad 的 Functor 构建的自由 monad 的 monad 实例是否将具有

• haskell - monad 和 monad 函数的类约束

  我正在尝试编写一个只能包含 Num 的新 monad。当它失败时，它返回 0，就像 Maybe monad 在失败时返回 Nothing 一样。 这是我到目前为止所拥有的: data (Num a)

• haskell - 在任意 monad 中带有解释器的操作 monad

  我正在使用 operational monad作者:海因里希·阿普菲尔姆斯。 我想用结果类型的 monad 参数化解释器。 我的代码的以下版本编译: {-# LANGUAGE GADTs #-} im

• haskell - 如何使用自由单子(monad)来表达延续单子(monad)？

  假设所有的 monad 都可以用 Free 来表示。 (如果这不是真的，什么是反例，为什么)？怎么可能the continuation monad或其对应的变压器用 Free 表示或 FreeT -