typescriptで状態モナドを作ってみます。状態モナドは という状態を受け取って結果と変化した状態を返す関数です。これを export type State<R,S> = (s:S) => {result:R,state:S} と定義しておきます。初期値を作る関数を export const unit = <R,S>(result:R) => (sta</r,s></r,s>…

継続モナドはSwiftで段階的に作れる。1. まず継続渡しの関数を作る。 func getA(complete:(String)->Void) { complete("X") } 2. 継続渡しの関数を引数にとるクラスを作る。 typealias Func<T> = (T)->Void public struct RDFuture<T> { public var f:(Func<T>)->() p</t></t></t>…