haskell - 带有箭头语法的 Haskell/Yampa 中的简单 putStrLn

Question

我将 Haskell 与使用箭头语言扩展的 Yampa FRP 库一起使用。

我怎样才能在 SF 中做一个简单的 putStrLn？

mySF = proc x -> do
    y <- identity -< x*x
    putStrLn "Hello World!" ++ show y
    returnA -< y

箭头语法提示表达式不是箭头(当然)，但即使有箭头，我也没有输出

 output <- identity -< putStrLn "Hello World!"

Answer 1

我在尝试阅读 FRP 论文时只和 Yampa 玩了一会儿，但据我所知，这根本不是您使用 IO 的方式。在扬帕。相反，你“动画”了 SF a b与 reactimate函数，它接受类型为 b -> IO () 的函数作为它的第二个参数。这个函数是你的 putStrLn 之类的地方将与程序所做的任何其他类型的渲染一起存在。

"Yampa Arcade" 的“动画信号函数”部分论文很好地解释了如何reactimate作品。