問題タブ [purescript]

Pure-Script で外部 JavaScript ファイルを読み込むにはどうすればよいですか?

外部インポート ステートメントはすべて JavaScript コードをインライン化しますが、それらを外部ファイルからロードしたいと考えています。

Purescript で Reader モナドをいじっていたところ、奇妙な動作に遭遇しました。このモナドを理解していないからなのか、それとも他の何かが欠けているからなのかはわかりません。

これは私のコードです:

これは問題なく、コンパイルされます。それにもかかわらず、これの前に、次のような関数行でより簡単なことを試しました:

(renderLine s level) と "Hello Reader モナド" が同じ型であるにも関わらず、コンパイルされません。このエラーがスローされます：「Control.Monad.Reader.Class.MonadReader u14555（Control.Monad.Reader.Trans.ReaderT Prim.Number Control.Monad.Identity.Identity）のインスタンスが見つかりません」

私は何かが欠けていると確信していますが、何がわかりません。

私のカスタム Halogen/Purescript プロジェクトでは、アクションを純粋なs と効果的な s に分割するAJAX の例のパターンに従います。InputRequest

この動作を使用するようにイベント ハンドラーを変更したいのですが、preventDefaultこれが必要とする UI 機能のタイプにどのような結果が生じるかわかりません。

イベント ハンドラーを次のように変更して、AJAX の例に同じ変更を加えました。

前：

後：

（完全な差分はこちらで入手できます）

私はこのタイプのエラーで終わります:

preventDefaultこの時点で、UI 関数の型シグネチャを調整する必要があるのか​​、修飾子を間違った方法で適用する必要があるのか​​、少し迷っています。

暗黙のプログラミングは、ポイントフリー スタイルとしても知られています。

Eff-Language について読んで、似たようなアイデアが既に使われているのではないかと思いました。Eff-Language は、"Inferring Algebraic Effects" と呼ばれる論文に言及しています。この論文では、Eff が効果を推測するために使用するアルゴリズムについて説明しています。類似点はありますか？

私は Purescript (および Haskell) を初めて使用し、統合できないというエラーで立ち往生しています。最初に私は持っていました：

これは私にエラーを与えていました

x と y が Maybe Record 型であると想定していたためだと思いました。明確にするために、コードを次のように変更して、タイプごとにパターン マッチを行いました。

今、私はエラーが発生します

そして、これはこのセクションを指します

そして2番目のケースでは

さらに取り組んでいます

Foldable の「foldl」を使用しています。空のリストをパターン マッチする方法がわかりません。できれば、型シグネチャを次のように変更します

エラーが表示されるようになりました

それは理解できる

結果は List Result 型です is_min_pos は Maybe Result を期待します

これを解決するためのクリーンな方法は何でしょうか?