問題タブ [frege]

Haskell を JVM 上で (コンパイルまたは解釈して) 実行する方法があるかどうか疑問に思っています。

Sourceforge には JHaskell がありますが、これは空っぽで死んでいるようです。

GHC はコンパイラのバックエンドとして LLVM を使用します。LLVM を Java バイトコードにコンパイルするのは良い考えですか、それとも可能ですか? それとも、別のコンパイラ バックエンドを使用しますか?

Fregeプログラミング言語をサポートするためにEclipseプラグインを作成しています。IMPメタツールプラットフォームとEclipseIndigo（3.7）を使用しています。ランタイム環境はJava1.7です。

プラグインは、トークンの解析、構文解析などにバッチコンパイラと同じコードを使用します。ただし、eclipseプラグインから実行すると動作が異なることに気付き、以前にコンパイルされたモジュールのクラスファイルを読み取る次のメソッドにトレースしました。 Javaアノテーションの形式でそこに保存されているメタ情報を取得します。

URLClassLoaderコードは、引数として渡される独自のインスタンスを作成することに注意してください。クラスパスを正しく設定しないと、getOperatorsメソッドがClassNotFoundExceptionを正しくスローするため、クラスが読み込まれることを確信できます。トレースメッセージは、クラスローダーが次のパス（デフォルトでは単なるクラスパス）で構築されていることを示しています。

fregeコンパイラによって作成されていないクラスファイルには通常MD.FregePackageアノテーションを付けることができないため、これは通常、ユーザーがプレーンJavaクラスをインポートしようとしたことを示しており、実際にプラグインに次のメッセージが表示されます。

それでも、コマンドラインからこれをうまくコンパイルできます。問題の注釈が実際に同じ場所からロードできることの証拠として、これをここに含めました。

事実を再開する：

1. 注釈をロードすることになっているコードは、コンパイラがコマンドラインインターフェイスを介して呼び出されたときに正常に機能します。
2. 注釈をロードすることになっているコードは、それがプラグインから呼び出されたのか、コマンドラインから呼び出されたのかを認識していません。実際、プラグインは先週まで存在していませんでしたが、コマンドラインインターフェイスは何ヶ月も正常に機能していました。
3. もちろん、注釈には注釈がありRetentionPolicy.RUNTIMEます。そうでない場合、コマンドラインコンパイルでも注釈は認識されません。しかし、それは確かにそうです。

したがって、私が引き出すことができる唯一の結論は、Class.getAnnotation()どういうわけか正しく機能していないということです。これは、モジュールシステムに必要な基本機能を効果的に破壊するため、非常に残念です。

これがとにかく重要な場合：プラグインが使用するFregeコンパイラコード自体はFregeで記述されており、frege.prelude.Base上記のクラスはすべてのモジュールに必要な基本ライブラリであるため、プラグインのアクティブ化時にすでにロードされている必要があります。別のクラスローダー。

誰かが同じような経験をしていますか？これをどのように解決することは可能ですか？これを回避する方法の提案は大歓迎です。

Haskell 2010言語レポートは、セクション20.10.1.1で次のように述べています。

実際、GHCライブラリに実装すると

ただし、実際には、タイプを注釈付きの前者に制限します。

したがって、たとえば、次のように言うことはできません。

Intと同じではないため(Int, String)。

これには何か正当な理由がありますか？

私が尋ねている理由は、正当な理由がない場合は、現在行っているData.ListのFregedeleteByポートに、より一般的なタイプを含めるためです。しかし、多分私は何かを見落としていますか？

編集：@hammarが指摘したように、これは他のxxxBy関数にも当てはまります。

フレーゲのハスケルに相当するものはありgetLineますreadか？また、標準ライブラリのコンソールからの入力を解析しますか？

現在、私は次のようにしています。

アップデート：

Fregeは進化したので、今getLineでは標準ライブラリ自体にあります。についてreadは、Stringの変換メソッドがあります。さて、元の問題は単純です、

詳細については、以下のIngoの回答を参照してください。

Fregeで末尾呼び出しが最適化されていますか。JavaにもClojureやScalaのようなJVMバイトコードにコンパイルされる言語にもTCOがないことを私は知っています。フレーゲはどうですか？

