P.17　見出し「Standard ML（SML）」の参考URLについてh4>

SML実装はかなりの数がありますが，代表的なSML実装としてはSML/NJ（http://www.smlnj.org/）があります。ほかにも東北大のSML#（http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/）が産学連携でERPシステムを開発するなどしています。

お詫びと訂正（正誤表）

本書掲載の記述に誤りがありました。ここに訂正し，深くお詫び申し上げます。

（2016年11月28日更新）

※以下，第1刷以降，および電子版が該当。

P.68　注4

誤	... デバッガとその使いさすさの重要性が ...
正	... デバッガとその使いやすさの重要性が ...

P.81　本文1行め

誤	不適切な変更後のC言語プログラム（リスト1.10）
正	不適切な変更後のC言語プログラム（リスト1.9）

P.117　ページ内一番下のghciにおける実行例　下から6行めと、その出力

誤	Prelude> ([1::Int] ++ [2::Int]) :: Double <interactive>:2:2: Couldn't match expected type ‘Double’ with actual type ‘[Int]’ In the expression: ([1 :: Int] ++ [2 :: Int]) :: Double In an equation for ‘it’: it = ([1 :: Int] ++ [2 :: Int]) :: Double
正	Prelude> ([1::Int] ++ [2::Int]) :: [Double] <interactive>:2:3: Couldn't match expected type ‘Double’ with actual type ‘Int’ In the expression: 1 :: Int In the first argument of ‘(++)’, namely ‘[1 :: Int]’ In the expression: ([1 :: Int] ++ [2 :: Int]) :: [Double]

P.135　2行め

誤	次にS、how
正	次に、Show

P.148　3行め

誤	12と15の最小公倍数である3
正	12と15の最大公約数である3

P.154　ページ内のSquare.hs

誤	Square.hs
正	Sample.hs

P.161　下から3行め

誤	あるガード条件が疑になったとき
正	あるガード条件が偽になったとき

P.193　下から8行め〜

誤	tarai 10 20 ...という形になるため，この時点yがx以上であることが判明し，3つめの引数を計算するまでもなく結果として20を得られるはずです．
正	tarai1 4 ...という形になるため，この時点でyがx以上になっていることが判明し，3つめの引数を計算するまでもなく結果として4を得られるはずです．

P.194　図4.1：C++版たらい回し関数の様子

誤
正

P.194　図4.2：Haskell版たらい回し関数の様子

誤
正

P.205　簡約パターンの2つめのリストの，1行め〜2行め

誤	(\x -> x + x) ((\x -> x + x) a)
正	(\x -> x + x) ((\x -> x + x) 1)

P.224　2行め

誤	Maube
正	Maybe

P.225　下から2行め

誤	定義した対して
正	定義した型に対して

P.226　リスト5.1：キャプション

誤	ToInt.hs
正	toint.cpp

P.227　リスト5.2：キャプション

誤	toint.cpp
正	ToInt.hs

P.228　最下行

誤	確認にしておきます
正	確認しておきます

P.238　1つめのサンプルコード中（2）のコメント

誤	yにアクションgに適用
正	yにアクションgを適用

P.238　12行め

誤	yにアクションgに適用
正	yにアクションgを適用

P.242　eval exprのコード内の4行めおよび5行め

誤	toBinOp sop >>= ¥b -> toNum sb >>= ¥c ->
正	toBinOp sop >>= ¥op -> toNum sb >>= ¥b ->

P.246　ページ中ほどのサンプルコード内の1行めおよび2行め内

誤	n mod p
正	n `mod` p

P.249　10-11行め

誤	アクション同士を組み合わせ
正	アクション同士の組み合わせ

P.261　「副作用を扱えるのに純粋と言える理由」内：本文リスト

誤	Moand m => x -> m a
正	Monad m => x -> m a

P.262　15-16行め

誤	なっていつ必要があります
正	なっている必要があります

P.264　見出し「Optionalクラス」内，1つめのリストの3行め

誤	Optional< Wallet > wallet = person.getWallet();
正	Optional< Wallet > wallet = person.get().getWallet();

P.264　見出し「Optionalクラス」内，1つめのリストの5行め

誤	Optiona< Money > money = wallet.getMoney(10000);
正	Optional< Money > money = wallet.get().getMoney(10000);

