型

Haskell

第3章に入りました。

最初は型です。Haskellは静的な型チェックがあるけど型推論という機能で型を推測するので、型を明示的にかかなくても良いですよとのこと。とは言いつつも、明示的に宣言しておいた方が人間にとって分かりやすいので宣言するのは良いことですと書かれています。

型の宣言はこう。

関数名 :: 第1引数の型 -> 第2引数の型 -> … -> 第n引数の型 -> 戻り値の型

戻り値は必ず一つなのですよね？　だからこのようの書き方になっているのでしょうけど、引数と戻り値の間は違う記号の方が見やすいような気がします。慣れでしょうけど。

型変数という概念が新しく出てきました。C++のtemplateと似ていますね。

戻り値

Haskell

コメントありがとうございます。

a -> b -> c の戻り値は b -> c なのさー。

とすると引数は一つずつということなのですね。動きとしてはこんな感じでしょうか。

  f(a, b) = a + b
という定義をした場合に
  f(5, 3)
と呼び出した時は
  g(c) = 5 + c
という関数gが戻ってきて
  g(3)
が呼び出されて
  8
が返ってくると。

本を読み進めると分かるのかな？

Perl

一つの記事にいくつかまとまっているとついでに新しいことまで覚えられて良いですね。Perl表技集でも同じようなサンプルを紹介しているのですがばらばらなので、せっかくなのでWindows関連ネタだけ抜き出してみようと思います。

さすがに中身を全部書き出すのは大変なのでリンクだけ。