プログラミング学習の記録 360.2「『Programming F#』 Chris Smith 著のⅠ部(マルチパラダイムプログラミング),3章(関数プログラミング),4(レコード), 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」のⅠ部(マルチパラダイムプログラミング)、3章(関数プログラミング)を参考に学習。3.4(レコード), 3.4.3(型推論)まで。

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;; > type Point={X:float;Y:float} ;; type Point = {X: float; Y: float;} > let distance pt1 pt2 = let square x=x*x sqrt <| square (pt.X - pt2.X) + square (pt1.Y-pt2.Y);; sqrt <| square (pt.X - pt2.X) + square (pt1.Y-pt2.Y);; --------------------^^ stdin(5,21): error FS0039: The namespace or module 'pt' is not defined > let distance pt1 pt2= let square x=x*x sqrt <| square (pt1.X - pt2.X) + square (pt1.Y - pt2.Y);; val distance : Point -> Point -> float > distance {X=0.0; Y=0.0} {X=10.0; Y=10.0};; val it : float = 14.14213562 > distance {X=0.0; Y=0.0} {X=1.0; Y=sqrt 3};; distance {X=0.0; Y=0.0} {X=1.0; Y=sqrt 3};; ---------------------------------------^ stdin(10,40): error FS0001: The type 'int' does not support any operators named 'Sqrt' > let y = sqrt 3;; let y = sqrt 3;; -------------^ stdin(11,14): error FS0001: The type 'int' does not support any operators named 'Sqrt' > let y=sqrt 3.0;; val y : float = 1.732050808 > distance {X=0.0; Y=0.0} {X=1.0; Y=y};; val it : float = 2.0 > distance {X=0.0; Y=0.0} {X=1.0; Y= sqrt 3.0};; val it : float = 2.0 > distance {X=0.0; Y=0.0} {X= 3.0; Y=4.0};; val it : float = 5.0 > distance {X=1.5; Y=3.2} {X=9.7; Y=100.111};; val it : float = 97.25729752 >

今日は久々にルートを計算。最初は使い方間違えたけど、思い出した。|>や<|の使い方もなんとなく分かってきた。エラーメッセージのおかげで理解が進みやすい！