Firefox のアドオン HTTP Resource Test でリクエストを送信

1. Telnet で HTTP メソッドをリクエスト

Telnet で HTTP メソッドをリクエストするには、コマンドラインで

telnet ホスト名 80

としてホストに接続してから、リクエストを送信する。

• cf. telnetでブラウズ(HTTP)

Windows Vista で標準の Telnet クライアントを使うには、

[コントロールパネル] - [プログラムと機能] へ進み、左側に表示されるタスクから「Windows の機能の有効化または無効化」を選択し、「Telnet クライアント」にチェック

(へーいち の うぇぶろぐ | Windows Vista で TELNET コマンドを使う より)

Telnet を起動したら

? , set ?

などで利用できるコマンドを確認。

 

2. Firefox のアドオン HTTP Resource Test

Firefox を使っている場合、アドオン HTTP Resource Test により、リクエストを送信できる。

アドオンをインストールしたら、

• メニューより 「ツール > HTTP Resource Test」

を選択。

例えば、フォームから POST メソッドでリクエストを投げる動作をシミュレートしたい場合、、

1. Resource の URI に POST 先のアドレスを入力
2. Method で POST を選択
3. Client Request の Representation に 「パラメータ値=値&パラメータ=値&…」 を入力
4. Content-Type で application/x-www-form-urlencoded を選択
5. Submit ボタンを押す

 

3. Firebug でリクエストのパラメータと値を取得

HTTP Resource Test で送信する Client Request における「パラメータと値」は、予めブラウザでフォームの入力と送信をして把握しておく必要がある。

そのためには、フォームでリクエストを送信する前に Firebug を起動しておく。フォームで、実際にリクエストを送信したら、

1. 「接続」タブにおいて、POST 先の URL に相当する部分をクリックして展開する。
2. POST タブ内の「パラメータ」の下にある「ソース」を確認し、「パラメータと値」に対応したテキストをコピーする。

この値を Client Request で利用する。

 

4. その他

• Web アプリケーションのセキュリティー: 脆弱性をテストする

Google Chrome で特定のドメインにおいて JavaScript を切る

Firefox でスクリプトの実行を管理する NoScript と同様の拡張機能を Google Chrome で探したけれど見当たらなかった。標準の機能で JavaScrip の実行を切ることに。

 設定 > オプション > 高度な設定 > コンテンツの設定 > Javascript > 例外 で Javascritpt を実行したくないドメインを指定して「処理」をブロックにする。

パターンの指定は、

Click Exceptions on any tab to customize how resources for particular websites should be handled. In the "Pattern" field, you can enter hostnames and IP addresses, as well as specific domain masks (e.g. enter [*.]google.com to match everything from google.com and www.google.com, but not othergoogle.com).

( Images, JavaScript, and other web content settings : Security settings - Google Chrome Help より)

特定のページではできないようだ。

ところで、上記のように JavaScript を切ったサイトでは拡張機能 Auto-Reload が機能しなかった。Chrome では JavaScript が密接に絡んでいるのだろうか？

Web Developer - Google Chrome 拡張機能ギャラリー にも次のように書かれている。

‘Disable JavaScript’ is not possible to implement with the current Google Chrome APIs. Please star this bug and hopefully the APIs will be updated

Google Chrome で特定のページを定期的に自動更新して内容をチェックする - 拡張機能 Auto-Reload

1. Auto-Reload で再読み込みを自動化

Google Chrome の拡張 Auto-Reload は、一定時間経過したらページを再読み込みしてくれる。ページごとに再読み込みの設定をすることができる。

Auto-Reload - Google Chrome 拡張機能ギャラリー via kwout

Auto-Reload をインストールすると、ロケーションバーの右隅にアイコン が表示される。

これをクリックするとアイコンの色が緑になり 、一定時間経過したら自動でリロードされるようになる。

時間の設定は、上記アイコンを右クリック > オプション で以下のページより設定。

 

2. JavaScript によるオートリロードで、CPU の負荷が急上昇するサイトで利用した

上記の拡張機能を利用した理由は、JavaScript を使いオートリロードしているページを開いたら、CPU の負荷が上昇したため。HDD へのアクセスが頻繁になり、PC がウィーーーンと唸った。

そのため、Chrome の拡張機能を利用する方法に切り替えることにした。

 

3. 宅急便の配達状況をチェックする

クロネコヤマトの宅急便を利用すると、荷物の配達状況をウェブで確認できる。

1. 荷物の伝票番号で Google 検索を行う。
2. 「ヤマト運輸のお荷物の配送状況」のリンクを開く。
3. ロケーションバーにある Auto-Reload のアイコンをクリックして、アイコンを緑色の状態にする。

