爱好编程的你,是否在寻找一个归宿呢? ZJU Lambda ,了解一下?

ZJU Lambda 是由浙江大学本科生隆晋威(@Nicekingwei)一手创办的函数式编程与程序设计语言理论社团,成立于2017年秋季。我们的口号为 Curious, Dedicated, Exploratory (好奇、专注、探索)。我们的宗旨是探索函数式编程与程序设计语言理论,普及函数式编程,让更多人的人享受函数式编程带来的益处,让更多的人对编程语言这一客体产生兴趣。

在计算机科学中,函数式编程是一种编程范式,一种将计算过程看作是数学函数的求值、尽力避免状态的改变与可变数据的构建计算机程序的结构与元素的编程风格。函数式编程是声明式编程,这意味着程序是由表达式与声明而非命令完成的。函数式编程中,函数的输出只依赖于传递给这个函数的参数,因此,用同样的输入重复调用同一个函数会得到同样的返回值。这与依赖于局部或是全局变量的过程 (procedures) 不同,在不同的状态下以同样的指调用同一个过程可能会产生不同的结果。消除副作用,即不依赖于函数输入的状态的变化,可以让我们更容易理解和预测一个程序的行为,这是函数式编程开发的主要动机。(翻译自英文维基百科词条

相比上个十年,函数式编程已经更多地出现在大众程序开发者的视野中,并且已经使普通开发者享受了函数式编程带来的一些益处。越来越多的编程语言开始引入函数式编程中的一些元素,但是这是一个不充分的过程,广大的开发者仍然没有享受到很多函数式编程者早已享受到的益处。我们认为不仅仅是专业的学术研究者,普通的开发者也应当了解函数式编程及其带来的新思路。

ZJU Lambda 将会面向浙江大学在读学生进行本学年的春季纳新活动,希望感兴趣的同学加入我们。如果报名人数大于等于四人纳新将会包含一个简短的笔试环节,测试内容可能涵盖《Haskell 趣学指南》的前八章,如果您使用的语言不是 Haskell 请在填写报名时说明。

→戳我报名 截止日期:2018年4月7日