타입 annotation

Question

나는 Project Euler # 8을 풀려고하고있다. 여기 내 솔루션입니다 :

open System 

let product_of_digits num = 
    Seq.fold (fun acc elem -> acc * elem) 1 [for x in num -> int32(x) - 48] 

let all_possible_strings number = 
    [ for x in [0 .. number.Length - 2] -> number.Substring(x, 2) ] 

let problem_8 number = 
    Seq.max(
     Seq.map (fun x -> (product_of_digits x)) (all_possible_strings number) 
     ) 

[<EntryPoint>] 
let main(args : string[]) =  
    printfn "result = %d" (problem_8 "7316717653133062491922511967442657474235534919493496983520312774506326239578318016984801869478851843858615607891129494954595017379583319528532088055111254069874715852386305071569329096329522744304355766896648950445244523161731856403098711121722383113622298934233803081353362766142828064444866452387493035890729629049156044077239071381051585930796086670172427121883998797908792274921901699720888093776657273330010533678812202354218097512545405947522435258490771167055601360483958644670632441572215539753697817977846174064955149290862569321978468622482839722413756570560574902614079729686524145351004748216637048440319989000889524345065854122758866688116427171479924442928230863465674813919123162824586178664583591245665294765456828489128831426076900422421902267105562632111110937054421750694165896040807198403850962455444362981230987879927244284909188845801561660979191338754992005240636899125607176060588611646710940507754100225698315520005593572972571636269561882670428252483600823257530420752963450") 
    0 

모든 Fsi.exe에서 잘 작동,하지만 내가 코드를 컴파일하려고 할 때 나는 오류 가지고 :

이

내가 그것을 어떻게

D:\datahub\Dropbox\development\myprojects\project-euler\Problem_8\problem_8.fs(7,22): error FS0072: Lookup on object of 
indeterminate type based on information prior to this program point. A type annotation may be needed prior to this progr 
am point to constrain the type of the object. This may allow the lookup to be resolved. 

D:\datahub\Dropbox\development\myprojects\project-euler\Problem_8\problem_8.fs(7,44): error FS0072: Lookup on object of 
indeterminate type based on information prior to this program point. A type annotation may be needed prior to this progr 
am point to constrain the type of the object. This may allow the lookup to be resolved. 

을 를 해결할 수 를?

Answer 1

오류가 표시되면 함수 인수 유형에 대한 자세한 정보를 컴파일러에 제공해야합니다. 만약 내가 라인을 오른쪽으로 계산하면 함수 "problem_8"의 변수 "number"가 불확정 유형이라고 보입니다. 더 통찰력을위한

let problem_8 (number : string) = 

Answer 2

의 F # 컴파일러는 number의 유형을 추론하는 데 문제가되는 이유 :이 문제를 해결하려면, 그래서 같은 함수 정의를 재구성 (당신이 당신의 "번호"인수가 문자열을되고 싶어 가정) all_possible_strings에있는 것은 유형에 대한 충분한 정보를 제공하지 않는 number에 .NET 객체 지향 인스턴스 속성 및 메서드를 사용하고 있기 때문입니다. 그러나 F # 함수 응용 프로그램 String.length number에 대한 속성 호출 number.Length을 바꿀 수 있으므로 모든 함수와 매개 변수가 완전히 유추 될 수 있습니다.