Lisp 风格的 Erlang - 消息传递原语

Question

我已经阅读了所有文档以及 LFE 的大部分源代码。所有演示都强调传统 lisp 角色中的基本 lisp - 一般问题解决、Hello world 和语法模拟宏。

有谁知道 LFE 如何处理消息原语？为了指定一个更精确的问题，你会如何表达这个 erlang：

A = 2,  
Pid = spawn(fun()->  
    receive  
        B when is_integer(B) -> io:format("Added: ~p~n",[A+B]);  
        _ -> nan  
    end  
end), 
Pid ! 5.  

然后，你知道，它咕哝着一些数字相加，答案是 7。

Answer 1

我不是 LFE 用户，但有一个用户指南 在源代码树中。通过阅读它，我猜它是这样的：

(let ((A 2))
  (let ((Pid (spawn (lambda ()
                      (receive
                        (B (when (is_integer B))
                          (: io format "Added: ~p~n" (list (+ A B))))
                        (_ nan))))))
    (! Pid 5)))

但我很可能犯了一个错误，因为我什至没有在 LFE 中评估过它。

我的一些问题：

• 是否有 LET* 形式或者它的行为已经像这样了？
• 守卫是否被称为更口齿不清的 is-integer 而不是我写的 is_integer ？

Answer 2

LFE 版本中严重缺乏示例，欢迎所有贡献。

克里斯蒂安的建议是正确的。我唯一的评论是变量名不需要大写，这没有错，但没有必要。

LFE let 是一个“真正的”let，其中变量绑定首先在主体中可见。您可以在 let 中使用模式。还有一个按顺序绑定的 let* 形式（实际上是宏）。

不，到目前为止，我保留了所有 Erlang 核心函数名称，就像它们在 vanilla erlang 中一样。在名称中使用 - 而不是 _ 肯定更加口齿不清，但是如何处理 OTP 中的所有其他函数名称和原子呢？一个建议是自动将 LFE 符号中的 - 映射到生成的原子中的 _，当然，然后再以另一种方式返回。这可能会起作用，但是会导致混乱吗？

然后我可以有一个如下所示的行为模块：

(defmodule foo
  (export (init 1) (handle-call 2) (handle-cast 2) (handle-info 2) ...)
  (behaviour gen-server))

(defun handle-call ...)

(defun handle-cast ...)

etc ...

但我对此非常矛盾。