クオリサイトテクノロジーズ TECH BLOG

新入社員研修について

Kenji — Tue, 24 Apr 2012 00:00:22 +0000

4月より多くの新入社員が我々の新たな仲間として加わりました。
近い将来、最前線でバリバリと活躍してくれるはずです。
今はそのための基礎造りとして、新入社員研修の真っ最中です。

弊社の新入社員研修は、大部分を内製で構築しています。
（一部外部の助力もいただいています。）
コースの概要は、研修制度ページにあります。

新入社員研修を内製化して今年で6年目。ほぼ社歴と同じです。
現場からのフィードバックをもらい、翌年には改善やチャレンジを重ね、
ようやく今のスタイルが出来上がってきました。

毎年見直しをかけているポイントは技術要素です。
時々に応じて、現場でニーズの高いアーキテクチャをベースに変更を重ねています。
来年にはJavaScriptがほぼ全てになるくらいの変更をするかもしれません。

技術要素とは反対に毎年変更のないものは、
研修を通して最も重要な制度としている「アドバイザー制度」です。
新入社員一人に対して、2年目～4年目程度の先輩社員が一人つきます。
メンターとも呼ばれる制度ですね。

新入社員への育成効果はもちろんですが、アドバイザー自身の成長としても非常に効果があると感じています。
普段アドバイザー自身もまだまだ得意ではないこと（スケジュール管理、ホウレンソウ etc）も、
正論でアドバイスしなければならない。
そして、言ったからにはやらなければならない。
アドバイザーの行動もどんどんと自律的になり、成長スピードが加速します。

あまり経験年数の多くない社員をアドバイザーとして起用しているのは、
新入社員と共に成長をしてほしいからです。
アドバイザー制度は、先輩からアドバイスを受けて後輩にアドバイスを返すまで。
そのような制度としています。

アドバイザーが新入社員の日報を指導している姿は毎年の光景ながらニヤニヤしてしまいます。
なぜなら手元には、そのアドバイザーがかつて新入社員時代に書いたズタボロの日報があるからです。

もしアドバイザーにアドバイスするならば「人の振り見て我が振り直せ」
自戒の念を込めて。

Twitter-Mobileインストール手順

入江隆平 — Wed, 30 Nov 2011 22:09:09 +0000

ご無沙汰していました。ようやく沖縄に帰ってきましたのでまたちょこちょこと更新していこうと思います。
帰沖後、最初の投稿としてTwitter-Mobileのインストール手順をご紹介します。サイズもさほど大きくないので、自分でTwitterクライアントをカスタマイズしたい方がベースとするのにちょうどよいと思います。

Twitter-Mobileのダウンロードはこちらからどうぞ。
https://github.com/rsepulveda2/Twitter-Mobile

取りあえず一通りの機能を動かすところまで出来たので手順を記載します。

目次：
　Twitter-Mobileの概要
　Twitter-Mobileをサーバに配置
　APIキーを取得
　APIキーの登録とタイムラインの表示

Twitter-Mobileの概要

Twitter-MobileはHTML+JavaScriptで作成されているTwitterクライアントです。ソースコードはOSSで公開されており、改変・再配布は自由に行うことが出来ます。またファイルもindex.htmlひとつだけで構成されているので、ソースコードを読むのもデバッグするのも比較的簡単に出来ます。

Twitter-Mobileはタイムライン(TL)の取得や投稿に@Anywhereと言うAPIを使用しています。@AnywhereはTwitterの各種機能を簡単に扱うことが出来るAPIで、自分のWebサイトをTwitter Developersに登録しておくと使うことが出来ます(登録時に発行されるAPIキーが必要)。Twitter-Mobileも@Anywhereを使っているからこそ、こんなにシンプルな実装が実現出来ているのだと思います。

@Anywhereの概要図

この図のように、@Anywhereを使うには事前にTwitter-Mobileを配置するサイトをTwitter Developersに登録しておく必要があります。私が実際に動かしてみたところ、以下の機能は動作確認が出来ました。
　TL表示／投稿／検索／ダイレクトメッセージ／RT

多少動作に怪しい点はありますが、これだけ動けば取っ掛かりとしては十分です。上図の通り、Twitter-Mobileはサーバ上で動かす必要があるためローカルに配置して動かすことは出来ません。(PhoneGapなどでは使えません)

