探索Notty——声明式终端库

Notty 是一个以OCaml编写的声明式终端库，它围绕可组合图像的概念构建，旨在简化并提高终端编程的表达性。与传统的终端编程模型相比，Notty提供了一个更纯粹、更简洁的解决方案。

核心布局引擎和IO编解码器完全基于平台独立的OCaml实现。该库还包含了Unix系统上的输入和输出设施，以及在Unix上的Lwt支持。

作为重新定义终端编程的尝试，Notty持有明确的立场：假设全Unicode环境，不全面支持各种终端，并且拥有独特的编程和渲染模型。它的API设计受到了Haskell的Vty库的启发。

如何开始

深入了解Notty，可以查看文档，探索示例，或者直接阅读接口文件。通过dune build @ex构建将生成几个小例子程序，它们同时也充当测试用例。

(* 游戏生命体与ZX Spectrum风格 *)
 
let dot : image = I.uchar A.(fg lightred) (Uchar.of_int 0x25cf) 1 1

let background step (n, m) =
  let k = 24. *. sin (float (step + m + n) /. 10.) |> truncate in
  if k > 0 then I.char A.(fg (gray k)) '.' 1 1 else I.void 1 1

let render (w, h) step life : image =
  I.tabulate w (h - 1) @@ fun x y ->
    let pt = (x, y) in
    if CSet.mem pt life then dot else background step pt

这是什么？

• Notty?

  Notty试图消除终端编程中的繁琐细节，提供一种更愉快的编程体验，因此，“No-TTY”意味着“非TTY”。

• 又一个Rust终端库？

  此Notty与其他任何名为Notty的代码库无关。

• 为什么我们要创建另一个终端输出库？

  因为：

  • 它允许你描述应该看到的内容，而不是向终端发出命令。
  • 库本身很紧凑，额外的功能可以通过单独的模块来实现。
  • 核心部分易于连接到各种IO后端。
  • 完全由平台独立的OCaml编写。

项目特点

1. 声明式编程：通过描述屏幕上的元素，而不是直接操作终端，提高了代码的清晰度和可读性。
2. 紧凑的设计：基础库小巧，而复杂的特性和功能可以通过插件化实现。
3. 平台无关性：核心功能完全基于平台独立的OCaml编写，可在多种环境下工作。
4. 强大的兼容性：包括Unix和Lwt的支持，能够处理复杂的输入输出场景。
5. 易扩展性：设计允许轻松添加新的IO后端或自定义渲染效果。

对于喜欢探索新奇编程范式的开发者，或是需要处理复杂终端界面的项目来说，Notty是一个值得尝试的工具。立即查阅文档，开始你的Notty之旅！