JSの機能プログラミング

Question

JSでFPを使って遊ぶ。
は、私は2つの機能

getLine ::() -> IO String 
cat :: String -> Task Error String 

があるとし、この二つの機能を構成する適切な方法は何ですか？

UPD： 私は

const main =() => compose(map(cat), getLine).performIO().fork(logError, printResult) 

を除く他のソリューションを参照することはできませんが、私は、これはそれを行うための適切な方法であることはよく分かりません。

Answer 1

私はあなたがHaskellのイディオムを使用しているので、あなたがHaskellをよく知っていると仮定しています。あなたは、次の機能があります。

getLine ::() -> IO String -- why isn't this simply `getLine :: IO String`? 
cat :: String -> Task Error String 

あなたがしたいまず最初に、IOアクションをラップ余計な機能を取り除くされています

getLine() :: IO String 

その後、あなたはcatとgetLine()を構成するfmapを使用することができます：

fmap cat getLine() :: IO (Task Error String) 

最後に、Taskを想定するEither及びに類似していますがeitherに似ている、我々は行うことができます。

fmap cat getLine() >>= fork logError printResult :: IO String 

これは以下のようにJavaScriptで書くことができます。今すぐ

getLine() 
    .map(cat) 
    .bind(fork(logError, printResult)); 

、あなたがIOアクションのための適切なmapとbindメソッドを実装するだけですJavaScriptで。

---

編集：

(>>= fork logError printResult) . fmap cat . getLine ::() -> IO String 

JavaScriptではこれはに変換します：：は、あなたは、単にHaskellで次の操作を行うことができ、それらを構成する

compose(bind(fork(logError, printResult)) 
     , fmap(cat) 
     , getLine 
     ); 

これは想定してのfmapとbindこと

と定義されます。

function fmap(f) { 
    return function (x) { 
     return x.map(f); 
    }; 
} 

function bind(f) { 
    return function (x) { 
     return x.bind(f); 
    }; 
} 

したがって、引き続きIOアクションのためにmapとbindメソッドを実装する必要があります。