プログラミング学習の記録 354.2「『Programming F#』 Chris Smith 著のⅠ部(マルチパラダイムプログラミング),3章(関数プログラミング),2.6, 7, 8

開発環境

• Microsoft Windows 7 Home Premium (OS)
• Microsoft Visual Studio 2010(Visual Studio 2010 Shell + F# Community Technology Preview(CTP)(F# Compiler and F# for Visual Studio)) (IDE)
• 言語: F# (A Functional Programming Langage)

「『Programming F#』 Chris Smith 著、Copyright 2010 Chris Smith、ISBN 978-9-596-15364-9、邦題『プログラミング F#』 オライリー・ジャパン刊、ISBN 978-4-87311-466-8」のⅠ部(マルチパラダイムプログラミング)、3章(関数プログラミング)を参考に学習。3.2(パターンマッチ)の3.2.6(データの構造に対するマッチ), 3.2.6.1(組), 3.2.6.2(リスト), 3.2.7(マッチ式の外側),の3.2.7.1(letバインディング), 3.2.7.2(匿名関数), 3.2.7.3(ワイルドカードパターン), 3.2.8(ラムダ記法への置き換え)まで。

FSI(F# Interactive)

Microsoft (R) F# 2.0 Interactive build 4.0.30319.1 Copyright (c) Microsoft Corporation. All Rights Reserved. For help type #help;; > // 組 let testXor x y = match x,y with | tuple when fst tuple <> snd tuple -> true | true, true -> false | _, _ -> false;; val testXor : bool -> bool -> bool > textXor true true;; textXor true true;; ^^^^^^^ stdin(8,1): error FS0039: The value or constructor 'textXor' is not defined > testXor true true;; val it : bool = false > testXor true false;; val it : bool = true > testXor false true;; val it : bool = true > testXor flase false;; testXor flase false;; --------^^^^^ stdin(12,9): error FS0039: The value or constructor 'flase' is not defined > testXor false false;; val it : bool = false > // リスト let rec listLength l = match l with | [] -> 0 | [_] -> 1 | [_; _] -> 2 | [_; _; _] -> 3 | had :: tail -> 1 + listLength tail;; val listLength : 'a list -> int > listLength [];; val it : int = 0 > listLength [1;2];; val it : int = 2 > listLength ['a'; 'b'; 'c'; 'd'; 'e'];; val it : int = 5 > listLength ["abcdef"];; val it : int = 1 > > // オプション let describeOption o = match o with | Some(42) -> "答えは42ですが、問題は何だったでしょう?" | Some(x) -> sprintf "答えは%dです" x | None -> "答えが見つかりません";; val describeOption : int option -> string > // オプション型がよくわかっていないのでとりあえずNoneで使ってみる describeOption None;; val it : string = "答えが見つかりません" > let rec listLength theList= match theList with | [] -> 0 | [_] -> 1 | [_; _] -> 2 | [_; _; _] -> 3 | hd :: tail -> 1 + listLength tail;; val listLength : 'a list -> int > [1;2];; val it : int list = [1; 2] > let rec listLength theList = match theList with | [] -> 0 | [_] -> 1 | [_; _] -> 2 | [_; _; _] -> 3 | hd :: tail -> 1 + listLength tail;; val listLength : 'a list -> int > listLength [];; val it : int = 0 > listLength ['a';'b';'c';'d';'e'];; val it : int = 5 > // functionキーワードを使う let rec funListLength = function | [] ->0 | [_] -> 1 | [_; _] -> 2 | [_; _; _] -> 3 | hd :: tail -> 1 + funListLength tail;; val funListLength : 'a list -> int > funListLength [1 .. 100];; val it : int = 100 >