ghci

7熱

1答えて

ghciに式を送信して評価を行い、結果を出力する最も単純な例は何でしょうか？私は動作する完全な例を見つけることができません。はい、私はhttps://wiki.haskell.org/GHC/As_a_libraryを試しましたが、多くのことを教えてくれないエラーが続いています。no package state yet: call GHC.setSessionDynFlagsどこでも、私はと何か引

15熱

1答えて

IO結果のGHCiでの印刷を無効にしますか？

自動的にそれを促しGHCiの中IOアクションを実行しなくIOと非IOの違いを理解しようとする学生のための、これはいいです、アクションを実行し、結果を示しています。 GHCiの設定を変更してアクションを実行する方法はありますか？代わりに<<IO Int action>>のようなものを表示しますか？ STアクション（ただし、アクションが実行されなければならない）のためのより多くの結果のようなもの：今

22熱

3答えて

Haskellコード行がコンパイルされていません： "不正なデータ型コンテキスト"

私はこのコードをHaskellでコンパイルできませんが、私の教授のシステムで動作します。私はghciバージョン7.6.2を使用します。より正確には、これは私が [1 of 1] Compiling Main (test.hs, interpreted) test.hs:1:6: Illegal datatype context (use -XDatatypeContexts): Eq

16熱

2答えて

GHCiによって保存されたコマンド履歴の量を設定する方法は？

デフォルトでは、GHCiはコマンド履歴の100行を~/.ghc/ghci_historyに保存します。この番号を増やすことはできますか？ GNU/LinuxでGHC 7.6.3を使用しています。

14熱

1答えて

GHCiとrunHaskellのgetLine機能の違い

私は分かりません。私はGHCiのを使用していますし、getLineを使用している場合、私はHaskellで同じを書く場合 module Main where main :: IO() main = do a <- getLine putStrLn a を提出し、runhaskellでスクリプトを実行し、入力し Prelude> a <- getLine Test<Bac

1熱

1答えて

GHCiの "target list"からモジュールを削除する方法

GHCIでは、:add moduleを使用して現在のプロジェクトからモジュールを追加したり、:module + moduleを使用して現在のスコープにモジュールを追加することができます。 :addを使用してロードされたモジュールは、:reloadコマンドを使用すると自動的にリロードされますが、ソースモジュールでなければならず、外部パッケージから取得することはできません。 :module +の代わり

16熱

1答えて

GHCiのレコードからレンズを作る方法

Lensライブラリで少し遊びたいです。私はGHCiの中にそれをロードし、適切なアンダースコアを持つレコードのデータ型を作成しました： > data Foo a = Foo {_arg1 :: Int, _arg2 :: [a]} 私はmakeLensesテンプレートを使用してFoo用レンズをしたいと思います。私はTemplate-Haskell docsのセット全体を読む必要なしにこれをしたい

10熱

3答えて

なぜ：sprintは常に "_"を出力しますか？

Prelude> let a = 3 Prelude> :sprint a a = _ Prelude> let c = "ab" Prelude> :sprint c c = _ なぜそれは常に_を印刷しますか？私は:sprintコマンドのセマンティクスを得ていません。

16熱

1答えて

Ghc：部分的にHaskellコードをコンパイルしますか？

ghci（通常は:load）のHaskellファイルをコンパイルするときに、型エラーがなければ、すべての式がghcインタプリタにロードされます。それは非常にいいです：私は:tで遊んで、さまざまな表現のタイプを理解することができます。私の問題は、どこかに小さなエラーがあると、ghciが何か（インポートされたモジュールでさえありません！）をロードできないため、正しいタイプを見つけることがさらに困難に

5熱

1答えて

ghciで[安全]マーカーの意味は何ですか？

Prelude Data.Void> :info Void data Void -- Defined in `Data.Void' instance [safe] Eq Void -- Defined in `Data.Void' instance [safe] Ord Void -- Defined in `Data.Void' instance [safe] Read Void --