Crystal 是一种通用的、面向对象的编程语言，由 Ary Borenszweig、Juan Wajnerman、Brian Cardiff 和 300 多名贡献者设计开发。Crystal 的语法受到 Ruby 的启发，属于编译语言，具有静态类型检查功能，但一般不需要指定变量或方法参数的类型，可实现接近 C/C++ 的性能。它的类型由一个先进的全局类型推理算法来解决。

 Crystal 1.5.0 已发布，此版本包含了自 1.4.1 版本以来由 23 位贡献者所做的 102 项更改。主要内容如下：

实现抽象的方法的参数DEF必须与名称匹配

为了提供更好的文档和健壮性，可以将参数与其名称（ref）显式关联：

class Foo
  def foo(name : Int32) : Nil
    p name
  end
end

Foo.new.foo name: 42

因此，考虑参数的名称是其接口的一部分是必须的。然而，在 1.5.0 之前，编译器不会检查抽象方法的实现与其定义之间的参数名称是否匹配。也就是说，以下示例编译时没有错误或警告：

abstract class FooAbstract
  abstract def foo(number : Int32) : Nil
end

class Foo < FooAbstract
  def foo(name : Int32) : Nil
    p name
  end
end

从 1.5.0 ( #11915 ) 开始，上面的示例将引发警告：

 6 | def foo(name : Int32) : Nil
             ^---
Warning: positional parameter 'name' corresponds to parameter 'number' of the overridden method FooAbstract#foo(number : Int32), which has a different name and may affect named argument passing

实例变量的方法限制

当一个实例变量被赋值为一个无类型方法参数的值时，该参数被限制为与实例变量共享相同的类型。

例如以下代码：

class Foo
  @x : Int64

  def initialize(x)
    @x = x
  end
end

直到 1.4.1，xininitialize都不受限制，但这会导致几个问题：

• 如果用户传递了一个不正确的参数，例如 Foo.new 'a'，而不是在参数 'a' 中标记错误，它会指责 x 没有正确的类型。
• 例如，如果我们改为传递 Int32，则不会执行自动转换： Foo.new 1 失败。
• 生成的文档没有提供参数 x 类型的提示。

从 1.5.0 开始，在像 @x = x 这样的赋值中，参数 x 获取了 @x 的类型，有效地解决了上述三个问题。可以从 #12103 中阅读详细信息。

方法参数上允许的注释

现在可以为方法或宏的参数添加注释。作为说明，假设一个 linter 会在未使用参数时发出警告。

def foo(x); end  # Warning: argument `x` is not used

然后我们可以向 linter 发出信号，在特定情况下不要警告我们。假设 linter 提供以下注解：

annotation MaybeUnused; end

将其应用于参数会删除警告（在这个特定的虚构 linter 中）：

def foo(@[MaybeUnused] x); end  # OK

在 #12039 中了解详细信息。

元组的常量索引器

当使用常量索引元组或命名元组时，类型检查器将正确推断所访问值的精确类型（#12012）。

KEY = "s"
foo = {s: "String", n: 0}

# Before 1.5.0 this failed; it would assume the type of foo[key] to be (String | Int32)
puts foo[KEY].size

加强 FILE.TEMPFILE安全保障

根据  #12076，临时文件的创建不允许在文件名的字符串中使用空字符。

NO_COLOR 合规性

编译器和解释器支持 NO_COLOR 环境变量来禁用终端上的彩色输出。可以通过将任何非空值设置为NO_COLOR来启用。#11984 中可查看详细信息。

向原生 WINDOWS 支持迈出一大步

Windows 上的并发运行时由功能正常的事件循环 (#12149 ) 支持。这跨越了通往原生 Windows 支持的道路上的一项重要检查。此外，现在有一个与 Windows 兼容的Makefile( #11773 )。

其他内容可以在更新公告中查阅：https://crystal-lang.org/2022/07/06/1.5.0-released.html 。