プログラミング学習の記録 337.1「『Programming F#』 Chris Smith 著のⅠ部(マルチパラダイムプログラミング)、2章(基本事項)

開発環境

• 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」のⅠ部(マルチパラダイムプログラミング)、2章(基本事項)を参考に学習。2.2(比較および同値性), 2.3(関数)の2.3.1(型推論), 2.3.2(ジェネリック関数), 2.3.3(スコープ), 2.3.4(制御フロー)。

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 printTruthTable f= printfn " | true | false |" printfn " +-------+-------+" printfn " | %5b | %5b |"(f true true) (f true false) printfn " false | %5b | %5b |"(f false true) (f false false) printfn " +-------+-------+" printfn "" ();; val printTruthTable : (bool -> bool -> bool) -> unit > printTruthTable(&&);; | true | false | +-------+-------+ | true | false | false | false | false | +-------+-------+ val it : unit = () > printTruthTable(||);; | true | false | +-------+-------+ | true | true | false | true | false | +-------+-------+ val it : unit = () > compare 31 31;; val it : int = 0 > compare 30 31;; val it : int = -1 > compare 31 32;; val it : int = -1 > compare 31 30;; val it : int = 1 > let square x=x*x;; val square : int -> int > square 11;; val it : int = 121 > square 1;; val it : int = 1 > square 2;; val it : int = 4 > square 3;; val it : int = 9 > square 4;; val it : int = 16 > square 5;; val it : int = 25 > let addOne x=x+1;; val addOne : int -> int > addOne 0;; val it : int = 1 > addOne 1;; val it : int = 2 > let add x y=s+y;; let add x y=s+y;; ------------^ stdin(26,13): error FS0039: The value or constructor 's' is not defined > let add x y=x+y;; val add : int -> int -> int > add 1+2;; add 1+2;; ------^ stdin(28,7): error FS0001: The type 'int' does not match the type 'int -> int' > add 1 2;; val it : int = 3 > add 10 11;; val it : int = 21 > add 1.0 2.0;; add 1.0 2.0;; ----^^^ stdin(31,5): error FS0001: This expression was expected to have type int but here has type float > let mult x y=x*y;; val mult : int -> int -> int > mult 1 2;; val it : int = 2 > mult 2 3;; val it : int = 6 > // 型推論を働かせる let mult x y=x*y let result=mult 4.0 5.5;; val mult : float -> float -> float val result : float = 22.0 > let add (x:float) y=x+y;; val add : float -> float -> float > add 1.2 2.3;; val it : float = 3.5 > add 1 2;; add 1 2;; ----^ stdin(40,5): error FS0001: This expression was expected to have type float but here has type int > let ident x=x;; val ident : 'a -> 'a > ident "a string";; val it : string = "a string" > ident 1234L;; val it : int64 = 1234L > let ident2(x:'a)=x;; val ident2 : 'a -> 'a > // スコープ let moduleValue=10 let functionA x= x+moduleValue;; val moduleValue : int = 10 val functionA : int -> int > let functionB x= let functionValue=20 x+functionValue functionValue;; functionValue;; ^^^^^^^^^^^^^ stdin(53,1): error FS0039: The value or constructor 'functionValue' is not defined > let ModuleValue=1 let f fParam= let g gParam=fParam+gParam+moduleValue let a=g 1 let b=g 2 a+b;; val ModuleValue : int = 1 val f : int -> int > f 1;; val it : int = 25 > f 2;; val it : int = 27 > f 3;; val it : int = 29 > f 4;; val it : int = 31 > f 1;; val it : int = 25 > let bytesToGB x= let x=x/1024I let x=x/1024I let x=x/1024I x;; val bytesToGB : System.Numerics.BigInteger -> System.Numerics.BigInteger > let hardDriveSize=bytesToGB 268435456000I;; val hardDriveSize : System.Numerics.BigInteger = 250 > let printGreeting shouldGreet greeting= if shouldGreet then printfn "%s" greeting;; val printGreeting : bool -> string -> unit > printGreeting true "こんにちは!";; こんにちは! val it : unit = () > printGreeting false "もう一度、こんにちは!";; val it : unit = () > let isEven x= let result= if x%2=0 then "そうです" else "違います" result;; val isEven : int -> string > isEven 5;; val it : string = "違います" > let isWeekday day= if day="月曜日" then true elif day="火曜日" then true elif day="水曜日" then true elif day="木曜日 then true elif day="金曜日" then true else false;; "; "; -^ stdin(93,2): error FS0010: Incomplete structured construct at or before this point in if/then/else expression > val isWeekday : string -> bool > isWeekday "月曜日";; val it : bool = true > isWeekday "土曜日";; val it : bool = false > val isWeekday : string -> bool > > Program.fs(12,9): error FS0001: This expression was expected to have type int but here has type string > val describeNumber : int -> unit > > describeNumber 18;; xは2の倍数です xは3の倍数です val it : unit = () > describeNumber30;; describeNumber30;; ^^^^^^^^^^^^^^^^ C:\Users\Kamimura\AppData\Local\Temp\stdin(4,1): error FS0039: The value or constructor 'describeNumber30' is not defined > describeNumber 30;; xは2の倍数です xは3の倍数です xは5の倍数です val it : unit = () >

まだ初歩の細かい構文にもなれてなかったりするのでタイプミスが多かったです。しかも、途中までFSI(F# Interactive)のみでF#のコードを記述していたので、処理を実行するまでエラーに気づかなかったり。途中からはテキストエディタでIntellisenseを使いながら、記述し終えたらすべて選択(ショートカットキーCtrl+a)してショートカットキー(Alt+Enter)でFSIに移動とエラーがだいぶ減りました！