haskell for Data の import コマンドに相当する frege を誰かが手伝ってくれませんか。Data.Typeable または Data.Time.Calendar... およびそのようなモジュール/組み込みプロシージャにアクセスしたいと考えています。
fregeで利用可能なモジュールを知る方法はありますか ..... 一般的に "import.frege._" を実行すると、オートフィルのような機能や、利用可能なさまざまなオプションを示唆する何らかのリストがあります。
あなたの時間と助けに感謝します
私はすでに Haskell の日付と時刻のライブラリを見てきましたが、これを翻訳する作業は大変なものでした。Java の組み込みの日付と時刻のサポートはひどいものであり、他の Java ライブラリ (Joda Time、JSR 310) は優れていますが、非常に膨大で、純粋な言語には部分的にしか適合しません。シンプルな日付 (時間なし) モジュールから始めようとしましたが、まだバグがあります。私はしばらくこの問題を調べていませんでしたが、それを求めている人々はやる気を起こさせます。
不足している他のライブラリについては、少なくとも部分的に自分で翻訳することをお勧めします。多くの場合、見た目ほど難しくありません。ほとんどのコードは「機械的に」変換できますが、主な問題は通常、参照されている他のモジュールも欠落していることです。
申し訳ありませんが、現時点では、必要なモジュールはまだ実装されていません。
利用可能なものを確認するにはstandard library、frege プロジェクト ページのリンクをたどってください。
のようなパッケージ名Data.Typeableは の略であるため、サブディレクトリでfrege.data.Typeable探す必要があることに注意してください。Typeable.htmldata
自動入力機能もまだありません (Eclipse プラグイン内)。