なぜファンタジーランド仕様でチェーンが同じチェーンの値を返す必要があるのですか？

Question

chain方法

chain方法を提供しなければならない鎖を有する値。チェーン 方法は、一つの引数を取る：

m.chain(f)

1. fはfが機能しない場合、chainの動作が指定されていない値を
   • を返す関数でなければなりません。
   • fは同じチェーン
2. chainの値を返す必要がありますオプションモナドの単純な実装で考えると、同じチェーン

GitHub - fantasyland

の値を返す必要があります。

// prototypes: 
const someProto = { 
    of(x) { return some(x) }, 
    map(f) { return some(f(this.x)) }, 
    ap(ftor) { return ftor.map(this.x) }, 
    join() { return this.x }, 
    chain(mf) { return this.map(mf).join() } 
}; 

const noneProto = { 
    of() { return this }, 
    map() { return this }, 
    ap() { return this }, 
    join() { return this }, 
    chain() { return this } 
}; 

// factories: 
function some(x) { 
    return Object.assign(Object.create(someProto), {x: x}); 
} 

function none() { 
    return Object.assign(Object.create(noneProto), {x: null}); 
} 

chainが常にオプションのモナドを返すことを保証するには、mf（モナド関数）が常に1を返すようにする必要があります。 mfは実装の一部ではないため、これは不可能です。モナドを使用する場合、むしろ定義されています：

// auxiliary function: 
const sub = y => x => x - y; 

let a = some(2); 
let b = some(3); 

a.chain(x => b.chain(y => some(sub(x)(y)))); // {x: 1} 
a.chain(x => b.chain(y => sub(x)(y))); // 1 - ouch! 

第2の方法アプリケーションに渡された関数は、モナド計算の開封された結果をもたらすないモナドを返しません。私はタイプチェックをchainまたはjoinに追加することができます。ダックタイピングによって、問題を解決することができます。これはかなり醜いでしょう。

仕様では、この時点で型の安全性が必要なのはなぜですか？ Javascriptは動的に型付けされており、実行時に型チェックを実行する代わりに適切な単体テストを記述することをお勧めします。私は仕様に違反しますか？ 2番目の例では

Answer 1

あなたは.MAP（）使用する必要があります。

a.chain(x => b.map(y => sub(x)(y))); 

をして、すべてがルールに従います。あなたの関数は、モナドの値を返す場合、だから、

fmap :: m a -> (a -> b) -> m b -- same as .map() 
(>>=) :: m a -> (a -> m b) -> m b -- same as .chain() 

.chain()を使用します。ここでは比較のために

は、同等のHaskellの署名です。それ以外の場合は.map()を使用します。