Twitter-Mobileをサーバに配置

@Anywhere APIを使用するために、Twitter-Mobileはサーバ上に配置しておく必要があります。
サーバは何でも良いのですが、今回はTomcatを使用します。Macの人は標準で入っているWebサーバが手軽で良いと思います。

Tomcatの設定に特に難しいところはないのでサラッといきます。今回はちょっと手抜きをしてTomcatに付いているexamples内にTwitter-Mobileを配置します。

Tomcatはこちらからどうぞ。起動に必要な諸々の準備(Javaのインストール等)は省略します。
http://tomcat.apache.org/

適当なところに展開して、examplesが動くところまで確認します。次にexamples配下のindex.htmlをTwitter-Mobileのindex.htmlで置き換えます。

まずはここまででTwitter-Mobileにアクセスしてみます。※この時点ではエラーになります

examplesプロジェクトのindex.htmlを表示するとConnect with Twitterボタンが表示されるのでクリックします。

サブウィンドウが立ち上がり、Twitterアカウントへの接続確認を求められます。ここでは「コネクション」を選択し、接続を許可します。

エラー画面が表示されます。

このエラーは@Anywhereに送信したAPIキーに紐づくサーバとTwitter-Mobileが起動しているサーバが異なるために発生しています。

ダウンロード直後のTwitter-Mobileにはサンプル用のAPIが設定されているため、これを修正する必要があります。

APIキーを取得

上記のエラーを回避するために、正しいAPIキーを取得して送付するように変更します。twitter developersをブラウザで開き、自分のTwitterアカウントでログインします。
https://dev.twitter.com/

twitter developersトップ画面へ遷移するので、Create an appを選択します。

アプリケーション情報を入力し、画面下部の「Create your twitter application」を選択します。ちなみに、アプリケーション名に「Twitter」の文字を含めるとエラーになるので、それ以外を指定します。

画面上部に以下のアラートが表示されればアプリケーションの登録は成功です。

OAuth settingsのConsumer keyをコピーします。この値をTwitter-Mobileに書き込みます。

APIキーの登録とタイムラインの表示

Twitter-Mobileをお好みのエディタで開いてください。headタグ内に@Anywhereを使用するための記述があり、APIキーとバージョンが指定されています。ここのAPIキーを先ほどコピーしたConsumer keyに書き換えます。

書き換えが終わったら画面を再表示してみましょう。今度は正常にログインして、自分のタイムラインが見れるはずです。(ここでは@twitterのTLを表示しています)

Twitter-Mobileのインストール手順は以上で完了です。ここではタイムライン表示のみご紹介しましたが、RTや投稿・検索など一通りの機能は使うことが出来ます。
あとは自分の好みに合うように改造してみてはいかがでしょうか。

Haskell入門 Part.3-2 再帰実行

入江隆平 — Wed, 28 Sep 2011 23:00:07 +0000

<目次>

再帰実行に関するサンプルプログラムです。
再帰実行はカリー化や関数定義にも多用されるのでぜひ使いこなせるようになっておきましょう。

リストの和を計算する

リストの合計値を再帰実行を使って求めてみます。標準ライブラリにsum関数が既に存在するので、ここではtotalという名前で作っていきます。

手続き型言語では以下のように書くのが普通だと思います。（javaを例にしています）

int sum=0;
for (int i=1; i<=10; i++) sum += i;

（純粋な）関数型言語では一度値を設定した変数の値を変更することが出来ません。
リスト内包表記と再帰実行を使って、リスト要素をひとつずつ取得・加算していきます。

ghci

let total[] = 0; total(x:xs) = x + total xs
total[1..10]  --result 55

:q

(x : xs)はリスト内包表記と言い、リストの最初の要素をxに、xを除いたリストをxsに割り当てることを意味します。
例えばリストが1～10であれば、x=1 、 xs=2～10となります。

関数totalを引数[1,2,3]で実行すると以下のように展開・計算されます。

total[1,2,3] = 1 + total[2,3] = 1 + 2 + total[3] = 3 + 3 + total[] = 6 + 0 = 6

このように関数型言語ではループ処理は再帰実行で実現します。手続き型言語ではあまり見かけない手法ですね。
以下で再帰実行を使った関数の例をいくつかご紹介します。

リストの積を計算する

