プログラミング学習の記録 338.1「『Programming F#』 Chris Smith 著のⅠ部(マルチパラダイムプログラミング),2章(基本事項),4(主要な型),1(Unit)-3(リスト)

開発環境

• 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.4(主要な型), 2.4.1(Unit), 2.4.2(組), 2.4.3(リスト), 2.4.3.1(リストの範囲表記), 2.4.3.2(リストの内包表記),2.4.3.3(Listモジュール関数)まで。

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 x=();; val x : unit = () > ();; ();; ^^ stdin(2,1): error FS0039: The value or constructor 'it' is not defined > let square x=x*x;; val square : int -> int > square 4;; val it : int = 16 > ignore (square 4);; val it : unit = () > let dinner=("green eggs","ham");; val dinner : string * string = ("green eggs", "ham") > let zeros=(0, 0L, 0I, 0.0);; val zeros : int * int64 * System.Numerics.BigInteger * float = (0, 0L, 0, 0.0) > let nested=(1,(2.0,3M),(4L,"5",'6'));; val nested : int * (float * decimal) * (int64 * string * char) = (1, (2.0, 3M), (4L, "5", '6')) > let nameTuple="John","Smith");; let nameTuple="John","Smith");; ----------------------------^ stdin(9,29): error FS0010: Unexpected symbol ')' in interaction. Expected incomplete structured construct at or before this point, ';', ';;' or other token. > let nameTuple=("John","Smith");; val nameTuple : string * string = ("John", "Smith") > fst nameTuple;; val it : string = "John" > snd name Tuple;; > snd name Tuple;; ----^^^^ stdin(12,5): error FS0039: The value or constructor 'name' is not defined ;; > snd nameTuple;; val it : string = "Smith" > let snacks=("Soda","Cookies","Candy");; val snacks : string * string * string = ("Soda", "Cookies", "Candy") > let x,y,z=snacks;; val z : string = "Candy" val y : string = "Cookies" val x : string = "Soda" > x;; val it : string = "Soda" > y;; val it : string = "Cookies" > z;; val it : string = "Candy" > x,y;; val it : string * string = ("Soda", "Cookies") > let x,y=snacks;; let x,y=snacks;; --------^^^^^^ stdin(21,9): error FS0001: Type mismatch. Expecting a string * string but given a string * string * string The tuples have differing lengths of 2 and 3 > let x,y,z,a=snacks;; let x,y,z,a=snacks;; ------------^^^^^^ stdin(22,13): error FS0001: Type mismatch. Expecting a string * string * string * 'a but given a string * string * string The tuples have differing lengths of 4 and 3 > let add x y=x+y;; val add : int -> int -> int > let tupleAdd(x,y)=x+y;; val tupleAdd : int * int -> int > add 3 7;; val it : int = 10 > tupleAdd(3,7);; val it : int = 10 > let vowels=['a';'e';'i';'o';'u']; ;; val vowels : char list = ['a'; 'e'; 'i'; 'o'; 'u'] > let emptyList=[];; val emptyList : 'a list > let sometimes='y'::vowels;; val sometimes : char list = ['y'; 'a'; 'e'; 'i'; 'o'; 'u'] > let odds=[;3;5;7;9];; let odds=[;3;5;7;9];; ----------^ stdin(31,11): error FS0010: Unexpected symbol ';' in expression. Expected ']' or other token. > let odds[1;3;5;7;9];; let odds[1;3;5;7;9];; -------------------^^ stdin(32,20): error FS0010: Incomplete structured construct at or before this point in binding. Expected '=' or other token. > let odds=[1;3;5;7;9;; let odds=[1;3;5;7;9;; -------------------^^ stdin(33,20): error FS0010: Incomplete structured construct at or before this point in expression. Expected ']' or other token. > let odds=[1;3;5;7:9];; > let odds=[1;3;5;7:9];; -----------------^ stdin(34,18): error FS0010: Unexpected symbol ':' in expression. Expected ']' or other token. ;; > let odds=[1;3;5;7;9];; val odds : int list = [1; 3; 5; 7; 9] > let evens=[2;4;6;8;10];; val evens : int list = [2; 4; 6; 8; 10] > odds @ evens;; val it : int list = [1; 3; 5; 7; 9; 2; 4; 6; 8; 10] > let a=[1;2;3;4;5] let b=[6;7;8;9;10] a @ b;; val a : int list = [1; 2; 3; 4; 5] val b : int list = [6; 7; 8; 9; 10] > a @ b;; val it : int list = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10] > let x[1..10];; let x[1..10];; -------^^ stdin(43,8): error FS0010: Unexpected symbol '..' in pattern. Expected ']' or other token. > let x=[1..10];; val x : int list = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10] > let y=[1..100];; val y : int list = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; 21; 22; 23; 24; 25; 26; 27; 28; 29; 30; 31; 32; 33; 34; 35; 36; 37; 38; 39; 40; 41; 42; 43; 44; 45; 46; 47; 48; 49; 50; 51; 52; 53; 54; 55; 56; 57; 58; 59; 60; 61; 62; 63; 64; 65; 66; 67; 68; 69; 70; 71; 72; 73; 74; 75; 76; 77; 78; 79; 80; 81; 82; 83; 84; 85; 86; 87; 88; 89; 90; 91; 92; 93; 94; 95; 96; 97; 98; 99; 100] > let z=[1..1000];; val z : int list = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; 21; 22; 23; 24; 25; 26; 27; 28; 29; 30; 31; 32; 33; 34; 35; 36; 37; 38; 39; 40; 41; 42; 43; 44; 45; 46; 47; 48; 49; 50; 51; 52; 53; 54; 55; 56; 57; 58; 59; 60; 61; 62; 63; 64; 65; 66; 67; 68; 69; 70; 71; 72; 73; 74; 75; 76; 77; 78; 79; 80; 81; 82; 83; 84; 85; 86; 87; 88; 89; 90; 91; 92; 93; 94; 95; 96; 97; 98; 99; 100; ...] > let tens=[0..10..100];; val tens : int list = [0; 10; 20; 30; 40; 50; 60; 70; 80; 90; 100] > let tens=[0..10..1000];; val tens : int list = [0; 10; 20; 30; 40; 50; 60; 70; 80; 90; 100; 110; 120; 130; 140; 150; 160; 170; 180; 190; 200; 210; 220; 230; 240; 250; 260; 270; 280; 290; 300; 310; 320; 330; 340; 350; 360; 370; 380; 390; 400; 410; 420; 430; 440; 450; 460; 470; 480; 490; 500; 510; 520; 530; 540; 550; 560; 570; 580; 590; 600; 610; 620; 630; 640; 650; 660; 670; 680; 690; 700; 710; 720; 730; 740; 750; 760; 770; 780; 790; 800; 810; 820; 830; 840; 850; 860; 870; 880; 890; 900; 910; 920; 930; 940; 950; 960; 970; 980; 990; ...] > let countDown[5L..-1L..100L];; let countDown[5L..-1L..100L];; ----------------^^^ stdin(49,17): error FS0010: Unexpected infix operator in pattern. Expected ']' or other token. > let countDown=[5L..-1L..-50L];; let countDown=[5L..-1L..-50L];; --------------------^^ stdin(50,21): error FS0001: The type 'int64' does not support any operators named '..-' > let countDown[5L.. -1L.. -50L];; let countDown[5L.. -1L.. -50L];; ----------------^^ stdin(51,17): error FS0010: Unexpected symbol '..' in pattern. Expected ']' or other token. > let countDown=[5L.. -1L.. -50L];; val countDown : int64 list = [5L; 4L; 3L; 2L; 1L; 0L; -1L; -2L; -3L; -4L; -5L; -6L; -7L; -8L; -9L; -10L; -11L; -12L; -13L; -14L; -15L; -16L; -17L; -18L; -19L; -20L; -21L; -22L; -23L; -24L; -25L; -26L; -27L; -28L; -29L; -30L; -31L; -32L; -33L; -34L; -35L; -36L; -37L; -38L; -39L; -40L; -41L; -42L; -43L; -44L; -45L; -46L; -47L; -48L; -49L; -50L] > let numbersNear x= ;; ;; ----^^ stdin(54,5): error FS0010: Incomplete structured construct at or before this point in binding > val numbersNear : int -> int list > > numbersNear 3;; val it : int list = [2; 3; 4] > numbers Near 10;; > numbers Near 10;; ^^^^^^^ C:\Users\Kamimura\AppData\Local\Temp\stdin(4,1): error FS0039: The value or constructor 'numbers' is not defined ;; > numbersNear 10;; val it : int list = [9; 10; 11] > let x= [ let negate x=-x let negate x=-x --------------------^^ C:\Users\Kamimura\AppData\Local\Temp\stdin(9,21): error FS0010: Unexpected infix operator in binding. Expected '=' or other token. ;; > let x= [ let negate x=-x let negate x=-x --------------------^^ C:\Users\Kamimura\AppData\Local\Temp\stdin(13,21): error FS0010: Unexpected infix operator in binding. Expected '=' or other token. > val x : int list = [1; -2; 3; -4; 5; -6; 7; -8; 9; -10] > > let multiplesOf x=[for i in 1 .. 10 do yield x*i];; val multiplesOf : int -> int list > multiplesOf2 x=[for i in 1 .. 10 -> x * i];; multiplesOf2 x=[for i in 1 .. 10 -> x * i];; ^^^^^^^^^^^^ C:\Users\Kamimura\AppData\Local\Temp\stdin(4,1): error FS0039: The value or constructor 'multiplesOf2' is not defined > let multiplesOf2 x=[for i in 1 .. 10 -> x * i];; val multiplesOf2 : int -> int list > multiplesOf 1;; val it : int list = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10] > multiplesOf 2;; val it : int list = [2; 4; 6; 8; 10; 12; 14; 16; 18; 20] > multiplesOf2 2;; val it : int list = [2; 4; 6; 8; 10; 12; 14; 16; 18; 20] > let primesUnder max = [ ;; ;; --------^^ C:\Users\Kamimura\AppData\Local\Temp\stdin(11,9): error FS0010: Incomplete structured construct at or before this point in expression. Expected ']' or other token. > val primesUnder : int -> int list > > let 100;; let 100;; -------^^ C:\Users\Kamimura\AppData\Local\Temp\stdin(3,8): error FS0010: Incomplete structured construct at or before this point in binding. Expected '=' or other token. > primesUnder 100;; val it : int list = [2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43; 47; 53; 59; 61; 67; 71; 73; 79; 83; 89; 97] > primesUnder 2;; val it : int list = [2] > primesUnder 1;; val it : int list = [] > primesUnder 1000000000;; ;; primesUnder 1000;; ;; ;;;;; primesUnder 10;; - Interrupt > > val it : int list = [2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43; 47; 53; 59; 61; 67; 71; 73; 79; 83; 89; 97; 101; 103; 107; 109; 113; 127; 131; 137; 139; 149; 151; 157; 163; 167; 173; 179; 181; 191; 193; 197; 199; 211; 223; 227; 229; 233; 239; 241; 251; 257; 263; 269; 271; 277; 281; 283; 293; 307; 311; 313; 317; 331; 337; 347; 349; 353; 359; 367; 373; 379; 383; 389; 397; 401; 409; 419; 421; 431; 433; 439; 443; 449; 457; 461; 463; 467; 479; 487; 491; 499; 503; 509; 521; 523; 541; ...] > > > > ;;;;; ----^ C:\Users\Kamimura\AppData\Local\Temp\stdin(4,5): warning FS0527: A semicolon is not expected at this point > val it : int list = [2; 3; 5; 7] > primesUnder 10;; val it : int list = [2; 3; 5; 7] > primesUnder 1000;; val it : int list = [2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43; 47; 53; 59; 61; 67; 71; 73; 79; 83; 89; 97; 101; 103; 107; 109; 113; 127; 131; 137; 139; 149; 151; 157; 163; 167; 173; 179; 181; 191; 193; 197; 199; 211; 223; 227; 229; 233; 239; 241; 251; 257; 263; 269; 271; 277; 281; 283; 293; 307; 311; 313; 317; 331; 337; 347; 349; 353; 359; 367; 373; 379; 383; 389; 397; 401; 409; 419; 421; 431; 433; 439; 443; 449; 457; 461; 463; 467; 479; 487; 491; 499; 503; 509; 521; 523; 541; ...] > List.length primesUnder 1000;; > List.length primesUnder 1000;; ^^^^^^^^^^^^^^^^^^^^^^^ C:\Users\Kamimura\AppData\Local\Temp\stdin(8,1): error FS0003: This value is not a function and cannot be applied ;; > List.length (primesUnder 1000);; val it : int = 168 > List.length (primesUnder 1000000);; - Interrupt > List.length (primesUnder 10000);; - Interrupt > List.length (primesUnder 1000);; val it : int = 168 > val isMultipleOf5 : int -> bool val nonMultOf5 : int list = [1; 2; 3; 4; 6; 7; 8; 9; 11; 12; 13; 14] val multOf5 : int list = [5; 10; 15] > >

少しずつですがF#でできることが増えてきて楽しくなってきました。