Haskell嵌套IO无输出问题求助：编译运行后为何无结果？

你的程序没有输出的核心问题是main的类型错误，以及对Applicative操作符<*>和*>的作用理解偏差：

1. 类型不匹配问题
   Haskell要求程序入口main的类型必须是IO ()，但你定义的main :: IO (IO ())——这意味着执行main后，得到的是一个未被执行的IO动作，而不是直接产生打印副作用。

2. 代码逻辑拆解

• pure print的类型是IO (String -> IO ())：print本身是String -> IO ()，pure把它包装进IO上下文，得到的是一个“能产生打印函数的IO动作”。
• (pure print) <*> (pure "Hello World!")的结果是IO (IO ())：<*>会把IO上下文里的函数（print）应用到IO上下文里的参数（字符串），最终得到的是一个“能产生打印动作的IO动作”——也就是说，执行这个外层IO，只会拿到一个待执行的打印操作，不会直接打印。
• *>操作符的作用是执行左边的IO动作，丢弃其结果，保留右边的IO动作。所以整个main最终是一个IO (IO ())，程序运行时只执行了外层的IO，得到内部的打印动作，但从未触发这个打印动作，因此没有任何输出。

解决办法 #

修正main的类型为IO ()，同时确保最终执行打印的副作用，以下是几种可行写法：

最简洁的写法

直接使用print函数串联IO动作：

main :: IO ()
main = print "Hello World!" >>
       print "I am Haskell." >>
       print "Let's start our journey."

更清晰的do语法

用do notation平铺逻辑，可读性更高：

main :: IO ()
main = do
    print "Hello World!"
    print "I am Haskell."
    print "Let's start our journey."

保留Applicative风格的写法

如果想保留原有的Applicative组合方式，可以用join（来自Control.Monad）将IO (IO ())压扁为IO ()，或者用void丢弃内部的IO动作：

import Control.Monad (join)

main :: IO ()
main = join $ (pure print) <*> (pure "Hello World!") *>
              (pure print) <*> (pure "I am Haskell.") *>
              (pure print) <*> (pure "Let's start our journey.")

或者用void：

import Control.Monad (void)

main :: IO ()
main = void $ (pure print) <*> (pure "Hello World!") *>
              (pure print) <*> (pure "I am Haskell.") *>
              (pure print) <*> (pure "Let's start our journey.")

内容的提问来源于stack exchange，提问作者Min Thuta Shein