リストの要素全ての積を求める関数prdを作ってみます。

ghci

let prd[]=1; prd(x:xs)=x * prd xs
prd[1..4] -- result 24

:q

クイックソート

Haskellの解説でよく見かけるクイックソートを実装します。

sample.hs

qsort[]=[]
qsort(x:xs) = qsort smaller++[x]++qsort larger
            where
              smaller = [a|a<-xs,a<=x]
              larger = [b|b<-xs,b>x]

実行

ghci

:l c:/haskell_sample/sample.hs
qsort[1,5,3,8,2] --result [1,2,3,5,8]

:q

where句は関数内に直接埋め込むことも可能です。この場合はクイックソートが２行で実現出来ます。

ghci

let qsort[]=[]; qsort(x:xs)=qsort[ps | ps<-xs, ps=x]
qsort[1,5,3,8,2] --result [1,2,3,5,8]

:q

Haskell入門 Part.3-1 関数の作成と合成

入江隆平 — Mon, 26 Sep 2011 22:58:20 +0000

<目次>

関数の作成と合成に関するサンプルプログラムです。

引数を２倍にして返す

引数を1つ受け取り２倍にして返す関数です。もっとも単純な関数のひとつですね。

ghci

--関数宣言。左が引数、右が関数の本体
let double x = x + x

--実行
double 3  --result:6

掛け算と足し算を続けて実行する（関数の合成）

“合成”とは関数の連続実行のことです。掛け算を行う関数multiを作成し、doubleと合成してみましょう。
上で宣言したdoubleを使うので同じコンソールでそのまま実行します。

--関数宣言
let multi x = x * x

--doubleとmultiを続けて評価
multi $ double 10  --result:400

--逆順に評価
double $ multi 10  --result:200

関数は右から順に評価されることに注意してください。なお、(double 10)はポインタとしてmultiに渡されるため、評価は一度だけ行われます。

multi $ double 10 = (double 10) * (double 10) = 20 * 20 = 400

呼び出す順序を逆にした２つ目では以下のように計算されます。こちらも(multi 10)は一度だけ評価されます。

double $ multi 10 = (multi 10) + (multi 10) = 100 + 100 = 200

以下の書き方でも同じ結果（400）を得ることが出来ます。

multi $ double $ 10
(.) multi double 10
(.) multi double(10)
multi(double(10))

中置記法

