语言花絮

偏函数 偏函数定义 R 是集合 S 和 T 上的关系，则R被称为 S 到 T的偏函数， 如果总是有 (s, t1) ∈ R 和 (s, t2) ∈ R，则可以得到 t1 = t2。

语言模块化 为什么需要模块化？ 如果语言只支持过程和数据组合以构建复合实体，这些工具不足以设计程序。 因为我们了解到抽象对于帮助应对大型系统的复杂性是至关重要的。

计算的执行过程 计算机语言不仅是让计算机执行操作的一种方式， 而且还是一种表达方法论思想的新形式媒体。因此，必须编写程序供人们阅读，而只是偶然 地供机器执行。

语义风格的分类 在严格地制定了我们语言的语法之后，我们接下来需要一个对如何评估术语的类似精确定义——即，语言。 另一个角度讲，编程语言的设计可以分为两部分：语法和语义。 语法描述了它的外观。

整体而言，测试网站是一项复杂的任务， 因为它由几层逻辑组成——从 HTTP 级别的请求处理到模型查询， 再到表单验证和处理以及模板渲染。

类型的效率和安全 语言的类型安全很少有绝对的。安全通常为程序员提供“逃生口”，例如对用其他语言编写的代码的外部函数调用，可能是不安全的语言。 事实上，这种逃生口有时会在语言本身内以受控形式出现。

在计算机科学中，最早的类型系统被用来制作非常简单的数字的整数和浮点表示之间的区别 （例如，在 Fortran 中）。

选择适合的类型系统 人们谈论类型系统时，他们通常谈论的是静态类型。对于关心类型系统的人来说，动态类型并不是很有趣，因为它几乎什么都不保证。例如，变量 x 可以保存什么样的值.

无类型和类型系统 要严格地谈论类型系统及其属性，我们需要开始通过正式处理编程语言的一些更基本的方面。 特别是，我们需要清晰、精确和使用在数学上易于处理的工具，去表达和推理程序的语法和语义。

支持惰性求值的编译器会像数学家看待代数表达式那样看待函数式程序：抵消相同项从而避免执行无谓的代码，安排代码执行顺序从而实现更高的执行效率甚至是减少错误。 也被称之为传需求调用

语言框架 现代软件工程承认应用范围广泛的形式化方法， 以帮助确保系统在某些特定方面正确运行 隐式或明确地表明其期望的行为。 类型系列的一端是强大的框架，例如 数理逻辑、代数规范语言。

初始化 数据 在 Go 中，任何类型在未初始化时都对应一个零值： bool 布尔类型是 false ， int 整型是 0 byte 是0， string 字符串是 "" pointer指针。

构建 顺序 依据词法名顺序 当导入一个包，且这个包 定义了 init(), 那么导入时init()将被执行。 具体执行顺序: 全局变量定义时的函数

1 泛型 通常在go中使用interface 空接口 可以用作泛型的支持。 1.18.1 之后的版本的golang语言 已经支持泛型。 那么，泛型可以提升什么？ 对任何元素类型的切片，映射，通道操作

语言优化意味着采用工作应用程序并提高其性能。优化的程序做同样的事情，只是需要更少的资源。 我们在优化时通常想到的资源是运行速度，但减少内存使用、启动时间、持久存储大小或网络带宽也很重要。

25个关键字。 并且没有解析符号表。 const 常量是数字，首字母大小决定结构体属性的可见性。 没有子类型继承。 隐式的接口，implements 声明 内存总是初始化零值 go1 规范。

channel 3个状态 未初始化状态，只进行声明，或者手动赋值 nil 正常channel 可读或可写 已关闭，千万不要误认为 channel关闭后，值为nil 使用场景 每个channel内部。

成对匹配 比如括号验证，简单括号匹配。 栈也可以用于 XML,HTML的成对的关键字匹配校验。 括号一般用来指定表达式的运算优先级，多层括号的层级是否正确如，((()), ())))))。

go程序调试的方式，相比c程序 gcc工具 和 python的pdb工具，go提供了更多层级的工具，比如内置的cgo汇编程序，伪汇编代码，应用级的dlv工具等等

十七个好习惯 1,可变数据结构： 注意在函数变量不要使用它；2， python 内存回收 基于 引用计数 和 分级回收。...