極端に連鎖する言語？

Question

私はちょうどクールチェーニングがどのように、物事をより読みやすくするかについて考えていました。変数への機能の束を適用する際の言語の多くでは、あなたはこのような何か書きたい：

i(h(g(f(x)))) 

をそして、あなたはouter-すると、左右または最も内側からそれを読まなければなりません最も。最初にf、次にgなどを適用します。しかし、それが鎖になっていれば、それはより多くのように見えるでしょう

x|f|g|h|i 

あなたは正常な人間のように読むことができます。だから、私の質問は、そういう言語がいくつかあるに違いありません。彼らは何ですか？これらのファンシーパンツの機能プログラミング言語は何ですか？このため

---

、私は通常、私は別の行にそれを分割し、それをより読みやすくすることができるように一時変数の全体の束を作成し終わる：

a = f(x) 
b = g(a) 
c = h(b) 
what_i_really_wanted_all_along = i(c) 

私の魔法の言語でのWHERE、変数が間に合わずに長すぎる場合でも、別の行に分割することができます。

x | f 
    | g 
    | h 
    | i 

Answer 1

これは関数型プログラミングに排他的ではありません関数の構成の概念全体が関数型プログラミングの領域に正当に存在するため、関数型言語で最もよく実装されています。オブジェクト指向曲げて任意の言語は、クラスのインスタンスを返すメソッドのために、連鎖している一つのことについては

、：

obj.method1().method2().method3(); // JavaScript 
MyClass->new()->f()->g()->i(); # Perl 

代わりに、この最も有名な、まだ少なくとも「プログラミング言語」の例連鎖パターンは完全に非OOで機能しないものになるでしょう...あなたはそれを推測しました、Unixのパイプ。 〜のように、ls | cut -c1-4 | sort -n。シェルプログラミングは言語と見なされるので、完全に有効な例です。

Answer 2

はい、F＃にパイプラインオペレータ|>（転送パイプオペレータとも呼ばれ、逆パイプ<|）があります。 x |> f |> g |> h |> i

チェック実生活の使用状況の良いアイデアを与えるこのblog post：

あなたは次のように書きます。

Answer 3

ハスケル。

http://www.haskell.org/haskellwiki/Function_composition

http://en.wikipedia.org/wiki/Function_composition_(computer_science）

Answer 4

あなたは何を記述している本質的流暢インターフェース・パターンです。

ウィキペディアは言語の数から良い例があります。

http://en.wikipedia.org/wiki/Fluent_interface

とMartin Fowler氏は、ここで彼の書き込みをアップしています

http://www.martinfowler.com/bliki/FluentInterface.html

DVKが指摘するように - 任意のオブジェクト指向言語をメソッドが属するクラスのインスタンスを返すことができるところで、この機能を提供することができます。

Answer 5

さて、あなたは、JavaScriptとその親族でこれを行うことができます：あなたが見ることができるように

function compose() 
{ 
    var funcs = Array.prototype.slice.call(arguments); 
    return function(x) 
    { 
     var i = 0, len = funcs.length; 
     while(i < len) 
     { 
      x = funcs[i].call(null, x); 
      ++i; 
     } 
     return x; 
    } 
} 

function doubleIt(x) { print('Doubling...'); return x * 2; } 

function addTwo(x) { print('Adding 2...'); return x + 2; } 

function tripleIt(x) { print('Tripling...'); return x * 3; } 

var theAnswer = compose(doubleIt, addTwo, tripleIt)(6); 
print('The answer is: ' + theAnswer); 
// Prints: 
// Doubling... 
// Adding 2... 
// Tripling... 
// The answer is: 42 

は、関数は、左から右へとどちらのオブジェクトも機能は、特別な実装を必要とするお読みください。秘密はすべてcomposeです。

Answer 6

通常、数学をやっていないのであればMathematicaを使うことはできませんが、確かにPostfix表記をサポートするのに十分柔軟です。実際には、独自の表記法を定義することもできますが、簡単にするためにPostfixを使用しましょう。

あなたは入ることがあります。

Postfix[Sin[x]] 

をPostfixの表記に変換

x // Sin 

を取得するには。取得するには

MapAll[Postfix, Cos[Sin[x]]] 

：あなたはより深い表現を持っている場合、またはPostfixのを見ることができる

(Postfix[x]//Sin)//Cos 

を[x]は最初、Mathematicaのxのよう後で評価される式です。

逆に、あなたが入力してもよい：

x // Sin // Cos 

はもちろん

Cos[Sin[x]] 

で取得するか、あなたはPostfix形式でのPostfixを使用し、非常に頻繁に使用されるイディオムを使用することができます。

Cos[x] // Postfix 

取得する

x // Cos 

HTH！

BTW： 答えは私の魔法の言語はどこですか？、これを参照してください。

(x//Sin 
    // Cos 
    // Exp 
    // Myfunct) 

は

Myfunct[E^Cos[Sin[x]]] 

PSを与える：読者:)に運動したよう...どのようにn個varsの取る機能のためにこれを行うには？

static class Extensions 
{ 
    static T f<T>(this T x) { return x; } 
    static T g<T>(this T x) { return x; } 
    ... 
} 

LINQのは非常に広範囲にこれを使用しています。

x.f() 
.g() 
.h() 
.i(); 

方法は、このように宣言されている場合：少し簡潔場合

Answer 7

C＃の拡張メソッドは、あなたの魔法の言語に非常に近い何かを成し遂げます。

Answer 8

先に述べたように、以下のように、Haskellは、関数合成をサポートしてい

(i . h . g . f) x、に相当する：i(h(g(f(x))))

これは数学関数組成物のための操作の標準順序です。しかし、これを後ろ向きにしている人もいます。これは、標準ライブラリControl.Categoryで使用される表記法である

infixr 1 >>>, <<< 
(<<<) = (.) -- regular function composition 
(>>>) = flip (.) -- flipped function composition 

(f >>> g >>> h >>> i) x 
    -- or -- 
(i <<< h <<< g <<< f) x 

：アプローチが優れている上での討論にあまり得ることなく、私はあなたが簡単に反転し、組成演算子を定義することができることを指摘したいと思います。 （実際の型署名は一般化され、関数以外の他のものでも機能しますが）。あなたがしたい構文に近い

infixr 0 $ 
infixl 0 # 
f $ x = f x -- regular function application 
(%) = flip ($) -- flipped function application 

i $ h $ g $ f $ x 
    -- or -- 
x % f % g % h % i 

：あなたはまだ終わりであること、パラメータに悩まさしている場合は、関数適用演算子のバリアントを使用することができます。私の知る限り、%はHaskellの組み込み演算子ではありませんが、$は組み込み演算子ではありません。私は中置のビットを見てきました。

(((x % f) % g) % h) % i -- intended 

及びません：あなたは好奇心旺盛であれば、上記のようなコード解析を行い専門性のthats

x % (f % (g % (h % i))) -- parse error (which then leads to type error)