中置記法とは関数の呼び出し方の一種です。バッククォート（`）で囲むことで引数の間に配置することが出来ます。
中置記法の方が直感的に書けることもよくあるので覚えておきましょう。

let foo x y = x + y
10 `foo` 20  -- result:30

Haskell入門 Part.2-6 無限リストの遅延評価

入江隆平 — Wed, 21 Sep 2011 07:17:50 +0000

<目次>

無限配列の扱いを例に、Haskellの特徴の一つである遅延評価について記載します。
Haskellでは関数の評価は実際に必要となるまでは行わなれません（遅延評価）。手続き型言語に慣れていると理解しずらいところではありますが、このおかげで巨大なリストの扱いがとても楽になります。

例として無限配列の一部だけを扱う関数を記載します。これは配列を宣言時に評価する手続き型言語では扱うことが出来ません。

ghci

-- 無限に続く等差数列
let sncd x = x:sncd (x+1)  -- :type=sncd :: Num a => a -> [a]
-- 無限数列の先頭3要素を取得
take 3 (inc 10)  -- result:[10,11,12]

:q

6行目は下記のように展開・評価されます。

take 3 (sncd 10)
 = take 3 (10:sncd 11)           -- sncdを適用
 = 10:take 2 (sncd 11)           -- takeを適用
 = 10:take 2 (11:sncd 12)        -- sncdを適用
 = 10:11:take 1 (sncd 12)        -- takeを適用
 = 10:11:12:take 1 (13:sncd 13)  -- sncdを適用
 = 10:11:12:13:take 0 (sncd 13)  -- takeを適用
 = 10:11:12:13:[]                -- takeを適用。ここでsncdは不要になります
 = [10,11,12,13]

sncdはtakeから要求されたときに必要な分だけ実行されます。このため無限数列であるsncdも扱うことが出来ます。

このようにHaskell（に限らず遅延評価を行う言語）ではプログラムに記載した内容が上から順に実行されるとは限りません。このように実行順序が複雑であることと、StackTraceが取れないことにより、Haskellのデバッグは特に大変だと言われています。

Haskell入門 Part.2-5 リスト内包表記

入江隆平 — Wed, 14 Sep 2011 23:55:43 +0000

<目次>

リスト内包表記を使用するサンプルプログラムを記載します。
メモリの使用量は多いですが、リスト内包表記を活用するとリストの扱いがとても楽になります。

リスト内包表記と数式の比較

「ｘが1～5のときにx+3を満たす集合」を求めたいとします。数学では以下のように表しますね。

{x+3 | x∈{1,5}}  ※これはhaskellではありません

これをHaskellで書くと以下のようになります。

ghci
[x+3 | x<-[1..5]]  -- result:[4,5,6,7,8]
:q

ほとんど同じですね。このように数式と同じ書き方が出来るのもHaskellの魅力のひとつだと思います。
同じように2変数の場合も見てみましょう。まずは数式です。

{(x+3, y ^ 2) | x∈{2,3},  y∈{5,6}, y > x^2}  ※これはhaskellではありません

こちらがHaskellで書いた式です。

ghci
[(x+3, y^2)|x<-[2,3], y<-[5,6], y>x^2]  -- result:[(5,25),(5,36)]
:q

こちらもほぼ同じ記法ですね。※式の左側で作られた値を絞り込む記法のことをガードと呼びます

リストを要素に分解する

以下はリストを最初の要素と残りの要素リストに分解することを表します。

f(x:xs)=x+f xs

(x : xs)はリストの最初の要素をxに、xを除いたリストをxsに割り当てることを意味します。
例えばリストが1～10であれば、x=1 、 xs=2～10となります。

リストを逆順に並べ替える関数

let f[]=[]; f(x:xs)=f xs++[x]
f [1..10]  -- result:[10,9,8,7,6,5,4,3,2,1]

リストのリストから要素であるリストを連結する関数

ghci
let ccat xss=[x|xs<-xss, x<-xs]  -- type=ccat :: [[t]] -> [t]
ccat [[1..3],[4..6]]             -- result:[1,2,3,4,5,6]
:q

これは以下のように展開・実行されます。

ccat [[1..3],[4..6]]
 = [x|xs<-[1..3], x<-xs] ++ {評価待ち}
 = [1,2,3] ++ [x|xs<-[4..6], x<-xs]
 = [1,2,3] ++ [4,5,6]
 = [1,2,3,4,5,6]

タプルを要素に持つリストから、タプルの先頭要素の二乗を要素とするリストを作る関数

ghci
let firsts ps=[x^2|(x,_)<-ps]  -- type=firsts :: Num t => [(t, t1)] -> [t]
firsts [(1,3),(2,5),(10,30)]   -- result:[1,4,100]
:q

“二乗”の処理を外すとNum制約はなくなります。こちらは以下のように展開・実行されます。

firsts [(1,3),(2,5),(10,30)]
 = [x^2|(x,_)<-(1,3)] ++ {評価待ち}
 = [1^2] ++ {評価待ち}
 = [1] ++ [x^2|(x,_)<-(2,5)] ++ {評価待ち}
 = [1] ++ [2^2] ++ {評価待ち}
 = [1,4] ++ [x^2|(x,_)<-(10,30)]
 = [1,4,100]

指定順序を変えた場合の挙動

左側が優先されるため、同じ値でも指定順によって結果が変わります

[(x,y)|x<-[1..3], y<-[4,5]]  -- result:[(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)]
[(x,y)|y<-[4,5], x<-[1..3]]  -- result:[(1,4),(2,4),(3,4),(1,5),(2,5),(3,5)]

前方の生成器で宣言した変数を使用する

後方の生成器では前方の生成器が使う変数を使用出来ます。
これを使うと重複を除いたリストの組み合わせを生成出来ます。

[(x,y)|x<-[1..3], y<-[x..3]]  -- result:[(1,1),(1,2),(1,3),(2,2),(2,3),(3,3)]

Haskell入門 Part.2-4 リストの宣言と操作

入江隆平 — Mon, 12 Sep 2011 23:32:07 +0000

<目次>

リストの宣言・操作に関するサンプルプログラムです。

リストの宣言

浮動小数点は誤差が出るようなのでご注意ください。コンソールから使う場合は型を明記することで誤差を回避出来ます。
例：(0.2::Float) + (0.1::Float)

ghci

[1,3,2,7,10]    -- result:[1,3,2,7,10]
1:3:2:7:10:[]   -- 上と同じ結果を返します。上はこちらの糖衣構文になります

-- 等差数列の宣言
[1..10]         -- 公差  1. result:[1,2,3,4,5,6,7,8,9,10]
[10,13..20]     -- 公差  3. result:[10,13,16,19]
[10,7.. -10]    -- 公差 -3. result:[10,7,4,1,-2,-5,-8]
['a'..'z']      -- result:"abcdefghijklmnopqrstuvwxyz"
['A'..'Z']      -- result:"ABCDEFGHIJKLMNOPQRSTUVWXYZ"
['a'..'Z']      -- 小文字から大文字では取得出来ません result:""
['A'..'z']      -- 大文字から小文字は取得出来ますが、途中に記号が入ります result:"ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwxyz"
['a','c'..'z']  -- 公差=2 result:"acegikmoqsuwy"

-- 浮動小数点のincrementは誤差が出るようです
[0.1,0.2..0.3]  -- result:[0.1,0.2,0.30000000000000004]

-- 型を明記しても同じです
let ar::[Float];ar=[1.0,1.1..1.3]
ar  -- result:[1.0,1.1,1.2,1.3000001]

let ar::[Double];ar=[1.0,1.1..1.2]
ar  -- result:[1.0,1.1,1.2000000000000002]

-- タプルのincrementは出来ません
-- [(1,1)..(1,3)]  -- result:No instance for (Enum (t0, t1))

:q

無限リストの宣言

コメントアウトを外すと止まらないのでご注意ください。遅延評価されるため無限数列も引数として使用出来ます。
無限数列がどのように評価されているかについては無限リストの遅延評価を参照ください。

ghci

-- 止まりません
-- [1..]
-- [1,100..]
-- ['a','c'..]

-- 必要な分だけ評価されるため、無限配列でも引数として使用出来ます
take 10 [0,100..]  -- result:[0,100,200,300,400,500,600,700,800,900]

:q

試しに、下記を３０分ほど動かして見ましたが落ちることもなく延々と動いていました。

[1,100000000000000000000000000000000000000000000000000000000000000..]

-- 止める直前に出ていた値
116993599999999999999999999999999999999999999999999999999999998830065

リストの操作

よく使うリスト操作です。

ghci

head [1..10]    -- 先頭取得    result:1
tail [1..5]     -- 先頭以外取得 result:[2,3,4,5]
last [1..10]    -- 最後尾取得   result:10
init [1..5]     -- 末尾以外取得 result:[1,2,3,4]

take 3 [1..10]  -- 先頭から指定数の要素を取得 result:[1,2,3]
drop 7 [1..10]  -- 指定数以降の要素を取得 　  result:[8,9,10]
1:[2,3,4]       -- リストへ追加             result:[1,2,3,4]

-- 条件を満たす要素の前でリストを分割し２つ組みのタプルを返す
break (>5) [1..10]  -- result:([1,2,3,4,5],[6,7,8,9,10])

:q

Haskell入門 Part.2-3 デフォルトの型

入江隆平 — Wed, 07 Sep 2011 23:40:17 +0000

<目次>

ghc起動時に読み込まれるPreludeモジュールで定義されている型のうち、よく使われるものを解説します。
型はデータの集まりにつけた識別子で、先頭大文字の英数字で表します。

よく使用される型

下記はPreludeで宣言されている型です。

-- Bool： 真理値
let v=True  -- type=v :: Bool

-- Char： 文字。文字列は[Char]です
let v='a'    -- type=v :: Char
let v="abc"  -- type=v :: [Char]

-- Int： 固定精度整数。範囲⇒-2^31～2^31-1
let v=1::Int        -- type=v :: Int
let v=(-2)^31::Int  -- result:-2147483648
let v=2^31-1::Int   -- result: 2147483647

-- 範囲を超えると正負が反転します
let v=2^31::Int       -- result:-2147483648
let v=(-2)^31-1::Int  -- result: 2147483647

-- Integer： 多倍長整数。整数全体を表します。メモリが許す限り、制限はありません
-- 私の環境ではこれを超えるとかなりレスポンスが悪くなりました（30万1031桁）
let v=2^(10^6)::Integer

-- Float： 浮動小数点数。小数点以下9桁まで保持するようです
let v=0.123456791::Float  -- result:0.12345679  最後の1は保持されません

-- Rational： 有理数
let v=1/2::Rational  -- result:1 % 2

リスト型

0個以上の任意の型を並べたものをリストと呼び、[T]で表します。（0個でもリストになります）
要素は同じ型である必要があります。要素の追加が可能です。
よく使うリスト操作についてはリストの宣言と操作を参照してください。

let v=[1,2,3]  -- type=v :: [Integer]

-- 型を明示的に指定することも出来ます
let v=[1::Int,2::Int,3::Int]  -- type=v :: [Int]

タプル型

2個以上の任意の型の組み合わせをタプルと呼び、(T1,T2,・・・)で表します。
要素の型は異なっていても良いです。組み合わせの個数は変更できません。

let v=(1::Int,'a')  -- type=v :: (Int, Char)

関数型

型T1を引数にとり型T2を返却するものを関数型と呼び、T1->T2と表します。

:{
let { f::Int -> Int;
      f x = 1 + x
    }
:}
-- type=f :: Int -> Int

--  セミコロンを使うと一行で書くことも出来ます
let f::Int -> Int; f x = 1 + x       -- type = f :: Int -> Int

-- 変数に制約を付ける場合は括弧で括ります
let f :: (Num a) => a -> a; f x = x  -- type = f :: Num a => a -> a

-- 型推論が働くので型宣言は省くことも出来ます。この場合は数値の型Numになります
let f x = 1 + x                      -- type = f :: Num a => a -> a

Haskell入門 Part.2-2 型・型クラス・インスタンス

入江隆平 — Mon, 05 Sep 2011 23:08:51 +0000

<目次>

型・型クラス・インスタンスについて例文を交えながら解説します。単語は同じでもOOPとは意味合いが異なるので、全く新しい単語と思って接した方が理解しやすいかもしれません。
私はイメージが湧くようになるまで結構時間がかかりました。

型・型クラス・インスタンスの関係は以下のような思っておくと、比較的分かりやすいです。
・型は任意の値の集まり
・型クラスは任意の型の振る舞いの集まり
・インスタンスは型クラスの制約を全て満たす型

具体的にイメージ出来るように例文を見ていきましょう。
今回はプログラムが少し長くなるので、モジュールとして読み込んでいます。

型

型は任意の値を集めて名前（識別子）を付けたものです。集合と同じですね。
例えば整数の集まりにはIntと言う名前がついています。”デフォルトの型”と呼ばれているものはPreludeモジュールに含まれている型です。

型は自分で新しく宣言することも出来ます。Manga1~3の集まりとしてComic型を宣言してみます。

sample1.hs

data Comic = Manga1 | Manga2 | Manga3

実行

ghci
:l sample1.hs
-- Manga2が型Comicとして認識されていることを確認
:t Manga2  -- type = Manga2 :: Comic
:q

ここでのManga1〜3は文字列ではなくComic型です。Comicと言う名前の付いた集合の要素になります。

型クラス

型クラスは型を集めて、その振る舞いを定義したもの・・と言うと分かりやすいでしょうか。
JavaのInterfaceやAbstractクラスに近いです。
以下のように書きます。

class 型クラス 型 where
　条件式

例としてタイヤ数・ハンドル位置・車体の色を返却する機能を持った型クラスCarを宣言します。
このようなOOP風の書き方が適切なのかは微妙ですがイメージはしやすいと思います。

sample1.hs

-- ハンドル位置と色の型を宣言
data HundlePosition = HLeft | HRight
data Color = Red | Blue | Green | Black

class Car a where
  -- 型Carが満たす振る舞いを定義
  getWheelCount :: a -> Int
  getHundlePosition :: a -> HundlePosition
  getBodyColor :: a -> Color

  -- デフォルトの振る舞いを宣言。インスタンスで変更も出来ます
  getWheelCount n = 4
  getHundlePosition n = HRight

  -- getBodyColorはデフォルトの振る舞いを定義していないため
  -- インスタンスで必ず実装する必要があります

実行

ghci
:l sample1.hs  -- エラーが発生しないことを確認

-- getWheelCountは型クラスCarを受け取ってIntを返す
:t getWheelCount  -- type = getWheelCount :: Car a => a -> Int
:q

タイヤの数とハンドル位置はデフォルト値を定義しています。車体の色は様々ですので、ここでは定義せずにインスタンス定義に任せます。

インスタンス

型クラスの制約を満たすように定義した型をインスタンスと呼びます。Javaではクラスの実体と言う意味で”インスタンス”と言いますが、Haskellでは”型クラスの制約を満たす型”のことを指します。

上で宣言した型クラスCarのインスタンス（＝制約を満たす型）を作ってみましょう。

sample1.hs

-- 型Cera1を宣言。derivingはおまじないと思ってください
data Cera1 = Cera2 deriving Show
-- 型Cera1を型クラスCarのインスタンスとして宣言する
instance Car Cera1 where 
  getBodyColor Cera2 = Black

-- Carを引数に取る関数を宣言する
smp3 :: (Car a)=> a -> Int
smp3 a=3

実行

ghci
:l sample1.hs  -- エラーが発生しないことを確認
-- Carのインスタンス、Cera2でsmp3を実行する
:t smp3 Cera2  -- type = smp3 Cera2 :: Color
:q

インスタンスとなれるのはdataで宣言された型のみです。

窓が割れることをどうするか？

Kenji — Mon, 25 Jul 2011 01:00:47 +0000

割れ窓理論という犯罪学上の理論があります。
詳しくはWikipediaに解説がありますのでこちらへ。

反証もあるようですので、学説の真偽については専門家に譲るとしても、
理論への納得感は大きいものがあります。
「小のルール違反を放置することにより大のルール違反を生み出す」
開発現場にこそ強く当てはまらないでしょうか？

開発現場の中には様々な規約・方針が存在します。
大きいものでは、
・法律
・社則
・セキュリティルール
etc

プロジェクト個別では、
・プロジェクトの運営ルール（ミーティングや報告方法など多数）
・ドキュメント規約
・コーディング規約
・テスト方針
etc

有無を言わさず違反ができない仕組みや、自動でチェックする仕組みがベストですが、
ちょっとした決まりごと（ここでは御作法と呼びます）は人手に頼ることは多くあります。
モラルと言い換えても良いかもれません。

プロジェクトの中で、よくあるケースはこうです。

御作法を決める ～光り輝く未来～
理想のプロジェクト像を夢みて、あるいはこれまでのプロジェクトの失敗を教訓として。
「ああしよう」「こうしよう」と大小様々な御作法を決めていきます。

御作法違反を許容する ～初めての例外～
緊急の対応などどうしても例外を”一時的”に許容しなければならない事態が、往々にして起こります。

御作法違反が増加する ～侵略する例外～
～初めての例外～を”一時的”なものとしておかず、
ついつい放置してしまうことにより、類似の違反が増殖していきます。
この時点で例外は例外ではなくなり、この御作法は死に体となります。

死に体の御作法が増加する ～御作法の失墜～
一つの御作法の死は、他の御作法の死へ波及していきます。
守らなくてもよい御作法があるのに、なぜ別の御作法は守らなくてはいけないのか？
その論に反論するのは難しいものです。

消火のポイントは、～初めての例外～　前後にあります。
対応方法は複数あります。

窓は割らせない = 意地でも守る
一番わかりやすい方法です。理想的すぎて「これができれば苦労しない」方法ではあります。

窓は割れても即座に修理する = “一時的”後に即座に修正する
御作法違反をあくまで”一時的”とすることです。
“一時的”な期間が短ければ短いほど、他の御作法へのマイナスの波及効果は少なくなります。

これは窓ではありません = 御作法を変える・やめる
なにがしか問題が出るということは御作法自体にも問題があるとも言えます。
逆説的ではありますが、大きな判断として御作法自体を”変える・やめる”ということもアリです。
ただし、”変える・やめる”を周知・徹底することが必要です。
ある御作法を止めはしたが、決して無法地帯にはしない、という強いメッセージは重要です。

現実的には例外の大小、御作法の種別により、これらを組み合わせていくと思います。
有耶無耶にしてほったらかしの状態はもっとも避けなければなりません。
目をつぶっても窓は割れます。

いずれにせよ重要なのは、例外が発生した場合の対応スピードと強い意志なのではないでしょうか。