Go 言語仕様の読書メモ

Go 言語をやってみようと思い立ち http://golang.org/ref/spec を読む.

# が行頭に来ているのは, 筆者自身のコメント

Introduction

汎用言語だとか GC あるとか仕様がコンパクトで (おそらく静的な) 解析しやすいよ, とか書いてある.

Notation

文法仕様の記述は EBNF だそうだ.

Source code representation

  • 文字コードは UTF-8 決め打ち
  • 大文字小文字は区別する
  • NUL 文字 (U+0000) は単に無視される

文字とか数字の定義

Lexical elements

Comments

コメントは java と同じ

Tokens

言語の構成物 (token) は, 識別子, キーワード, 演算子とデリミタ, リテラル

空白文字 (半角スペース, 水平タブ, CR, LF) は無視される

# 全角空白は空白文字とはされていないのか

改行やファイルの末尾には (次で定義する) セミコロンが挿入される

# Scala のようにセミコロンは省略可能, ということか

Semicolons

; が自動で挿入される条件

  1. 識別子
  2. 整数, 浮動小数点数, 虚数, ルーン, 文字列
  3. キーワード (break, continue, fallthrough, return)
  4. ++, --, ), ], }

の後

逆に )} まではセミコロンの挿入が回避される

# Scala と同じく () の中と {} の中の改行では挿入されないということか?

Identifiers

文字もしくは _ で始まり, 文字, _, 数字が続く

Keywords

break        default      func         interface    select
case         defer        go           map          struct
chan         else         goto         package      switch
const        fallthrough  if           range        type
continue     for          import       return       var

識別子には使えない

Operators and Delimiters

+    &     +=    &=     &&    ==    !=    (    )
-    |     -=    |=     ||    <     <=    [    ]
*    ^     *=    ^=     <-    >     >=    {    }
/    <<    /=    <<=    ++    =     :=    ,    ;
%    >>    %=    >>=    --    !     ...   .    :
     &^          &^=

Integer literals

0 始まりは 8 進数 0x 始まり, 0X 始まりは 16 進数

# Java と一緒

Floating-point literals

1.1 とか 13.4e-3 とか

Imaginary literals

複素数の虚数部分のみ

数値 (整数, 浮動小数点数) の後に i を付ける

Rune literals

色々な「文字」の表現 文字そのものとかコードポイントによる指定とか

' で囲われる

# rune って言葉は中二病っぽい

String literals

「文字」

" で囲われると, \ を使って特殊文字が入れられる ` で囲われると, 改行をそのまま書ける

Constants

(書きかけ)

「Java 開発者のための関数プログラミング」を読んで

Java 開発者のための関数プログラミング という本をとんぷーが翻訳した (「Java開発者ための関数プログラミング」が出版されました) というので ePub で買って読んでみた. 前からとんぷーが何か本を翻訳している話は聞いていたし, タイトルにすごく惹かれたので, 出てすぐに買い iPod touch に放り込んで主に寝ながら読んでいた.

(特にアプリは入れずに iBooks で読んでたけど, 本文に対してメモが取れるところが便利.)

内容について

おおよそタイトルから想像した通りの内容だったが, Java の動くソースコードをちゃんと書いて説明しているところにこの本の価値を感じる. 余談だが, bleis さんの Java の語彙で Maybe を説明してみる という記事も近いものに思う.

通常の Java クラスをモジュールとして使ったり, 継承を使った多態を否定して使わなかったり, Java プログラムとしては挑戦的な作りになっている. こういう「無茶しやがって」感が面白い. いわゆる関数型プログラミング言語に出てくる仕組みを別の仕組みを持つ Java で実装してみるというのは, その仕組みを複数の視点から見てより理解を深めることになる. Java で無理して関数プログラミングをすることで, 関数プログラミングのスタイルがどんなもので, どれだけ Java がそのスタイルに向いてないかが良く分かる.

内容が「関数プログラミングで書くと何が良いか?」という一貫した視点で書かれていて読み易い. 色んな論点を網羅的に扱っているところも有難い. もちろん翻訳された日本語に不自然さがないところも素晴しい. 通しで読めば1日で読めてしまうのではないだろうか?

(内容も文体もどことなくブログ記事っぽく感じるのは何故なのだろう)

クスッとしたとこ

意図的かは分からないが, 原著のタイトルの "functional programming" を「関数型プログラミング」でなく「関数プログラミング」と訳したのはけっこう好き. たぶんとんぷーのことなので意図的なんだろう.

「Customerクラスは顧客に関するすべての情報を突っ込む福袋のようになっていました」というところ.「福袋」という表現がぴったりハマっていて小粋なところがにくい.

「Nullとはなんだったのか」という節のタイトル. よくブログ記事とかで見るが, null の面倒さを知ってるとウンウンと頷くタイトルだ.

本筋とは全く関係無いが, クラス NaturalNumbers に定数 (public static final なフィールド) ZERO があるということは, 著者は「0 は自然数」の人なんですね. そうなんですね.

誤植

「本書で使用されている表記規則」

半角の閉じ括弧 (")") が余計.

固定幅文字(Constant width))
                          ^

System Message: WARNING/2 (<string>, line 43)

Literal block ends without a blank line; unexpected unindent.

「コンビネータ関数:コレクションの強力なツール」

組版ツールの関係だろうが, 何やら不思議な文字列が残っている. たぶん "@" というのが特殊記号なのだろう.

filterは「head」と@「<tt>{filter}をtailに適用した結果」
                  ^  ^^^^^^^^^^^^

(指摘されるとけっこう凹むのだが, 気付いてしまったので一応報告)

おわりに

Java で関数プログラミングをしてみる, という1つの発想から書かれた本ですごく読み易い. 関数プログラミングの仕組みについて頭を整理するのにも良い.

既に関数プログラミングを理解している人は読む必要はあまり無いが, 既存の解説読んでもピンと来なかった人が読むと良いかもしれない. 人によって理解が進む解説は様々なので, 色々なスタイルの解説があることはとてもよいことだ.

こういった文章を書いて, プログラミングをする人達に貢献していくことも素敵なことだと思う.

とにかく読んでて楽しい本でした.

Licenses