自 2011 年以来，我一直是 python 的重度用户和爱好者。当时，一位好朋友建议我抛弃 perl（eeek）并尝试使用 python 时，一个全新的世界向我敞开了大门。 这个世界的可读性高于其他所有语言，并且明确统一样式。
在使用 python 大约7年之后，尽管我还和当时有一样的热情，但是，随着时间的推移，人们也在寻找新的冒险和挑战。 现在是我是该尝试另一种语言的时候了！
python 的问题
首先，列举我在 python 中遇到的一些问题：
打包：这方面是大多数解释型语言都会遇到的问题。打包成一个包括整个 virtualenv 的可安装程序，fpm 之类的工具可以让这个过程非常容易，但是它仍然缺少一个单一二进制程序的优雅。静态类型：就像一些人从开始使用 c++ 到完全喜爱它，我确实怀念我在 c++ 中用过的类型安全。这与编译时检查密切相关，它确实帮助我们保证我们的代码的质量，甚至在执行之前。速度：大多数解释型语言的又一个问题。python 对于许多任务都足够快，但是仍然远远落后于编译型语言。冗长：我们只有在 python 3.6 才有 f-strings ，它确实是一个解脱。然而，我们在类和结构中仍然有非常冗长的 self 语法，到处都是 self.var = var ，这可能会在 python 3.7 的数据类中部分解决。隐式私有类成员：我说的私有就是那该死的私有！作为一个前 c++ 程序员，我发现 python 的私有属性和方法的下划线前缀格式有一点…变态？:‘)
进一步来说，我不确定我真的喜爱 python 在几个领域的发展方向，尤其是在异步和类型方面。
协程：尽管大受欢迎，python 中新的异步方法让人感觉非常不友好而且很难掌握。现有代码在非阻塞之前也需要大量的工作。随着越来越多的库开放使用，以及随着我了解且会使用新的库越来越多，我觉得这种情况会随之改善。类型注解（和 mypy ）：说实话，类型注解很受欢迎…如果他们真的在 cpython 做了什么的话。如果没有主 cpython 发布版本主流支持的情况下，使用类型注解作为各式结构体（如数据类）这种想法看起来毫无意义。与此同时，mypy 目前还不是主流，但长远来看，作为一个 python 类型校验展示了巨大的潜能，特别是在将 --strict 标识开启的时候。
我应该说明我仍然是 python 的忠实粉丝和支持者，而且认为它仍然是当前最好的解释型语言之一；特别是当你考虑到它惊人的生态系统和成熟度。
我在寻找什么
我的出发点是 python 和 ruby 。 我经常在需要的地方使用 ruby ，也非常喜欢它。 ruby 解决了 python 所具有的几个问题（适当的私有/受保护的属性，较少冗长的语法等等），但仍然存在性能问题，并且缺少静态类型。
因此，我开始寻找具有以下特点的新语言：
与 python 和 ruby 类似的语法单二进制分发编译，静态类型和快速面向对象（哦类，我多么爱你......）
候选项
下列语言被排除在外
go：没有关键字参数、没有异常、没有类、没有泛型以及命名风格的可怕，这些都导致我拒绝了go（尽管也许这种简单性吸引了很多人）。我实际上花了相当一段时间在 go 的学习和编码上，我觉得这是最令人沮丧的。在 c 之后，像 c++ 这样的语言已经取得了很多进步，并为我们提供了更大的灵活性，但感觉 go 似乎让我们回到了 c 语言的时代。elixir：一种引人入胜的函数式语言，但缺少面向对象的功能，以及单个二进制分发不是此语言的目标的事实对我的用例来说有点失望。然而，我们团队中的许多人将 elixir 作为他们所有新项目的主要语言，并且发现它在使用中非常出色。elixir 拥有丰富且可靠的传统，如果你想要一种函数式语言，你一定要考虑它。rust：这是个有趣的语言，我花了一些时间尝试学习。真的，我只是觉得 rust 并不对症于我的用例。这是一种相当复杂的语言，我和其他很多人似乎都不喜欢它。julia：这种语言实际上是针对科学计算的，而不是我的用例。它也缺乏我想要的面向对象能力。pony：一种非常吸引人的语言，似乎借鉴了很多 python ，但也借鉴了一些我不喜欢的东西（例如，强调前缀变量，缺乏对称性等）。我大体上感觉 pony 与我的想法不一致，认为它不具有与其他语言一样的吸引力，这使得它现在相当原始。
我真正感兴趣并希望在未来进一步研究的语言有：
nim：nim 是最初我准备用来领跑的下一个语言，我希望将来能花更多的时间来研究它。swift：另一种流行的面向对象语言，除了开发 ios 和 mac 应用程序外，绝对值得关注。
但是，最终，我决定致力于学习 crystal ！
原因如下：
crystal 很快就能熟悉，因为它大部分遵循 ruby 的语法它编译成一个快速、单一的可执行文件整个标准库都是用 crystal 编写的，可以在需要时很容易阅读它提供了与 ruby 类似的完全面向对象的方法(包括真正的受保护的和私有的成员)crystal 使用静态类型，但也提供了联合(能够定义可以具有多种类型的变量)它提供了开发类似于 ruby 的 dsl 的能力（这是我一直感兴趣的）与 c 库的绑定完全原生，并且以 crystal 编写（与 python 中的 ctypes 类似，只不过更好）
注意事项
crystal 是一个非常年轻的语言，仍然没有发布 1.0 版本。它通常会在版本中引入重大更改并且限制库。
不过，我打算仅在我的个人项目中使用这种语言，并且愿意成为早期使用者，因为我觉得这种语言有足够的前景值得使用。
经验
标准库
整个标准库非常容易阅读，我一直在引用它。库似乎也有一定的广泛性，是一个很好的基础教程。
以下是添加数组的示例：
这里是获取文件扩展名的函数：
如果你选择尝试 crystal ，请确保让它的源码待在你身边; 它非常有价值和有用。
绑定到 c 库
这真的太神奇了！
下面是一个绑定从 unix 系统获取用户信息的各种函数的例子：
异常处理
类似的异常处理提供给 puby 和 python ：
写你自己的异常很简单；只需要集成 exception 类
导入系统和命名空间
这是来自 python 的一些调整，但是因为 ruby 遵循类似 c++ 的方法，把我带回到了 c++ 时代。
c++ 命名空间等同于你可以自定义 ruby/crystal 模块。要求任何库将导入它定义的所有项目，因此它总是完美的保证了你的整个库包含在模块中，以此来避免命名空间污染。
起初我还有点担心，但我发现它可以从任意数量的文件中轻松建立一个模块。然而，我得承认，找到事物的来源更像是一种挑战。
类
我最喜欢的有关 crystal 的部分是它如何处理实例变量的赋值：
这将创建一个构造函数，它将自动用所提供的参数赋值给实例变量。python 中的等价代码是：
虽然这涉及个人喜好，但我也非常喜欢 ruby/crystal 中 end 语句和两个空格缩进的对称性。我觉得它最终使得代码阅读起来更美观而优雅。当然，我们也有适当的 protected 和 private 成员以及抽象类；这两个功能是我从我的 c ++ 时代就已经错过的。
文档
我非常喜欢 crystal 的文档。阅读它是如此的愉悦。但与任何新的语言一样，它可能是如其预期的那么全面。所提供的主要两个文档是：
crystal docs: 提供由该语言提供的大多数功能的非常愉快的概览。一定要点击屏幕顶部的小a图标来调整字体、字体大小和主题（很好体验）。我建议从这里开始。crystal api 参考: 详细介绍所有提供的模块及其各自的类和函数。
另一个不错的有用资源是 gitter 上的 crystal chatroom 。该频道的每个人都非常热心和乐于助人。到目前为止，他们一直是我探索旅程中的重要信息来源。
性能
虽然现在确定性能增益还为时过早，但做个 fibonacci 测试总是很有趣的：）
ruby/crystal
python
c
用 -o3 编译以获得最佳性能。
c++
用 -o3 编译以获得最佳性能。
go
结果
总结
尽管现在是我和 crystal 的相处早期，我仍旧乐观地希望 crystal 能尽快成为很多产品的选择。我想 crystal 能像 python 和 ruby 一样顺其自然的发展。
在不久的将来，留心那些关于 crystal 的帖子，它们将包含我的技巧与诀窍。