プログラミング学習の記録 347.2「『Programming F#』 Chris Smith 著のⅠ部(マルチパラダイムプログラミング),3章(関数プログラミング), 3.1(関数によるプログラミング)の3.1.4(記号演算)

開発環境

• 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.1(関数によるプログラミング)の3.1.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 add x y = x + y;; val add : int -> int -> int > add 1 2;; val it : int = 3 > 1+2;; val it : int = 3 > // 関数、階乗(!)を定義 let rec (!) x = if x <= 1 then 1 else x * !(x - 1);; val ( ! ) : int -> int > 5*4*3*2*1;; val it : int = 120 > !5;; val it : int = 120 > // 正規表現で文字列を比較する関数(===)を定義 open System.Text.RegularExpressions let (===) str (regex : string) = Reg.Match(str, regx).Success;; Reg.Match(str, regx).Success;; ----^^^ stdin(14,5): error FS0039: The namespace or module 'Reg' is not defined > open System.Text.RegularExpressions let (===) str (regex : string) = Regex.Match(str, regex).Success;; val ( === ) : string -> string -> bool > "The quick brown fox" === "The (.*) fox";; val it : bool = true > "The quick brown fox" === "The (.) fox";; val it : bool = false > let (!+++) x y z = x + y + z;; val ( !+++ ) : int -> int -> int -> int > !+++ 1 2 3;; val it : int = 6 > let !+++ x y z = x + y + z;; let !+++ x y z = x + y + z;; ----^^^^ stdin(22,5): error FS0010: Unexpected prefix operator in binding > let (+++) x y z = x + y + z;; val ( +++ ) : int -> int -> int -> int > +++ 1 2 3;; +++ 1 2 3;; ----^^^^^ stdin(24,5): error FS1208: Invalid prefix operator > 1 + 2 + 3;; val it : int = 6 > 1 +++ 2 3;; 1 +++ 2 3;; ------^ stdin(26,7): error FS0003: This value is not a function and cannot be applied > (!++) x y = x + y;; (!++) x y = x + y;; ------^ stdin(27,7): error FS0039: The value or constructor 'x' is not defined > let (!++) x y = x + y;; val ( !++ ) : int -> int -> int > !++ 1 2;; val it : int = 3 > ++ x y = x + y;; ++ x y = x + y;; ---^^^ stdin(30,4): error FS1208: Invalid prefix operator > let ++ x y = x + y;; let ++ x y = x + y;; ----^^ stdin(31,5): error FS0010: Unexpected infix operator in binding > let (++) x y = x + y;; val ( ++ ) : int -> int -> int > 1 ++ 2;; val it : int = 3 > let (!+++) x y z = x + y + z;; val ( !+++ ) : int -> int -> int -> int > !+++ 1 2 3;; val it : int = 6 > List.fold (+) 0 [1 .. 10];; val it : int = 55 > 1+2+3+4+5+6+7+8+9+10;; val it : int = 55 > 1*2*3*4*5*6*7*8*9*10;; val it : int = 3628800 > List.fold (*) 1[1 .. 10];; val it : int = 3628800 > let minus = (-);; val minus : (int -> int -> int) > List.fold minus 10 [1;2;3];; val it : int = 4 >

今日は少ししか進まなかったけど、少しずつでも毎日継続することを大切にする。継続は力なり！