PureScript 输入整数教程：使用 getInt 函数获取用户输入

PureScript 中输入整数可以使用'getInt'函数。以下是一个示例代码：

import Prelude
import Effect (Effect)
import Effect.Console (log)
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Console (CONSOLE)

main :: forall eff. Eff (console :: CONSOLE | eff) Unit
main = do
  log '请输入一个整数：'
  n <- getInt
  log $ '您输入的整数是：' <> show n

foreign import getInt :: forall eff. Eff (console :: CONSOLE | eff) Int

在这个例子中，首先使用'log'函数提示用户输入一个整数。然后使用'getInt'函数从控制台获取用户输入的整数。最后使用'log'函数将获取到的整数输出到控制台。

需要注意的是，'getInt'函数是通过外部引入的，因此需要使用'foreign import'关键字声明它的类型签名。