MASABLOGGERS: Lispによる関数型プログラミング入門

SoftwareDesignの2015Aug を読んでLispに興味をもったので、何回かにわけて入門のメモを残す。

Lispの前に、関数型プログラミングの特徴から。

関数型プログラミング

グローバル変数や代入文など副作用を生じる機能を使わずにプログラミングを行う。

・従来の考え方

上記のように変数や配列などの状態をループなどを用いて変更し結果を得る

・関数型プログラミングの考え方

関数（主に高階関数）を利用して副作用無しに結果を得る

・関数型プログラミング向きの問題

状態をもたない再帰的な問題

→探索、整列

・人間には再帰的思考が向いている

数学的帰納法（具体的で小さい問題から大きな全体の問題へ向かう）

・並列処理に対する強み

状態を持たないので、並列処理を自然に（というのは同期や排他が必要無い）できる。

クラウドやビックデータ向きである。

・関数呼び出しに対する弱み

関数呼び出しはコストが大きいので、低機能コンピュータには向いていない。高機能コンピュータ上で並列処理するのに向いている。

・動的なプログラミングに対する強み

関数自身をオブジェクトとして扱えるため、動的な関数生成や変更をすることができる。（サービス指向コンピューティング）

・抽象的なプログラミングに対する強み

うまく作れれば、状態をもたないので仕様変更に柔軟であるはず。

・バグの現象

副作用が少ないので、バグの温床がつくられることを防げる。

Lisp

・言語仕様が小さい

・インタプリタ言語であり、実行が簡単

・GC、ラムダなど最近の言語では常識であるアイデアの元となった言語

・動的型付け（型推論ではない）

・かっこが多くて見難い

・前置記法が見難い

・動的型付けはリソースを食う

・数学的帰納法だと考えるとわかりやすい。

・再帰をみつける = 同じことの繰り返しをみつける。

例）

階乗：

・関数型

　→5(N)の階乗は4(N-1)の階乗の結果に5を掛けること

・手続き型

　→1 x 2 x 3 x 4 x 5

Lispのインストール（OSX）

	$ brew intall clisp
	$ clisp [~]
	i i i i i i i ooooo o ooooooo ooooo ooooo
	I I I I I I I 8 8 8 8 8 o 8 8
	I \ `+' / I 8 8 8 8 8 8
	\ `-+-' / 8 8 8 ooooo 8oooo
	`-__\|__-' 8 8 8 8 8
	\| 8 o 8 8 o 8 8
	------+------ ooooo 8oooooo ooo8ooo ooooo 8

	Welcome to GNU CLISP 2.49 (2010-07-07) <http://clisp.cons.org/>

	Copyright (c) Bruno Haible, Michael Stoll 1992, 1993
	Copyright (c) Bruno Haible, Marcus Daniels 1994-1997
	Copyright (c) Bruno Haible, Pierpaolo Bernardi, Sam Steingold 1998
	Copyright (c) Bruno Haible, Sam Steingold 1999-2000
	Copyright (c) Sam Steingold, Bruno Haible 2001-2010

	Type :h and hit Enter for context help.

	[1]>

view raw list_install.sh hosted with ❤ by GitHub

次回はLispの記法から。

MASABLOGGERS