Здравствуйте, netch80, Вы писали:

N>Вот как, например, организовать в языке вместо "int foo(int x);" — "func foo(x: int): int"?

Думаю сметить ЯП, C# => F#, func кстати уже лишнее, есть только сущности и присвоенные им имена.
defun это лишь функция, func ключевое слово.

Примечание, изучая F# был немного разочарован когда выяснилось что объявление импорта сишных функций работает с первой формой

[<DllImport>]
int hello();

а родные функции нормально

 let hello : unit -> int = fun () -> 10

а так да, F# дисциплинирует. пока все как надо выставишь не заработает.