GitHub - mvoidex/hsdev: Haskell development tool
To install latest version with LTS resolver (14.10 should be fine), add these extra packages to your global stack project: resolver: lts-14.10 extra-deps: - hsdev-0.3.3.5 - haddock-api-2.21.0 # not required if you disable `docs` flag - hdocs-0.5.3.1 # not required if you disable `docs` flag And install with stack install hsdev If you want to use latest nightly resolver and ghc-8.8, then there are
Understanding the Stack
One of our clients sent us a bug report, which consisted of a 700 line Haskell program with a complaint that “it deadlocks”. After studying the code I concluded that, for the sake of the bug report, it could be summarized as print a bunch of stuff, then crash with a stack overflow So I wanted to replace the original code with code that did just that: print a bunch of stuff, then crash with a stack
Metasepi作戦会議 第9回 議事録 - Metasepi
Table of contents 発表資料 発表音声 旅の情報 (名古屋) 交通 宿 朝、温泉に入りたい スタバでもくもく マルツパーツ 会議の雰囲気 Metasepi作戦会議 第9回を mbedではじめる関数型マイコンプログラミング講習会β というのをやってみたでゲソ。 みんなは 「モノのインターネット」(IoT：Internet of Things) という言葉を聞いたことがあるでゲソ？ 古くはユビキタス社会と呼ばれていたでゲソが、それの別名が最近付けられたのでゲソ。 バスケットボールのようなこれまでなんの変哲もない物体にもマイコンを搭載して、 データー収集をしたりインテリジェントな応答を返させたりしようというのでゲソ。 「モノのインターネット」製造業への経済効果は2850億ドル――ガートナー なのだそうで、金額はともかくとしても注目されている分野であることには違いないでゲソ。 この
GHC でスタックトレース - あどけない話
これまで GHC では、スタックトレースを取ることが有効なデバッグ方法ではなかった。 なぜなら遅延評価では、(再帰であってもなくても)末尾呼び出しは単なるジャンプになるから、スタックを使わないのである。スタックに戻る場所を積むのは、case と of の中で評価される式だけだ。(つまり、ここは正格に評価される。) この問題を解決するために GHC 7.4.2 から、わざわざスタックにログを残して、スタックトレースが取れるようになった。すなわち、最新の Haskell Platform をインストールしていれば、この機能を使えるということだ。 例として、以下のプログラムを考えよう。 module Main where main :: IO () main = print $ foo 3 + 1 foo :: Int -> Int foo x = x * 2 + bar x bar :: In
Haskell でのデバッグ - あどけない話
「純粋関数型言語はデバッグしにくい。だって純粋な関数で printf デバッグできないから」とつぶやいている人をよく見かけます。これまで放置してきましたが、リツイートが50を超えたので、Haskellでのデバッグについて書きます。 例外処理と同じように、Haskell でのデバッグでは、純粋な関数と IO を分けて考える必要あります。 IO での printf デバッグ IO では、putStrLn や print が使えるから問題ないですよね？ foo :: Int -> IO Bool foo i = do x <- あれして i putStrLn $ "x = " ++ show x これして putStrLn "ここも通過" -- それもする y <- それもする print y return y ちなみに、forkIO 起動した軽量スレッドから putStrLn する場合、軽量ス
GHCi debugger を使ってみた - khibino blog
Haskell Advent Calendar 2011 のためのエントリです。 最近、会社でも Haskell を開発のメンバーで使っていくことに正式に決まりました。 Haskell のプログラムをデバッグするときにデバッガーのようなツールを使うことが できるのか社内で質問されたので調べてみました。 GHCi debugger 公式のドキュメント http://www.haskell.org/ghc/docs/7.0.4/html/users_guide/ghci-debugger.html や その翻訳 http://www.kotha.net/ghcguide_ja/7.0.4/ghci-debugger.htmlを 参考にしながら試してみて、私なりに理解した内容を紹介しようと思います。 mkothaさん、すばらしい翻訳をありがとうございます。 さっそく、GHCi debugger
GHCのプロファイル出力を読むツールを書いた - www.kotha.netの裏
(追記(2011-07-30): '記号を含むprofファイルの解析に失敗するバグを修正したものをGitHub - mkotha/viewprof: A viewer of GHC .prof files with curses interfaceに上げた) +RTS -pで出力される.profファイルには呼び出しグラフが含まれていて大変役に立つが、大きなプログラムだと木構造が一見して分かり辛い。特に、「この関数に時間が掛かっているのは分かったが、コストが高いのはどこから呼ばれる場合か」のようなことを知るのが面倒だ。そこで.profファイルを対話的に閲覧できるツールを書いた。 使い方 j: 一行下へ k: 一行上へ Ctrl-d: 半ページ下へ Ctrl-u: 半ページ上へ スペース: 木構造の展開/畳み l: 右へスクロール h: 左へスクロール r: ボトムアップモードへ q: 終了
2.5. GHCiデバッガ
GHCiは単純な命令的スタイルのデバッガを搭載していて、実行中の計算を停めて変数の値を確かめることができる。このデバッガはGHCiに統合されており、デフォルトで有効になっている。デバッグ機能を使うのにフラグは必要ない。一つ、重要な制限があって、ブレークポイントとステップ実行は解釈実行されているモジュールでしか使えない。コンパイル済みコードはデバッガからは見えない[5]。 このデバッガは以下のものを提供する。 プログラム中の関数定義や式にブレークポイントを設定する能力。その関数が呼ばれたとき、あるいはその式が評価されたとき、GHCiは実行を中断してプロンプトに戻る。そこで、実行を続ける前に、局所変数の値を調べることができる。 ステップ実行ができる。評価器は、簡約をだいたい一回行うごとに実行を一時停止し、局所変数を調べることができるようにする。これはプログラムのあらゆる地点にブレークポイントを
Haskellの開発ツール (2011年版) - あどけない話
Haskell開発に関係するツールをとりとめもなく列挙してみます。 エディタ/IDE 僕は、Emacs と haskell-mode と ghc-mod を組み合わせて使っています。haskell-mode は、行頭揃えの機能がしょぼいので、作り直したいと思っています。 IDE のバックエンドとしては、scionがありますが、使ったことがないので説明できません。(僕は ghc-mod で十分だと思っているので。) Leksah とか yi とかも聞きますが、使ったことがないので知りません。(いや、yi はちょっと使ったことがありますけど。) 興味のある人は自分で調べて下さい。 マニュアル 関数のマニュアルが読みたくなったら、GHCについてくるモジュールの一覧とhackageDBから探して下さい。ghc-mod を使っていれば、一発でブラウザに表示できます。 探すのが面倒なら、google
Haskell入門者*1のデバッグ３つ道具 - nushio's diary
(この記事はHaskell Advent Calendar jp 2010のために書かれました) 要旨 絶対にバグが出ない言語などというものは 無く、理不尽な挙動を前にして 途方にくれる時もある。 それを乗り越える為には、確固 たる信念と洞察、そして (1)deriving Show (2)print (3)Debug.Trace が必要である。 Haskell Haskellはやっぱり魅力的です。無限リストを使ったプログラム(速度はともかく)や、自分でも理解しないまま型を合わせただけのプログラムがなぜか無事に動いたりすると魔法すら感じられます。ソースの見た目も美しいです。シンプルに書けて副作用が無くて型推論が有るので、Haskellはバグの出にくい言語とされています。 それだけに、Haskellで出たバグは取りにくく、しかも苦労して突き止めた結果が言語設計の根幹に関わる深刻な問題とかなら
ThreadScope: A Graphical Profiler for Parallel and Concurrent Haskell Programs
ThreadScope Please see http://www.haskell.org/haskellwiki/ThreadScope and the guided tour at http://www.haskell.org/haskellwiki/ThreadScope_Tour
Neil Mitchell - HLint
HLint (formerly Dr. Haskell) reads Haskell programs and suggests changes that hopefully make them easier to read. HLint also makes it easy to disable unwanted suggestions, and to add your own custom suggestions. Running the tool over the darcs source code, we can generate an interactive report with --report, or view the results in the console: $ hlint darcs-2.1.2 CommandLine.lhs:49:1: Warning, eta
Haskellでのデバッグ：traceの使い方のコツ - kkatoのブログ - TYZOH(タイゾウ)
今日のちょっといい話：「朝出かける前に、娘（3歳）に『逝ってよし』と言われた」 Haskellにはデバッグ用にtraceという関数があって、詳しい使い方はここやここを参照してほしいのですが、さらに便利に使う方法を考えついたのでメモっておく。 デバッグ出力というのは、あまり出しすぎてもデバッグしづらかったりするので、状況に応じてON/OFFをしながら動かしたいのですが、Haskellだとそこが不便に感じました。 JavaやCのような手続き型の言語だと、デバッグ出力は大抵独立行になっているので、適宜「//」などをいれてcomment/uncommentをすれば、デバッグ出力の調整は比較的簡単にできます。 その点、Haskellだと本体コードと混ざりがち。 なので、 = let dbg=trace (show hoge) in のように、関数定義の最初の行でdbgという関数を定義しておくのはど
第15回 Haskellでのデバッグのコツをつかむ
プログラムが思った通りに動かないとき，あるいは他の人が書いたプログラムを理解したいときには，プログラムの挙動を調べてみるでしょう。例えば，「入力」に対する「出力」を調べたり，プログラムが保持する「状態」を確認することで，挙動を理解しようとするはずです。そうしたときに使う手法が，プログラム動作中の変数の値といった情報を適宜出力する，いわゆるトレース（trace）です。C言語では情報の表示によくprintfを利用することから，printfデバッグとも呼ばれます。 Haskellでトレースを使うには，二つの問題があります。一つは，Haskellの型は必ずしも値を表示できるものばかりではない点です。これは回避が容易なので，さほど問題ではないでしょう。より深刻なのは「Haskellでは，副作用によるバグの発生を防ぐために，I/Oの扱いに対して制約がある」という点です。この結果，Haskellではトレ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ghc-events-analyze/doc/blogpost/introducing.md at master · well-typed/ghc-events-analyze
GitHub - blitzcode/ghc-stack: Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
GitHub - yav/pretty-show: Tools for working with derived Show instances in Haskell.
http://blog.ezyang.com/2011/06/pinpointing-space-leaks-in-big-programs/
d trace · Wiki · Glasgow Haskell Compiler / GHC · GitLab
Haskell hacking - No more exceptions: debugging Haskell code with GHCi