PureScript输入整数

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关键字声明它的类型签名