型クラスに関するフレーゲの考え方は、Haskellとは大きく異なるようです。特に：

• 明らかな理由もなく、構文が異なっているように見えます。

• 関数型はクラスインスタンスを持つことはできません。（かなり奇妙なルールのようです...）

• 言語仕様は、サブクラスインスタンス宣言にスーパークラスを実装することについて何かを述べています。（ただし、ダイヤモンドの継承がある場合はそうではありません...エラーにはなりませんが、何らかの形で機能することが保証されているわけではありませんか？）

• Fregeは、インスタンスがどのように見えるかについてあまり煩わしくありません。（型エイリアスは許可され、型変数は区別する必要はありませんなど）

• メソッドはとして宣言できますがnative、これの意味が完全には明確ではありません。

• type.methodメソッドにアクセスするために書くことができるようです。繰り返しますが、これが何を意味するのか、なぜそれが有用なのかについては何も示されていません。

• サブクラス宣言は、スーパークラスメソッドのデフォルトの実装を提供できます。（？）

要するに、このようなものを知っている誰かがこのようなものがどのように機能するかについての説明を書くことができれば便利でしょう。言語仕様に記載されていますが、説明は少し簡潔です。

（構文に関して：Haskellのインスタンス構文はより論理的だと思います。「XがYとZのインスタンスである場合、次のようにQのインスタンスでもあります...」Haskellのクラス構文は常に少し奇妙に見えますXが実装する場合、それはそれが実装することを意味するEqのではなく、必要に応じて実装できることを意味します。しかし、より良いシンボルが何であるかはわかりません...）OrdOrd

インゴの答えによると：

• スーパークラスメソッドのデフォルトの実装を提供することは、インスタンスを「一度に」宣言した場合にのみ機能すると思いますか？

たとえば、FooがのスーパークラスであるとしBarます。各クラスに3つのメソッド（、、、、、、）があり、のfoo1デフォルトfoo2の実装を提供するfoo3とします。それはそれを意味するはずですbar1bar2bar3Barfoo1

動作するはずです。しかし、これはうまくいくでしょうか：

• それでnative、クラス宣言のようにメソッドを宣言すると、そのメソッドのデフォルトの実装が設定されるだけですか？

だから私が何かをするなら

つまり、Javaネイティブクラスの空のインスタンス宣言を記述した場合、 Javaでfooマップするということobject.foo()です。

特に、クラスメソッドがとして宣言されている場合でも、必要に応じて他の実装をnative提供できますか？

• すべての型[コンストラクター]は名前空間です。それが悪名高い名前付きフィールドの問題にどのように役立つかがわかります。この名前空間のスコープで他のものを宣言したい理由がわかりません...

Haskell では、次のコードは "[1,2,3,4,5" を出力します。

しかし、Frege ではOutOfMemoryError、次のコードでスローします。

ここでの唯一の違いは、unpackedから変換する必要がある関数Stringと[Char]FWIWunpackedです。関数は熱心です。Haskell のように式全体を遅延できないのはなぜですか? ここで Frege で Haskell に似たものを達成することは可能ですか?

haskell for Data の import コマンドに相当する frege を誰かが手伝ってくれませんか。Data.Typeable または Data.Time.Calendar... およびそのようなモジュール/組み込みプロシージャにアクセスしたいと考えています。

fregeで利用可能なモジュールを知る方法はありますか ..... 一般的に "import.frege._" を実行すると、オートフィルのような機能や、利用可能なさまざまなオプションを示唆する何らかのリストがあります。

あなたの時間と助けに感謝します

数値のリストの反転をカウントしようとしています。次のFregeプログラムは、少数の数値セットに対して機能しますが、100000の数値に対してStackOverflowErrorをスローします。

Haskellの同じコードは正常に機能します：

スタックオーバーフローの原因は何でしょうか？末尾再帰ではない関数はありますか？

Frege の Java バインディングに関するドキュメントがどこにあるか知っていますか? Haskell 出身の私は、Frege の最も興味深い側面を見つけました。残念ながら、私が見つけたドキュメントはあまり詳しくありません。

これが私のテスト例です。基本的に、次の Java コードを翻訳したいと思います。

これが私の現在の Frege コードです。

完全を期すために、エラーメッセージは次のとおりです。