соответствие шаблону в чистых функциях

Question

Мне нужно определить чистую функцию, которая принимает два аргумента и возвращает их частное. Если делитель 0, то я хочу вернуть 0.

Если бы я был именем функции, то я бы

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

как сделать такой же шаблону на аргументы в чистой функции #1/#2 &?

Answer 1

Switch может быть полезным, например:

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

{3, 4, NULL}

Answer 2

Try что-то вроде

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

для чистой функции.

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