問題タブ [frege]

不変の値の連続で「現在の」値を追跡したいと思います。新しい値ごとに新しい参照を導入せずに Haskell でそれを行う最善の方法は何ですか? 次に例を示します。

Frege でジェネリック型を持つ Java インターフェイスをネイティブに宣言したいと考えています。たとえば、JavaFX から ObservableList を取得してみましょう。

ジェネリック型 E を除いて、定義するように機能します

しかし、私がしようとすると

ここで完全な例を参照してください

私は得る

これを処理するための推奨される方法は何ですか?

このトピックに関するすぐに使える例は 1 つも見つかりませんでした。

同じプロジェクト内で Frege から Frege への呼び出しと、Java から Java への呼び出しに成功しましたが、.fr-files を認識するために .java-files を取得できませんでした。

次のコードを機能させるには、どの手順に従う必要がありますか (Consumer.java 内)。

私の基本的なセットアップは次のようになります。

eclipse-plugin をインストールし、指示に従いました。

プロジェクトビルダーは次の順序で:

プロジェクト パス:

消費者：

Fregeプロデューサー:

私は2つのジェネレーターを持っていますgen_n& gen_arr:

これら 2 つを 1 つに結合するにはどうすればよいGen (Int, [Int])ですか?

と の組み合わせでユーザー入力を求めるプロンプトを表示するとしputStrますgetLine。

Haskell とは対照的に、Frege は 2 行目を出力しません (これはputStrではなくを使用しますputStrLn)。不足しているフラッシュのこの動作は意図されていますか?

Frege が Haskell の動作から逸脱している場合、代わりに Java の動作を模倣していると思います。概念的に類似した例:

ただし、これは Haskell バリアントのように動作します。つまり、System.out.printすぐにフラッシュされます。

フィードバックをお寄せいただきありがとうございます。

PS: (誤った?) 動作は、最新の Eclipse-Plugin と IntelliJ/Gradle で再現できます。

Frege native-gen ツールを JavaFX Animation クラスで使用すると、以下を含む Frege コードが生成されます。

ただし、 Animation_Status タイプが欠落しているため、コードはコンパイルされません。Java 側では、これは列挙型です。 http://docs.oracle.com/javafx/2/api/javafx/animation/Animation.Status.html

ネイティブ宣言でこれを処理するための推奨される方法は何ですか?