hs-bootファイルとは何か
Haskellのライブラリのコードを見ていると、まれに、hs-boot
という拡張子がついたファイルを見かけることがあります。なんだろうと思っていたのですが、モジュールインポートで相互参照を解決するために使用するようです。
10.8. Filenames and separate compilation — Glasgow Haskell Compiler 8.6.5 User's Guide
Haskell - resolving cyclical module dependency - Stack Overflow
比(ratio)、割合(proportion)、率(rate)をきちんと区別する
英語 | 定義 | 例 | 補足 | |
---|---|---|---|---|
比 | ratio | 分子分母が別々なもので、互いに相手を含まない 一般には次元がある | BMI 性比 | |
割合 | proportion | 分子が分母に含まれる分数 次元はない 値はゼロから1の間 | 有病率 打率 死亡率 | 「率」と言うが、意味は「割合」であることに注意 |
率 | rate | 現象が起きる速さを測る 平均的な率とは、時間当たりで平均すること | 離婚率 反応速度 気温の逓減率 | 率の意味で正しく死亡率を使うこともある。 |
「医療統計を学ぶ」の1章に説明があります。
宇宙怪人しまりす 医療統計を学ぶ 検定の巻 (岩波科学ライブラリー)
- 作者: 佐藤俊哉
- 出版社/メーカー: 岩波書店
- 発売日: 2012/06/06
- メディア: 単行本(ソフトカバー)
- 購入: 9人 クリック: 25回
- この商品を含むブログ (11件) を見る
比(ratio)、割合(proportion)、率(rate)をきちんと区別する
英語 | 定義 | 例 | 補足 | |
---|---|---|---|---|
比 | ratio | 分子分母が別々なもので、互いに相手を含まない 一般には次元がある | BMI 性比 | |
割合 | proportion | 分子が分母に含まれる分数 次元はない 値はゼロから1の間 | 有病率 打率 死亡率 | 「率」と言うが、意味は「割合」であることに注意 |
率 | rate | 現象が起きる速さを測る 平均的な率とは、時間当たりで平均すること | 離婚率 反応速度 気温の逓減率 | 率の意味で正しく死亡率を使うこともある。 |
「医療統計を学ぶ」の1章に説明があります。
宇宙怪人しまりす 医療統計を学ぶ 検定の巻 (岩波科学ライブラリー)
- 作者: 佐藤俊哉
- 出版社/メーカー: 岩波書店
- 発売日: 2012/06/06
- メディア: 単行本(ソフトカバー)
- 購入: 9人 クリック: 25回
- この商品を含むブログ (11件) を見る
ghciを使ってざっくり性能測定
カジュアルにghci
上で性能測定をしようと思ったのですが、少し工夫が必要なようです。
ghci
では:set +s
することで性能を測ることができます。。
Haskell function execution time - Stack Overflow
ghci
上での計測なので、表示する処理も計測に含まれしまいます。
Prelude> replicate 9999 1 [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1 途中省略 ,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] (0.42 secs, 35,127,944 bytes)
表示する処理自体は除いて計測をしたいのですが、ghci
上で表示させないことはできないようです。(そもそも、interactive
に処理結果を見ながら実行していくためのだからと思います。)
https://stackoverflow.com/questions/32926805/disable-printing-of-io-results-in-ghci
表示結果を無理やり無視すると、そもそも計測したい処理が、遅延評価のため、実行されません。
Prelude> (\x -> return ()) $ replicate 9999 1 (0.00 secs, 92,352 bytes)
強制的に評価をさせるために、deepseq
パッケージを使います。
deepseq: Deep evaluation of data structures
Prelude> import Control.DeepSeq (0.00 secs, 0 bytes) Prelude Control.DeepSeq> deepseq (replicate 9999 1) (return ()) (0.13 secs, 648,528 bytes)
これで、おおよそ、評価したい処理の性能を見ることができる(はず)。
実際に性能を比較したかった処理は、リストを2つに分割する実装でした。型としては[a] -> ([a], [a])
です。
一つはlength
を使って2つに分割します。これは、コード上リストを2回走査することになります。
Prelude Control.DeepSeq> splitHalf' xs = splitAt (length xs `div` 2) xs (0.00 secs, 0 bytes)
もう一つは、リストの走査を1回で行う実装です。
Prelude Control.DeepSeq> first f (a,b) = (f a, b) (0.00 secs, 0 bytes) Prelude Control.DeepSeq> :{ Prelude Control.DeepSeq| Prelude Control.DeepSeq| splitHalf :: [a] -> ([a],[a]) Prelude Control.DeepSeq| splitHalf xs = go xs xs Prelude Control.DeepSeq| where Prelude Control.DeepSeq| go (y:ys) (_:_:zs) = first (y:) (go ys zs) Prelude Control.DeepSeq| go ys _ = ([],ys) Prelude Control.DeepSeq| :} (0.01 secs, 0 bytes)
2つを比較すると、1回の走査のほうが処理が速いと思ったのですが、結果は逆でした。
Prelude Control.DeepSeq> deepseq (splitHalf' $ replicate 9999999 'a') (return ()) (1.58 secs, 1,200,091,064 bytes)
Prelude Control.DeepSeq> deepseq (splitHalf $ replicate 9999999 'a') (return ()) (7.39 secs, 1,732,534,400 bytes)
Firefoxのアドオンを作ってみた
あらかじめユーザ登録をして、ログインをしておく。
Submit Your First Add-onを選択
Firefox Add-onsに登録するのでOn this siteを選択しContinueを選択、次の画面で、Select a fileを選択し、作成したAdd-onをアップロードする。
See full validation reportのリンクを選択すると、エラーの内容がわかる。
エラーを確認し、修正し、再度アップロードする。
コードを難読化などをしていると、ソースコードの提出が求められる。
今回はAdd-onのコードは素のJavaScriptなので、Noを選択して、Continueを選択し、次の画面で、Add-onの説明文を登録する。
しばらくすると、登録される。
Add-onを更新する手順は、新規登録と同じ。
履歴が確認できる。