問題タブ [frege]

Haskellの問題：

と

スーパーモジュールを書きたい

これらのモジュールを再エクスポートすると、名前の衝突が発生します。

各モジュール (foo1、foo2 など)には多くの関数fooが存在する可能性があり、両方のモジュールからそれらを使用したいことに注意してください。data結局のところ、各モジュールに同じメンバー名のが存在する可能性もあります。したがって、隠すことは解決策ではありません。それを解決するためにLensを考慮しません。

さて、Frege は Haskell の「再輸出適格」の問題を解決するでしょうか? 私の記憶が正しければそうらしいのですが、今のところ証拠を見つけることができません。

私はデータ型を持っています:

そして私は機能が欲しい

ノードごとに 1 つのペア。最初の要素はラベル (値) で、2 番目の要素はその深さです。

私の意図（生のコード）は次のようなものです：

しかし、これはうまくいきません。

どうしたの？Frege REPLを使用しています

私はネイティブインターフェースを理解しようとしています。を使用してメッセージを送信しようとしていますUDP。ここに私が持っているもの:

このコードは誤って実行されますが、不思議に思うことはほとんどありません。まず、DatagramSocket.new例外をスローするという事実を反映する型は何ですか? 詰め込もうとしましMaybeたが、完全にバラバラになりました。それを行う方法はありますか？今のところ、例外を処理する方法がわかりmainません。これは完全に対処していないか、何か不足している可能性があります。第二に、なぜ私はコンパイラーから不純なものに変更し、それを使用するように強制されInetSocketAddressたpureのDatagramSocket.newですか? JArrayまた、コードで必要な場合はいつでも変更可能なバージョンを使用することを余儀なくされました。

IntelliJ IDEA のJVM ( https://github.com/Frege ) で、基本的に Haskell である Frege を有効にしたいと考えています。へのパスが必要です

GHC-MOD

と

ghc-モディ。

そのため、Windows 64 ビット用の Haskell Platform をインストールしました。Cabalはすでにプラットフォームの一部なので、試してみました

「cabal インストール ghc-mod」

パッケージをインストールする必要がある

"c:\Users\%Username%\AppData\Roaming\cabal\bin"

コンソールに印刷されたカバル

ここで、x はパッケージの名前です。

これはいくつかのパッケージで発生し、Cabal は永久にフリーズしました。その後、Haskell Platform 32bit で同じプロセスを繰り返しましたが、結果は同じでした。

この経験に基づいて、haskell パーツを個別にインストールする方法に関するチュートリアルに従うことにしました ( http://blog.nikosbaxevanis.com/2015/04/15/setting-up-haskell-on-windows/ )。GHC for Windows のダウンロードに成功し、PATH を調整し、Windows 用の Cabal をダウンロードして実行しました。

「cabal.exe インストール」

と

「cabal.exe アップデート」

そしてbashシェルで実行

「cabal.exe インストール cabal-install」

前のケースのように、cabal はフリーズし、私はそれを一晩中実行し続けましたが、何も起こりませんでした。これは、bash で何が起こったかの単なる例です。

私は絶望的になり始めています。プラットフォームを使用している場合、Haskell 自体は正しく実行されます。Cabal と対話する必要がある唯一の理由は、IDE のおかげで ghc-mod パッケージです。同時に、IDE は充実していると思います。

提案やコメントは大歓迎です。ありがとう。

この定義は、次の場合に有効ですghci。

試してみると、次のfrege-replようになりました。

「フーグリング」 Fractionalは私に何も与えません。