問題タブ [purescript]

Mocha バインディングを PureScript に書き込もうとしていますが、完全に困惑しています。Control.Monad.Eff

Describe は、何も取らずに IO を返す関数、または Eff などを意味する関数です (副作用が発生した場合、値は返されません)。

これまでの私の試み

ここには明らかに何かが欠けています。助けてください。

私は History.js から PureScript へのバインディングを書いていますが、Eff モナド、エフェクトの行とは何か、なぜそれらが価値があるのか​​を理解するのにまだ苦労しています。今、私は次のように書かれていますEasyFFI

コードの後半には、次のものがあります。

次のエラーが表示されます

さまざまな方法で型シグネチャを操作してすべてを揃えようとしましたが、何が問題なのかよくわかりません。したがって、この時点で推測するだけです。

上記は次のエラーをスローします。

type の2番目の引数が期待されているためだと思いますが、2番目の引数によって導入されたEffの使用により、代わりに typeになります。MaybeheadMaybe

問題は、これを解決する方法がわかりません。Maybe代わりに効果的なコード ブロックを使用できないでしょうか?

これはコンパイルします

これはしません

次のエラーで：

なんで？

これは実行します:

しかし、これはしません:

ただし、どちらもコンパイルされ、私の理解では、どちらも同じ基本的なことを意味します。これはなぜですか？ここで適用可能な構文を使用できますか (はるかに理解しやすい私見)

これも機能します

現在、次のような非同期関数があります。

しかし、このコールバック スタイルは構成可能ではありません (私の理解では)。

また

しかし、コールバックから脱出して構成可能にする方法がわかりません。