問題タブ [liquid-haskell]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

34 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
0 に答える
21 参照

liquid-haskell - 等式推論における関数の再帰ケースの展開

コンテキスト: Haskell クイックソートの実装に関するいくつかのプロパティを証明しています。次のコードは、非決定論的permute関数を定義するために必要なすべてです。Haskell の基本型LListではなく、使用していることに注意してください。[]問題の領域はpermute_LCons_expansion_correct定理です (定理というほどのものではありません)。

では、中央の式はケースの本体であり、 の定義でもあるpermute_LCons_expansion_correctため、方程式は正しいはずです。ただし、コンパイルすると、次の LH エラーが発生します。LConspermutepermute_LCons_expansion

LH が暗黙の等価性を認識しないのはなぜですか? (==.)fromLanguage.Haskell.Equationalではなくfromを使用していることに注意してくださいLanguage.Haskell.ProofCombinators。

構成：

  • ghc バージョン 8.10.3
  • LiquidHaskell バージョン 0.8.6.0
  • カバル バージョン 3.2.0.0
0 投票する
0 に答える
65 参照

ubuntu - UbuntuにLiquidHaskellをインストールするのに助けが必要

私の学士論文では、LiquidHaskell について書き、いくつかの実験を行いたいと考えています。Haskell/GHC と CVC4 を SMT Solver としてインストール済みです。現在、Ubuntu-Laptop に Liquid パッケージをインストールしようとしていますが、問題が発生しています。

コマンドを試すとcabal install liquid-platform、次の出力が得られます。

私がgitルートに行くと

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

あなたが私に提供できるすべての助けに感謝します。

前もってありがとう、ヌードルズ


12345678910