我发现
polyml
是ML的实现,可以在Ubuntu上很容易地安装(在存储库中命名为polyml并且可以使用poly
执行)。我正在遵循Andrew Cumming的A Gentle Introduction to ML。在与polyml
解释器进行几分钟的实验后,我发现它不支持readline (按箭头上按键会产生^[[A)。
对于一个解释器来说,这似乎不正常。只有在未安装readline的情况下才会出现这种情况,但我的Python解释器并没有表现出这样的情况。