これでブラウザを開いておけば、荷物の配達状況を逐一確認できる。「Amazon のお急ぎ便」を利用したときに、今どこまで荷物が来ているのか調べるのに使った。

 

4. Firefox では Tab Mix Plus を使う

• Firefox でタブを定期的に再読み込みする - Tab Mix Plus で自動的にリロード

音量をマウスホイールで素早く調整する – Tray Volume を使いタスクバーの上で音量を設定

1. 音量を調整する場面が多い

PC で音楽を聴いたり、Skype でチャットしたり、Ustream で動画配信を見たりする。利用している場面に応じて、音量を調整する必要がある。

音量を変更するときは、

1. タスクトレイに表示されたサウンドのアイコン をクリックし、
2. マウスホイールで音量を調整する。

ワイド画面のディスプレイでは、タスクトレイのアイコンが小さく表示される。そのため、サウンドのアイコンにマウスポインタを合わせるときにストレスを感じる。

 

2. Tray Volume で音量を素早く変更する

Tray Volume を使うと、素早く音量を変更できる。特に上記の手順1 にかかる負担が限りなく 0 へ近づく。

タスクバーの上でマウスホイールを利用して音量を変更

Tray Voume 起動するとタスクトレイにアイコン が表示される。

1. アイコンを 右クリック > オプション... を選び、
2. 「操作」タブ > マウスホイールにおいて、タスクバーを選択する。

追記（2012/07/19）： タスクバーでマウスホイールを動かしても、音量が変更されなくなるときがある。その場合、TrayVolume の再起動が必要となる。

• cf. Windows でアプリケーションを再起動するバッチ処理
• アプリケーションの再起動に System Explorer

タスクバーよりも、画面隅でマウスホイールを有効にした方が良いようだ。

• マウスホイール > 有効範囲 > 画面隅

 

音量の表示

「アイコン」タブで、Digital White を選択すると、タスクバーでの音量の視認性が良くなる。

 

3. 理想的な UI

ところで、iPhone や iPad が小さなディスプレイに特化した UI を採用している。

大きな画面に対しても、表示領域に見合った使いやすい UI があって欲しい。例えば、タスクトレイのアイコンにマウスポインタを移動させたら拡大表示し、操作しやすいパネルが出てくれたらいいな。

Haskell の GHC で拡張を使うためのオプションとプラグマの指定

1. 言語の拡張

Haskell の構文を調べるときは The Haskell 98 Language Report を参照する。

Wikipedia で Haskell の歴史を見ると、Haskell 98 の前に Haskell 1.0 が 90 年に作成されている。

Haskell 1.0 の説明に、次のように書かれていた。

… 1997年後半にそのシリーズは、安定しており小さく可搬なバージョンの言語仕様と、学習用および将来の拡張の基礎としての基本ライブラリなどを定義した Haskell 98 に到達した。実験的な機能の付加や統合を通じて Haskell98 の拡張や派生物を作成することを、委員会ははっきりと歓迎した^[1]。

(太字は引用者による)

上記の出典を確認すると、

Haskell continues to evolve, going well beyond Haskell 98.For example, …

Type system innovations, including:

• multi-parameter type classes;
• functional dependencies; 
• …

