Lambda-Lite-Js

这是我最近使用 javascript 实现的一个函数式小语言，我把它叫做 Lambda-Lite-js （简称: LL 语言），满足各位前端程序员在函数式语言中对装逼的需求。先上 demo 。

示例及在线 demo: http://icymorn.github.io/lambda-lite-js/ （注意每个语句后要有分号，有些语法错误请到控制台看，错误提示还不完善，见谅）
github: https://github.com/icymorn/lambda-lite-js

特点

语法类似 Haskell ，我在其中实现了很多好玩的特性，比如，lambda 演算，柯里化函数，延迟计算，模式匹配，Point-Free 风格。

虽说的函数式语言，但是特别提供了中缀运算符的调用，比如 + - * /。支持的类型有： boolean 、 string 、 number 、 list 。

内置函数：print，length、reverse 等（等后续完善）。

先来一发阶乘计算。

let fact n =
    if n == 1 then 1 else n * (fact n - 1);
print (fact 5);

现在我不讲语法，先讲一下好玩的特性：

Point-Free 风格

函数式语言的函数调用是左结合的，所以很多时候需要大量的括号，这是一种反人类的做法（没错，我说的是 Lisp ），这时候你可以用 $ 来改变当前函数结合顺序

let double n = n + n;
print (double 10);
print $ double 10;

需要使用现有函数组合成更强大的函数？那么类似 haskell 中的 . 可以做到。计算 n * n + n * n 的式子可以用 n + n 和 n * n 组合起来

let double = \n -> n + n;
let square = \n -> n * n;
let func = double . square;
print $ func 10;

Lambda 演算与不动点组合子

各位细心的话，可以发现我在上面的示例中用了两种声明函数的方法：

• \n -> n + n;
• let double n = n + n;

前一种是纯的 Lambda 表达式，即匿名函数，有且仅有一个参数，但是可以组合出神奇的效果。比如 Lambda 组合出多参数函数。

let add = \a -> \b -> a + b;
print $ add 1 2;

后一种是我添加的语法糖，但是好像更好看一点，支持多参数函数声明（实际还是 lambda 函数组合）下面是一个柯里化的例子：

let add a b = a + b;
let add3 = add 3;
print $ add3 4;
print $ add3 5;

以上通过生成一个新函数 add3 ，固定了 add 函数的第一个参数，最后输出 7 8 ；

还有更有意思的不动点组合子，由于匿名函数没有名字，通常是没法递归自己的（除非使用 let 命名了）。这时候轮到 z-combinator 出场，由于 ll 语言在调用函数时是 call-by-value 的，所以不能用 y-combinator 。 z 组合子表达形式是这样的 \f -> (\x -> f (\y -> x x y)) (\x -> f (\y -> x x y))

又一个阶乘函数：

let z = \f -> (\x -> f (\y -> x x y)) (\x -> f (\y -> x x y));
let makeFact = \g -> \n -> if n < 2
    then 1
    else n * (g n - 1);
let fact = z makeFact;
print (fact 5);

模式匹配

haskell 语言中最棒的特性之一就是模式匹配， ll 中也有基本的模式匹配特性，虽然语法不太好看~

继续用阶乘例子：

let fact n@1 = 1;
let fact n@Number = n * (fact n - 1);
print $ fact 5;

当参数为 1 时， fact 返回 1 ，否则返回 n * (fact n - 1)， 这比开头的那个更简洁，不需要再手写 if else then 了。

使用通配符还能做通用匹配。

let echo a@Number = print 'Number';
let echo a@String = print 'String';
let echo a@*      = print 'Other';

echo 100;
echo "hello";
echo true;

使用模式匹配需要注意的是, 同名函数的参数长度必须相同, 每个参数的描述都要用 @ 隔开并且有描述符. 同名函数的参数顺序和名字要一样。

持续完善中...

欢迎点赞。