Haskell - リスト処理の例 - 数を言葉に変換する

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第5章(リスト処理の例)、5.1(数を言葉に変換する)、練習問題5.1.1、5.1.2、5.1.3、5.1.4、5.1.5を取り組んでみる。

Haskell - リスト - 畳み込み則(第3双対定理、foldr、融合定理、結合律、単位元、分配律)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第4章(リスト)、4.6(畳み込み則)、練習問題4.6.1、4.6.2、4.6.3、4.6.4、4.6.5、4.6.6、4.6.7、4.6.8、4.6.9、4.6.10を取り組んでみる。

Haskell - リスト - 畳み込み (fold) 関数(左走査(scan left)、右走査(scan right))

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第4章(リスト)、4.5(畳み込み (fold) 関数)、練習問題4.5.1、4.5.2、4.5.3、4.5.4、4.5.5、4.5.6、4.5.7、4.5.8、4.5.9、4.5.10、4.5.11、4.5.12を取り組んでみる。

Haskell - リスト - zip(unzip, cross, map, pair, fst, snd)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第4章(リスト)、4.4(zip)、練習問題4.4.1、4.4.2、4.4.3を取り組んでみる。

Haskell - リスト - map と filter(リスト内包表記、コンビネータ)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第4章(リスト)、4.3(map と filter)、練習問題4.3.1、4.3.2、4.3.3、4.3.4、4.3.5、4.3.6、4.3.7、4.3.8、4.3.9、4.3.10、4.3.11を取り組んでみる。

Haskell - リスト - リスト演算((++)連結、concat、reverse、length、headとtail、initとlast、takeとdrop、リストのインデックス)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第4章(リスト)、4.2(リスト演算)、練習問題4.2.1、4.2.2、4.2.3、4.2.4、4.2.5、4.2.6、4.2.7、4.2.8、4.2.9、4.2.10、4.2.11、4.2.12、4.2.13を取り組んでみる。

Haskell - リスト - リストの表記法(データ型としてのリスト、リスト上の帰納法、head、last、null、==)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第4章(リスト)、4.1(リストの表記法)、練習問題4.1.1、4.1.2、4.1.3、4.1.4を取り組んでみる。

Haskell - 数値 - チャーチ数

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第3章(数値)、3.7(チャーチ数)、練習問題3.7.1、3.7.2、3.7.3、3.7.4を取り組んでみる。

Haskell - 数値 - 例: 線形探索と二分探索(平方根の計算、近似値)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第3章(数値)、3.6(例: 線形探索と二分探索)、練習問題3.6.1、3.6.2、3.6.3、3.6.4を取り組んでみる。

Haskell - 数値 - 例: 有理数

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第3章(数値)、3.5(例: 有理数)、練習問題3.5.1、3.5.2を取り組んでみる。

Haskell - 数値 - Haskellの数値(div、mod)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第3章(数値)、3.4(Haskellの数値)、練習問題3.4.1、3.4.2、3.4.3を取り組んでみる。

Haskell - 数値 - 畳み込み関数(融合)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第3章(数値)、3.3(畳み込み関数)、練習問題3.3.1、3.3.2、3.3.3、3.3.4を取り組んでみる。

Haskell - 数値 - 帰納法(完全帰納法、プログラム合成)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第3章(数値)、3.2(帰納法)、練習問題3.2.1、3.2.2、3.2.3、3.2.4、3.2.5、3.2.6、3.2.7を取り組んでみる。

Haskell - 数値 - 自然数(再帰的データ型宣言)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第3章(数値)、3.1(自然数)、練習問題3.1.1、3.1.2、3.1.3、3.1.4、3.1.5を取り組んでみる。

Haskell - 単純なデータ型 - 文字列(型クラス Show)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第2章(単純なデータ型)、2.7(文字列)、練習問題2.7.1、2.7.2、2.7.3を取り組んでみる。

Haskell - 単純なデータ型 - 型シノニム(type, data, newtype)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第2章(単純なデータ型)、2.6(型シノニム)、練習問題2.6.1、2.6.2を取り組んでみる。

Haskell - 単純なデータ型 - その他の型(Either a b)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第2章(単純なデータ型)、2.5(その他の型)、練習問題2.5.1、2.5.2を取り組んでみる。

Haskell - 単純なデータ型 - 組(タプル)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第2章(単純なデータ型)、2.4(組(タプル))、練習問題2.4.1、2.4.2、2.4.3、2.4.4を取り組んでみる。

Haskell - 単純なデータ型 - 列挙(方角、東西南北)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第2章(単純なデータ型)、2.3(列挙)、練習問題2.3.1、2.3.2、2.3.3を取り組んでみる。

Haskell - 単純なデータ型 - 文字(Data.Char module)

関数プログラミング入門
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Haskell (プログラミング言語)
• Haskell Platform(ghci)(処理系)

関数プログラミング入門(Richard Bird (著)、山下伸夫 (翻訳)、オーム社)の第2章(単純なデータ型)、2.2(文字)、練習問題2.2.1、2.2.2を取り組んでみる。