(Preface の `Extensions to Haskell98’ より)

Haskell 98 に対する、様々な拡張の名前が挙げれている。

(以下を飛ばす。)

 

2. 型クラスの constructor classes による拡張の例

Haskell 1.0 から見たら、「型クラス」も言語の拡張となる。

Type classes are one of the most distinctive features of Haskell (Hudak et al. [1992]). They have been used for an impressive variety of applications, and Haskell 1.3 significantly extended their expressiveness by introducing constructor classes (Jones [1995a]).

(Type Classes: An Exploration of the Design Space、太字は引用者による)

Haskell 1.3 より constructor classes が導入された。

The Haskell 98 Language Report の 4.1 Overview of Types and Classes には、

More examples of type classes can be found in the papers by Jones [7] or Wadler and Blott [12]. The term `type class' was used to describe the original Haskell 1.0 type system; `constructor class' was used to describe an extension to the original type classes. There is no longer any reason to use two different terms: in this report, `type class' includes both the original Haskell type classes and the constructor classes introduced by Jones.

上記の訳、4.1 型およびクラスの概要 によると、

型と構成子クラスのさらなる例は、Jones の論文 [7]、あるいは、Wadler と Blott の論文[12] に見ること ができる。「型クラス」という用語は、元々は Haskell 1.0 の型システムを 記述するのに用いられていたものであり、「構成子クラス」の用語は元々の 型クラスを拡張を記述するのに用いられていたものである。このレポートで はすでに、これらの用語を分けて用いる理由はなく、「型クラス」は元々の Haskell 型クラスとJones によって導入された構成子クラスの両方を含んで いる。

(太字は引用者による)

 

constructor classes とは

Haskell の仕様の歴史を Language and library specification – HaskellWiki で辿ると、Changes from Haskell 1.2 to Haskell 1.3 に constructor class の説明が書かれている。

constructor classes remove the restriction that types be `first order'. That is, `T a' is a valid Haskell type, but `t a' is not since `t' is a type variable.

(Constructor Classes より)

「constructor classes により、型が一階である制約がなくなった」ってなんのこっちゃ？ (@_@; これはモナドで最初につまづいた点と関係していた。

「ふつうの Haskell プログラミング」で、コラム「Monad クラスのインスタンスは型じゃない」 (p269) に、次のように述べられている。

… Maybe a は型で、Maybe は型コンストラクタです。ですから、Monad クラスのインスタンスであるのは型コンストラクタ Maybe であって、型ではありません。

Constructor class - The Mail Archive にも、同様の内容が書かれている。

The term `constructor class' is meant to include classes like Functor and Monad, whose instances are type constructors but not types.

「型をクラスのインスタンスにする」という意味は、すぐに理解できた。しかし、

「型コンストラクタをクラスのインスタンスにする」

という意味が、なかなか分からなかった。

先ほど Haskell 1.3 の変更の説明で使われていた言葉を用いるなら、first-order な型をクラスのインスタンスにするのは理解しやすいが、higer-order な型がクラス宣言で使われているのを理解するのは難しい。 (cf. A Gentle Introduction to Haskell: Classes )

Meet the Monads の説明では、以下の記述が上記に相当する。

Haskell ではこのコンテナの型も多相にすることができます。それゆえ、「m a」と書いて、ある型の値を保持するある型のコンテナを表現することができます。

この文章を読んだとき、Haskell では、そういう書き方を元々できるのだと理解した。しかし、Haskell 1.3 よりも前の時代には、Moand クラスの (>>=) メソッドの型、

(>>=) :: m a -> (a -> m b) -> m b

における `m’ のような型変数の使い方ができなかったらしい。

 

型の構文の変化

constructor classes が導入される前と後のバージョンの、「型」の構文を調べてみる。

Haskell 1.2 では、以下のように規定されている。(記法は バッカス・ナウア記法 、 文脈自由文法 を参照。)

(Report on the Programming Language Haskell Version 1.2, 4.1.1 Syntax of Types, p25 より)

上記の tycon は type constructors を表す。(同上 p8) Haskell 1.2 において、「型」は型コンストラクタが、最初に置かれる。また、型変数を表わす tyvar が来たとしても、一つの型変数だけが許される。

これに対して、Haskell 1.3 では、以下のように型が表現されている。

(Report on the Programming Language Haskell Version 1.3, 4.1.1 Syntax of Types, pp.32-33 より)

tyvar は型変数なので、t, a がそれぞれ型変数であるなら、t a は型の表現として正しいことがわかる。

 

constructor classes の例

constructor classes について知りたければ、Functor  と Monad の定義を読めばいい。

慣れるために、自分で何か適当な例を考えねば … と思ったけれど、良い例が思い浮かばなかった。具体性に乏しい意味不明な例を挙げる。 ^^;

例えば、Hoge という入れ物があるとする。この入れ物には、どんな型の値でも、一つだけ入れることができるとする。

data Hoge a = Hoge a

ここから中身を取り出す get 関数を定義する。

get (Hoge x) = x

更に Piyo という入れ物があり、こちらは左右二箇所に、値を入れる場所があるとする。

data Piyo a = Piyo { left, right :: a }

同じく、中身を取り出す get 関数を定義したい。

その前に、Hoge も Piyo も入れ物だから、「入れ物」を表わす型クラス Container を定義する。そして、入れ物の中身を取り出す関数 get の型を宣言。

class Container c where
    get :: c a -> a

get 関数において、型の第１引数を c a のように型変数 2 つを用いて表現した。これが constructor classes 。

次に、型コンストラクタ Hoge, Piyo を型クラス Container のインスタンスにする。ただし、Piyo は get で中身を取り出すとき、左側にある値だけを取り出し、右は無視すると想定した。

instance Container Hoge where
    get    (Hoge x) = x

instance Container Piyo where
    get    (Piyo l r) = l

これを使い、

main = do print $ get $ Hoge 100       -- 100
          print $ get $ Piyo "p1" "p2" -- “p1”

ついでに、入れ物から取り出した後、関数を適用する getf 関数の型を、型クラス Container に宣言する。

    getf :: (a -> b) -> c a -> b

上記の宣言に対応して、Hoge で getf 関数を実装

    getf f (Hoge x) = f x

piyo の方は、先ほどと同じく左側の値を取り出し、それに対して関数を適用し、右側は無視するとする。

   getf f (Piyo l r) = f l

これを使い、

          print $ getf (*2) h           -- 200
          print $ getf (replicate 2) p  -- ["piyo", "piyo"]

全体はこちら。

Hoge とか Piyo とか意味不明な例で試したけれど、おかげで Functor が理解しやすくなった。 ^^; ( cf. Haskell の fmap )

 

3. Haskell 2010 の拡張

2009.11 には、Haskell 2010 と名付けられた改訂版がでている。

Haskell 2010 に導入された拡張の名前は、DoAndIfThenElse、HierarchicalModules、EmptyDataDeclarations、 FixityResolution、ForeignFunctionInterface、LineCommentSyntax、 PatternGuards、RelaxedDependencyAnalysis、LanguagePragma、NoNPlusKPatterns である。

( Haskell – Wikipedia より)

新たな拡張が導入されている。 (cf. changes in Haskell 2010 , via Haskell Prime)

 

4. 拡張を利用するには

「拡張」について調べた理由は、モナドに関した記事に、必ず「拡張」の話がでてくるため。

例えば、All About Monads では、

… ここで示した定義では Haskell 98 の標準にはない、複数パラメータ型クラスおよび funDeps が使われています。この State モナドを利用するのに、これの詳細を完全に理解する必要はありません。

(The State monad より, 太字は引用者による)

同様の記述が Reader モナド, Writer モナド, Error モナド にある。

モナド以外でも、Existentially quantified types, GADT に `extention’ という単語がある。

 

コマンドラインのオプションで指定

7.1. Language options によると、拡張を利用するには次の2 種類の方法がある。

• Every language option can switched on by a command-line flag "-X...",
• Language options recognised by Cabal can also be enabled using the LANGUAGE pragma,

一つは、コマンドラインのオプション。もう一つは、LANGUAGE プラグマの指定。

Haskell 2010 で導入された EmptyDataDecls を試してみる。

“Fun with Functional Dependencies”  には、次のように、データコンストラクタが書かれていない記述がある。

data Zero

これを実行すると、以下のメッセージが表示される。

    `Zero' has no constructors (-XEmptyDataDecls permits this)
    In the data type declaration for `Zero'

拡張を実行するときの方法の一つ「オプションを付けて実行しなさい」ということ。

main 関数を適当に書いた後、

ghc ファイル名 -XEmptyDataDecls

のようにオプションを指定するとコンパイルできる。

 

プラグマによる指定

Use of language extensions – HaskellWiki では、

We recommend to explicitly switch on language extensions that are needed using the LANGUAGE pragma instead of switching them on all at once using the -fglasgow-exts compiler flag.

(太字は引用者による)

上記のコマンドラインよりも、プラグマによる指定が勧められている。

プラグマとは The Haskell 98 Report: Compiler Pragmas によると、

プラグマは 付加的指令やヒントをコンパイラに与えるために使用される。しかし、 これは Haskell 言語そのものの正式な部分ではなく、プログラムの意味を 変えるものではない。 …

字句としてはプラグマはコメントと看倣される。

GHC のマニュアルでは 7.13. Pragmas に、

Pragmas all take the form {-# word ... #-} where word indicates the type of pragma, and is followed optionally by information specific to that type of pragma.

つまり、コメント として見なされるように

{- -}

で囲み、プラグマであることを示すのに # を使い、

{-# #-}

プラグマのタイプと、それに対する指示をオプションとして指定。

{-# プラグマのタイプ [指示] #-}

「言語の拡張」の場合は、プラグマのタイプに LANGUAGE と記述する。

{-# LANGUAGE [指示] #-}

先ほどの EmptyDataDecls をプラグマを使って書くなら、

{-# LANGUAGE EmptyDataDecls #-}

data Zero

オプションで指定する拡張の名前は、先ほど実行したときに表示されたメッセージ中の

-XEmptyDataDecls

から先頭の –X をとった文字列を使えば良い。一々覚えておく必要はない。

 

その他

サポートされているプラグマの一覧を表示するには、

ghc --supported-languages

( 7.13. Pragmas より )

 

参考サイト

• Should I use GHC Haskell extensions or not? - Stack Overflow