この記事は (bouzuya) PureScript Advent Calendar 2016 の 12 日目。 (bouzuya) PureScript Advent Calendar 2016 は bouzuya の PureScript 学習の記録だ。
- ← 11 日目『 PureScript by Example 4 章の後半を読む - Qiita 』
- → 13 日目『 PureScript by Example の 5 章の前半を読む - Qiita 』
概要
PureScript by Example と PureScript Language Guide を見ながら進めていく。今日は PureScript by Example の 4 章の残りと [PureScript by Example の 5 章][purescript-by-example-5]の前半を読む。
PureScript の 0.10.3 が出たことに合わせているのか、 Language Guide を含むドキュメントが Wiki から purescript/documentation リポジトリに移動されたようだ。
※注意事項: 英語と日本語訳では大きな差異がある。0.10.x に対応している英語の側で進める。
- PureScript by Example 2016-12-05 時点で 0.10.x 向け
- 実例による PureScript 2016-12-05 時点で 0.7 向け
- PureScript Language Guide 対象バージョン不明
PureScript by Example 4.16
PureScript by Example の 4 章のために用意された Data.Path モジュールを使って、仮想のファイルシステムで動く関数を作っていく。
[purescript-book の Data.Path][purescript-book-data-path]
> import Data.Path (root, ls, filename, size, isDirectory)
> :t root
Path
> :t ls
Path -> Array Path
> :t filename
Path -> String
> :t size
Path -> Maybe Int
> :t isDirectory
Path -> Boolean
> root
/
> isDirectory root
true
> ls root
[/bin/,/etc/,/home/]
確かに。
PureScript by Example 4.17
allFiles :: Path -> Array Path
allFiles file = file : concatMap allFiles (ls file)
allFiles' :: Path -> Array Path
allFiles' file = file : do
child <- ls file
allFiles' child
cons の operator alias である (:) を使っている。不変の array では cons のパフォーマンスに問題があるので、linked list か sequence を使え、とのこと。ふむ。実装的には Array.prototype.concat みたい。
Pursuit:
これで 4 章は終わり。次は 5 章。
PureScript by Example 5.1
代数的データ型 (algebraic data type) とパターンマッチ (pattern matching) および行多相 (row polymorphism) を扱うらしい。
この章ではシンプルなベクターグラフィックスの操作ライブラリを書くようだ。
PureScript by Example 5.2
ソースコードは paf31/purescript-book の exercises/chapter5/
bower.json の dependencies は次のとおりだ。
"purescript-arrays": "^3.0.0"
"purescript-console": "^2.0.0"
"purescript-globals": "^2.0.0"
"purescript-math": "^2.0.0"
Pursuit:
- purescript-arrays - Pursuit
- purescript-console - Pursuit
- purescript-globals - Pursuit
- purescript-math - Pursuit
src/Data/Picture.purs を見ると次のように import されている。
module Data.Picture where
import Prelude
import Data.Foldable (foldl)
import Global as Global
import Math as Math
as キーワードを使っている。
Language Guide:
Qualified Imports - Language Guide
これを使うと、名前の衝突を回避できる。
> import Global as Global
> :t isNaN
Error found:
in module $PSCI
at line 1, column 1 - line 1, column 2
Unknown value isNaN
See https://github.com/purescript/purescript/wiki/Error-Code-UnknownName for more information,
or to contribute content related to this error.
> :t Global.isNaN
Number -> Boolean
> :t Global.encodeURI
String -> String
ちなみに例が明示されていないが、組み合わせて使うこともできるようだ。
> import Global (isNaN) as Global
> :t Global.isNaN
Number -> Boolean
> :t Global.encodeURI
Error found:
in module $PSCI
at line 1, column 1 - line 1, column 9
Unknown value Global.encodeURI
See https://github.com/purescript/purescript/wiki/Error-Code-UnknownName for more information,
or to contribute content related to this error.
まとめ
すごく中途半端だけど、時間の都合でここで区切り。
4 章を終えた。 5 章に入ったけど、まだ代数的データ型もパターンマッチも出てきていない……。
参考
- PureScript by Example
- 実例による PureScript
- paf31/purescript-book
- Language Guide
- Language Guide - Qualified Imports
- Pursuit - cons - Data.Array - purescript-arrays
- Pursuit - (:) - Data.Array - purescript-arrays
- Pursuit - purescript-arrays
- Pursuit - purescript-console
- Pursuit - purescript-globals
- Pursuit - purescript-math
次回以降の TODO
- PureScript by Example & PureScript Language Guide を読み進める
-
Array以外でのdo記法 - Tagged Unions / Newtype
psc-package- PureScript IDE の導入
- 24 Days of PureScript, 2016
- 24 Days of PureScript, 2014
- 某氏の記事の紹介
- github.com/purescript のコードを読む
- github.com/purescript-node のコードを読む
- github.com/purescript-contrib のコードを読む