この記事は (bouzuya) PureScript Advent Calendar 2016 の 19 日目。 (bouzuya) PureScript Advent Calendar 2016 は bouzuya の PureScript 学習の記録だ。

← 18 日目『 PureScript by Example の 5.15 を読む - Qiita 』
→ 20 日目『 PureScript by Example の 6.4 を読む - Qiita 』

概要

PureScript by Example を PureScript Language Guide や Pursuit を見ながら進めていく。

今日は 6.1, 6.2, 6.3 を読む。ソースコードの例は [purescript-book の exercises/chapter6][purescript-book-chapter-6] にある。

※注意事項: 英語と日本語訳では大きな差異がある。0.10.x に対応している英語の側で進める。

PureScript by Example 2016-12-05 時点で 0.10.x 向け
実例による PureScript 2016-12-05 時点で 0.7 向け
PureScript Language Guide 対象バージョン不明

PureScript by Example 6.1

この章では型クラス (type classes) を扱うらしい。

PureScript by Example 6.2

この章のための package は次のとおり。ソースコードは上記のは [purescript-book の exercises/chapter6][purescript-book-chapter-6] にある。

purescript-maybe
purescript-tuples
purescript-either
purescript-strings
purescript-functions

名前からはとても基本っぽい package が並んでいるように思える。

PureScript by Example 6.3

型クラス Show とそのインスタンス Show Boolean が挙げられている。実際のコードは purescript-prelude パッケージの https://github.com/purescript/purescript-prelude/blob/970637279c95bf4a4c371aaac921cc42d5c6137d/src/Data/Show.purs#L9-L14 。

class Show a where
  show :: a -> String

instance showBoolean :: Show Boolean where
  show true = "true"
  show false = "false"

Show は 2016-12-04 以降に何度も出てきた show を適用できることを表す型クラスだ。2016-12-07 でも触れたとおり Show インスタンスは show を適用できる。 show :: a -> String から分かるとおり、任意の型から文字列に変換する関数だ。 JavaScript で言うところの Object.prototype.toString() のようなものだ。

class / instance は初出だ。型クラスを定義するキーワードと、インスタンスを定義するキーワードだ。

型クラス・インスタンスは Java などにおけるクラス・インスタンスとは違う点に注意。ぼくは型におけるクラスとそのインスタンスとしての型……のイメージで見ている。型クラスは Java で言うとインタフェースが近いように思う。

Data.Tuple や Data.Either に対しての show を試す例が続く。注目したいのは show (Left 10) におけるエラーだろうか。

> import Prelude
> import Data.Either
> show (Left 10)
Error found:
in module $PSCI

  The inferred type

    forall t2. (Show t2) => String

  has type variables which are not mentioned in the body of the type. Consider adding a type annotation.

in value declaration it

See https://github.com/purescript/purescript/wiki/Error-Code-AmbiguousTypeVariables for more information,
or to contribute content related to this error.

これは Left 10 から型を推論できないことによるもの。 Either a b のうち a は Int だと分かるが b が分からない。

こういう場合には :: 演算子を使う。

> show (Left 10 :: Either Int String)
"(Left 10)"

関数などが Show インスタンスでないことにも触れられている。

> import Prelude
> show (\n -> n + 1)
Error found:
in module $PSCI
at  line 1, column 1 - line 1, column 18

  No type class instance was found for

    Data.Show.Show (Int -> Int)


while inferring the type of show (\n ->
                                    (add n) 1
                                 )
while applying a function show
  of type forall a. (Show a) => a -> String
  to argument \n ->
                (add n) 1
in value declaration it

See https://github.com/purescript/purescript/wiki/Error-Code-NoInstanceFound for more information,
or to contribute content related to this error.

なるほど。

まとめ

とりあえず今日は Show だけ。

次回以降の TODO

PureScript by Example & PureScript Language Guide を読み進める
Array 以外での do 記法
psc-package
24 Days of PureScript, 2016
24 Days of PureScript, 2014
某氏の記事の紹介
github.com/purescript のコードを読む
github.com/purescript-node のコードを読む
github.com/purescript-contrib のコードを読む