この記事は (bouzuya) PureScript Advent Calendar 2016 の 5 日目です。 (bouzuya) PureScript Advent Calendar 2016 は bouzuya の PureScript 学習の記録です。

← 4 日目『 PureScript の Getting Started を読む & 続 psci を試す - Qiita 』
→ 6 日目『 PureScript by Example 2 章を読む - Qiita 』

概要

今日からは PureScript by Example と PureScript Language Guide を見ながら進めていきます。

PureScript by Example には @hiruberuto 氏による翻訳 (へのリンクとその紹介) があります。2016-12-05 時点では PureScript 0.7 向けのものの翻訳になっています。この記事にも書いてありますが、 PureScript 0.10.2 とは非互換の部分が多数あるので、注意が必要です。

ちなみに、ぼくが PureScript by Example を読んだのは 0.9 向けの分なのですが、先日 ( 2016-12 に入ってからだったかな ) 、0.10 向けの PureScript by Example が公開されました。きちんと保守されていて素晴らしいです。ぼくは購入済みだったので、メールで更新の通知がきました。

PureScript by Example 2016-12-05 現在 0.10 向け
実例による PureScript 2016-12-05 現在 0.7 向け
PureScript Language Guide 対象バージョン不明

PureScript by Example 1.1

JavaScript での関数型プログラミングを紹介しています。関数型プログラミングの強力さに触れつつも、 JavaScript でそれをしようとすると冗長さ・型付け・強力な抽象化を欠いているので、問題があると書かれています。

PureScript はその問題を解決するためにあるようです。軽量な構文・強力な抽象化を提供する型システム・読めるコードを高速に生成・ JavaScript との相互運用などの特徴があると書かれています。

言語の特徴だけで言えば、www.purescript.org のページ下部にキーワードで書かれていますね。

Algebraic data types
Pattern matching
Type inference
Type classes
Higher kinded types
Rank-N types
Extensible records
Extensible effects
Modules
Simple FFI
No runtime system
Human-readable output

まとめとして、 PureScriptは純粋関数型プログラミングの理論的な能力さと、fast-and-loose な JavaScript のプログラミングスタイルとの間で、実用的なバランスを取れているとのことです。

ふむ。

PureScript by Example 1.2

翻訳をしたいわけではないので、要約のみで飛ばしていきます。

PureScript は静的型付け言語 (statically typed language) です
PureScript は ML や Haskell の型に影響されています
PureScript は型推論 (type inference) をサポートしています
PureScript は Haskell で知られる型クラス (type classes) を提供します

ふむ。

PureScript by Example 1.3

関数の型などを提供することで、既存の JavaScript をインポートできます
開発の一部分にだけ PureScript を使うこともできます

ふむ。

PureScript by Example 1.4

PureScript by Example の前提条件について
PureScript のコンパイラーはバイナリーでダウンロードするか Haskell の最新環境でソースからビルドできます
PureScript by Example は PureScript 0.10.* を対象にします

ふむ。

PureScript by Example 1.5

PureScript by Example の読者について
JavaScript の基礎は知っている前提
NPM や Gulp のような JavaScript エコシステムを知っていると標準設定をカスタマイズするのに良いですが、必須ではありません
関数型プログラミングの事前知識は必須ではありません
Haskell に慣れていると考え方や構文が分かるでしょうが、同じだとは思わないほうがいいです

ふむ。

PureScript by Example 1.6

読みかた
各章ごとに完結していますが、まずは前から読むと良いです
関数型プログラミングの考え方に慣れているなら、前半を読まなくてもある程度の理解を得られます
各章は新しい考え方のための動機づけとしてひとつの実用的な例に焦点をあてます
PureScript 初心者への導入を目的としています

ふむ。

PureScript by Example 1.7

GitHub の Organization は読み飛ばしていた。実例を見るうえで良さそう。

PureScript by Example 1.8

著者について
PureScript コンパイラーのオリジナルの開発者
Haskell スキー
著者の Blog
著者の Twitter

ふむ。フォローしました。

PureScript by Example 1.9

謝辞

スルー。

まとめ

1 章は概要だけでほとんどコードが出てこなかったので微妙でした。あと翻訳っぽくなるの良くないので、次から避けます。GitHub の organization あとで見ます。

次回以降の TODO

psc-package
PureScript by Example & PureScript Language Guide を読み進める
24 Days of PureScript, 2016
24 Days of PureScript, 2014
某氏の記事の紹介