Do-Notation in TypeScript

Question

Ich versuche eine Methode zu finden, um monadische Bibliotheken in TypeScript zu verschönern. Während die Implementierung der Monade selbst angenehm voranschreitet, sieht ihre Verwendung wie die bekannte Callback-Hölle aus.

Ich frage mich, ob es einen Weg gibt, den existierenden synactic synadctic Zucker async zu entführen/erwarten oder yield/for..of, aber ich muss zugeben, dass ich einige Probleme habe, die Punkte zu verbinden. Ist es möglich, diese Konstrukte auf etwas zu verwenden, das weder ein Versprechen noch ein Iterable ist, und so verschieden wie eine Fortsetzungs-Monade, die aus reaktiven Komponenten zusammengesetzt ist?

Answer 1

Ich bin auf Zeit begrenzt, aber hier ist ein schnelles kleines Beispiel mit der Fortsetzung Monade Cont als Beispiel

// first: WITHOUT do-notation 
 

 
const Cont = f => ({ 
 
    runCont: f, 
 
    chain: g => 
 
    Cont(k => f (x => g (x) .runCont (k))) 
 
}) 
 

 
Cont.of = x => 
 
    Cont(k => k (x)) 
 

 
const result = Cont.of (2) .chain (x => 
 
    Cont.of (3) .chain (y => 
 
    Cont.of (x + y))) 
 

 
result.runCont (console.log) 
 
// 5

Nun ist die gleiche Sache einer Art do -Notation mit - do ist ein reserviertes Schlüsselwort in JS, so nannte ich meine Funktion run

// second: WITH do-notation 
 

 
const run = g => { 
 
    const next = x => { 
 
    let {value, done} = g.next (x) 
 
    return done 
 
     ? value 
 
     : value.chain (next) 
 
    } 
 
    return next (null) 
 
} 
 

 
const Cont = f => ({ 
 
    runCont: f, 
 
    chain: g => 
 
    Cont(k => f (x => g (x) .runCont (k))) 
 
}) 
 

 
Cont.of = x => 
 
    Cont(k => k (x)) 
 

 
const result = run (function*() { 
 
    let x = yield Cont.of (2) 
 
    let y = yield Cont.of (3) 
 
    return Cont.of (x + y) 
 
}()) 
 

 
result.runCont (console.log) 
 
// 5

---

Warnung: Sie konnte Verwendung async/await aber dann erhalten Sie Ihre Werte innerhalb von Promises stecken - das würde wahrscheinlich unter den meisten Umständen lästig.