Почему в этом выражении f # возникает ошибка типа?

Question

первый день работая в F #. Я провел некоторое время в Haskell и пытаюсь научиться F # работать с каким-то существующим кодом .net. Почему этот код сердится на меня? Что эквивалентно: t? Как добавить аннотацию типа к основному?

type Color = Red | Green 
[<EntryPoint>] 
let main = 
    let a = Red 
    if a = Red then 
     printfn "hi!" 
    else 
     printfn "no!" 

Answer 1

Сигнатура функции с атрибутом [<EntryPoint>] (например main) должен быть string[] -> int в вашей версии она отсутствует параметр string[] и возвращаемое значение типа int

Вы можете исправить это путем добавления тех в:

type Color = Red | Green 
[<EntryPoint>] 
let main argv = //argv added here is inferred to be string[] 
    let a = Red 
    if a = Red then 
     printfn "hi!" 
    else 
     printfn "no!" 
    0 //Return 0, all OK 

Без 0 в конце вернуть int, вы возвращаете unit (результат printfn).