纯函数中的模式匹配

Question

我需要定义一个纯函数，它接受两个参数并返回它们的商。如果除数0那么我想返回0.

如果我有一个命名函数，那么我会做

div[_, 0]   := 0
div[x_, y_] := x / y

如何在纯函数#1 / #2 &中对参数进行相同类型的模式匹配？

Answer 1

尝试类似

If[#2 == 0, 0, #1/#2] &

为了你的纯函数。

Answer 2

Switch可能很有用，例如：

Switch[ # ,
       _String , StringLength[#] ,
       _List , Length[#] , 
       __ , Null ] & /@ { "abc", {1, 2, 3, 4}, Pi}

{3， 4， 空}

Answer 3

可以使用

Replace和Condition的组合来实现对纯函数参数的类似模式匹配

Replace[_, {_ /; #2 == 0 -> 0, _ :> #1/#2}] &

例如

Replace[_, {_ /; #2 == 0 -> 0, _ :> #1/#2}] &[a, 2]

a/2

和

Replace[_, {_ /; #2 == 0 -> 0, _ :> #1/#2}] &[a, 0]

0

---

更多方法和更广泛的讨论可以在 https://mathematica.stackexchange.com/questions/3174/using-patterns-in-pure-functions