问题描述
假设我想创建多个绑定并执行一个主体。我可以这样轻松地做到
(let [a 1
b (inc a)
c (* b b)]
[a b c])
但是，如果您想用if-let做类似的事情，由于if-let一次只能接受一个绑定，所以只能通过嵌套完成。
(if-let [a 1]
(if-let [b (inc a)]
(if-let [c (* b b)]
[a b c]
"error")
"error")
"error")
这非常不优雅，因为
1) 与所有绑定都相邻并具有相同缩进的阅读相比，阅读起来不太简单
2) else子句被多次复制。
3) else子句的评估取决于哪个绑定失败。如果a已经绑定了一个值怎么办？如果if-let创建了a的阴影，并且b没有绑定，那么else子句将执行一个不同于在没有第一次if-let中创建阴影时绑定的值。请参看下面的代码示例。
我想要能够这样写
(if-let [a 1
b (inc a)
c (* b b)]
[a b c]
"error")
=> [1 2 4]
(let [a :original]
(if-let [a :shadowed
b false]
a a))
=> :original
我还希望能够在when-let、if-some和when-some中使用类似的功能。
*提案:*
我重新编写了那些宏，以能够处理多个绑定。如果只提供一个绑定，它们的行为保持相同。如果有多个绑定，它们应该只有在所有绑定通过的情况下才执行主体。在if-let或if-some中，一些绑定通过而另一些失败的情况下，不应将任何绑定泄漏到else子句中。
*补丁:*
- clojure-core v2 8-3-2017.patch - Clojure补丁，包含宏的更新。对于if-let和if-some，我必须添加一些额外的逻辑，以防止它们在有些绑定通过而有些失败时泄漏绑定到else子句。它还包括针对每个宏的一些额外测试。
- core.specs.alpha.patch - core.specs.alpha补丁，与核心规范的等效更新
