前置き NodeAPIのドキュメント (https://nodejs.org/api/readline.html) を参考にしつつ、Readlineの一部の機能をPureScriptで動かしてみます。 PureScriptからNodeのAPIを使うためのラッパーは既に用意されています。 (レポジトリ: https://github.com/purescript-node) この中のpurescript-node-readlineというパッケージを使ってみます。 目標は以下の処理をPureScriptで書くことです。 (NodeAPIのドキュメントから引用しています。) const readline = require('readline'); const rl = readline.createInterface({ input: process.stdin, output: proces