演算子を引数として渡す

Question

演算子を引数に渡す

最近haskellの勉強を始めて、演算子(<5)や(==5)などを引数で渡すことができることを知りました。

僕が今までに使用したことがあるpython,rust,c/c++,phpでは使ったことがなかったので、、、
他に演算子を引数として渡せる言語ってありますか???

Answer 1

pythonです

演算子(<5)や(==5)などを引数で渡す

の実現には、いくつかの機能が必要で、「関数が第一級オブジェクト」であることと「部分適用」が可能なことです。

関数が第一級オブジェクトであれば、高階関数が使えて、「==5」を関数に渡すことができるようになります。 pythonも関数が第一級オブジェクトなのでこれは可能です。

また、「==5」というのは、 本来引数が2つ必要な「==」演算に足して、1つだけ引数を与えたものです。haskelでは引数が足りない場合、その関数呼び出しは、残りの引数を取る関数を返します。
「==5」は、引数が1つたりないので、「引数を1つ取りそれを5と比べて結果を返す関数」を表します。
これが部分適用です。 haskelでは、言語機能として実装さえれているので自然に書けますが、pythonでは functoolsモジュールのpartial関数を使って実現します。

pythonで「==5」を作るにはこんな観じです。
iseql5 がそれです。

import operator
import functools

is_eql5 = functools.partial(operator.eq, 5)

print(is_eql5(5))
print(is_eql5(10))

pythonにある「==」演算子そのままでは部分適用できないので、同等の機能を持つ関数を提供するoperatarモジュールから採ってきています。

Answer 2

演算子自体を渡しているわけじゃないですが、

puts [1,2,3].inject(:+)
#=>
6

とか、

def foo(op, x, y)
    puts "#{x} #{op} #{y} = #{op.to_proc[x,y]}"
end

foo(:+, 1, 2)
foo(:<, 3, 4)
#=>
1 + 2 = 3
3 < 4 = true

とか。

Answer 3

演算子も関数の一種とみなすことができます。たとえば <5 なら
bool lessthan5(int x) { return x < 5; }
を定義すれば、 lessthan5(x) は x < 5 と同義です。

ならば関数の引数として関数を渡すことができれば、(直接ではないけれど)関数に演算子を渡すことができます。

#include <iostream>
#include <functional>

// f(x) が true なら "YES" と書く
template<typename T>
void yes_if(std::function<bool(T)> f, T x) { // 関数 yes_if に 関数(オブジェクト) f を渡す
  if ( f(x) ) std::cout << "YES\n";
}

int main() {
  std::function<bool(int)> lessthan5 = [](int x) { return x < 5; }; // 関数オブジェクト
  yes_if(lessthan5, 3);
}