Nix 表达式语言 介绍

        近期在解决Nix包管理框架上一些问题，顺便整理一下关于Nix函数表达式语言的一些基础，本文涵盖 Nix 表达式语言的语法、语义、类型、编译、工具和库。

Nix 手册中这样概述 Nix表达式语言：
        Nix 表达式语言是一种纯粹的、惰性的、函数式语言。纯粹意味着语言中的操作没有副作用（例如，没有变量赋值）。 惰性意味着函数的参数仅在需要时才进行评估。 函数式意味着“函数”也是“正常”值，可以以有趣的方式传递和操作。
       注意： 该语言不是功能齐全的通用语言。 它的主要工作是描述包、包的组成以及包内的可变性。

1. 语言的范式

    1） Lazy 惰性。用时触发定义和赋值。如下 a 没有被使用，所以可以认为a 不存在，abort lamda表达式从没有被调用过。

       let 

            a = abort “will never called”；

            b = “hi”；

             c = “world”；

       in b + c

    2）Functional 函数式

          函数式编程是一种构建计算机程序结构和元素的风格——将计算视为对数学函数的赋值，并避免使用变化的状态和可变的数据。 它是一种声明式编程范式，这意味着编程是用表达式或声明来实现，而不是语句。

    3）Pure 纯粹，函数调用干净无污染。

        纯函数是一种函数，其返回值仅由其输入值确定，而没有可观察到的副作用。 在 Nix 中，所有构建操作都试图尽可能纯粹以实现可重现的构建。 这意味着无论您在何处构建包，都应尽可能减少副作用对构建的影响。

2. 语言特点

    1）表达式

当 Nix 教程谈论 Nix 表达式时，它们通常是指具有多个输入的函数的定义，这些输入是推导的结果。然而，Nix 表达式可以是任何东西，从简单的字符串到函数再到一组表达式。

    2）类型

Type	Description	Example
Strings	Strings either start with double quotes or double single quotes. They also support antiquotation (templating). Leading spaces are stripped with double single quotes.	"Say ${pkgs.hello.name}" Multiline String: ''first line second line ''
Integers	A whole number without fractional component.	5
Floating-point numbers	Decimal numbers. Precision is limited.	1.2
Path	Relative paths will become absolute when evaluated, paths must contain a slash. <