P.264　見出し「Optionalクラス」内，2つめのリストの4行め

誤	.flatMap(wallet -> wallet.getMoney(100))
正	.flatMap(wallet -> wallet.getMoney(10000))

P.265　見出し「メソッドチェーンの弊害」内，1つめのリスト

誤

Optional< Person > person = persons.find("Alice"); if (person1.isPresent()) { // Aliceがいて Optional< Pocket > pocket = person.getPocket(); if (pocket.isPresent()) { // ポケットがあって Optiona< Money > ticket = pocket.getTicket(); if (ticket.isPresent() ) { // 引換券を持っている Optional< Wallet > wallet = person.getWallet(); if (wallet.isPresent()) { // 財布を持っていて Optiona< Money > money = wallet.getMoney(10000); if (money.isPresent()) { // 10000円入っている pay(ticket.get(), money.get()); } } } } }

正

Optional< Person > person = persons.find("Alice"); if (person1.isPresent()) { // Aliceがいて Optional< Pocket > pocket = person.get().getPocket(); if (pocket.isPresent()) { // ポケットがあって Optional< Ticket > ticket = pocket.get().getTicket(); if (ticket.isPresent() ) { // 引換券を持っている Optional< Wallet > wallet = person.get().getWallet(); if (wallet.isPresent()) { // 財布を持っていて Optional< Money > money = wallet.get().getMoney(10000); if (money.isPresent()) { // 10000円入っている pay(ticket.get(), money.get()); } } } } }

P.265　見出し「メソッドチェーンの弊害」内，2つめのリスト

誤	persons .find("Alice") .isPresent(person -> person.getTicket() .ifPresent(ticket -> person.getWallet() .flatMap(wallet -> wallet.getMoney(100)) .ifPresent(money -> pay(ticket, money))))
正	persons .find("Alice") .isPresent(person -> person.getPocket() .flatMap(pocket -> pocket.getTicket() .ifPresent(ticket -> person.getWallet() .flatMap(wallet -> wallet.getMoney(10000)) .ifPresent(money -> pay(ticket, money)))))

P.265　ページ中ほどのJavaサンプルコード内の2行め

誤	if (person1.isPresent()) {
正	if (person.isPresent()) {

P.266　見出し「メソッドチェーンの弊害」内，3つめのリスト

誤	find "Alice" persons >>= \person -> getTicket person >>= \ticket -> getWallet person >>= \wallet -> getMoney 100 wallet >>= \money -> pay ticket money
正	find "Alice" persons >>= \person -> getPocket person >>= \pocket -> getTicket pocket >>= \ticket -> getWallet person >>= \wallet -> getMoney 10000 wallet >>= \money -> pay ticket money

P.266　見出し「メソッドチェーンの弊害」内，4つめのリスト

誤	do person <- find "Alice" persons ticket <- getTicket person wallet <- getWallet person money <- getMoney 100 wallet pay ticket money
正	do person <- find "Alice" persons pocket <- getPocket person ticket <- getTicket pocket wallet <- getWallet person money <- getMoney 10000 wallet pay ticket money

P.278　ページ最上部のサンプルコード内のコメント部分

誤	--- --- <<< rle “A”
正	--- "" --- <<< rle “A”

P.306　サンプルコード内の上から5行めおよび下から3行め

誤	mkPowerOf2
正	makePowerOf2

P.330　17行め

誤	見らることができます
正	見ることができます

P.351　コラム中，3行め

誤	適切に行わなければ
正	適切に行われなければ

P.359　14行め

誤	時期バージョン
正	次期バージョン

P.369　26行め

誤	与える（hacking）することができます
正	与えること（hacking）ができます

P.372　2行め

誤	代入がによる変更
正	代入による変更

以下，第1刷のみ。第2刷以降および最新の電子版では修正済み。

P.28　注38
P.33　14行め
P.39　15行め

誤	参照等価性
正	参照透過性

P.33　6行め

誤	手続きの中にであっても
正	手続きの中であっても

P.73　箇条書き1-1

誤	処理が有効値を返せば引き続きその値を有効値を返す
正	処理が有効値を返せば引き続きその値を有効値として返す

P.74　サンプルコード最終行

誤	expr
正	eval

P.112　図2.3中

誤
正