柯里化的前生今世(二):括号神教

发布网友发布时间：2024-09-30 11:47

共1个回答

热心网友时间：2024-11-21 02:23

语言的边界往往定义了我们的认知局限。掌握单一语言可能导致视野受限，难以触及新颖的思想。语言是思维的工具，而有独特思考方式的人可能不拘泥于我们熟悉的表达方式，因此，扩展语言知识显得尤为重要。

本文作为“柯里化前生今世”系列的续篇，发表于业余程序员的个人修养专栏，前文探讨了函数的基本概念和Haskell Curry的贡献。文章中引入了curry和uncurry这两个高阶函数，它们是理解函数式编程概念的关键。

为了深入理解高阶函数以及相关概念，如求值环境、词法作用域和闭包，我们将通过学习新语言Racket来进行阐述。Racket是Lisp家族的一员，起源于1958年的λ演算，约翰·麦卡锡的杰作。它是继Fortran后历史第二悠久的高级语言，也是最早的功能性编程语言。

在ILC 2002大会上，Python倡导者Peter Norvig与Lisp之父John McCarthy的一段对话，体现了Lisp的魅力。Norvig在演讲中挑战Python的功能，而McCarthy简洁的回答，展示了Lisp处理代码的优雅性。

Racket家族拥有丰富的方言，如Elisp（Emacs的脚本语言）、Clojure（JVM上的Lisp）、Common Lisp和Scheme。Racket本身是在Scheme基础上扩展的，提供了DrRacket IDE，内含众多功能模块，可用于开发各种应用。

现在，让我们通过Racket的官方资源，开始我们的探索之旅。安装DrRacket，启动它，你会发现一个直观的工作环境，即使是基础的Hello World，也蕴含着丰富的学习空间。关于柯里化的更多内容，敬请期待下文：“柯里化的前生今世（三）：语言与同像性”的深入剖析。