F # - Что это за ключевое слово?

Question

Я новичок в F #, только начал изучать его сегодня днем.

Что я заметил, так это то, что при получении информации о типе через fsi я получаю следующую информацию:

val it : (char list -> string -> string list) = <fun:clo@0>

Если я правильно понимаю, (список символов -> строка -> список строк) означает, что функция берет список символов и возвращает функцию, которая принимает строку и возвращает список строк.

Однако я не понимаю, как используется «это».

Спасибо за любую информацию!

Answer 1

В интерактивной командной строке F # «это» - это идентификатор, который привязывается к последнему вычисленному выражению. Например:

> let a = 5;;

val a : int = 5

> a;;
val it : int = 5
> it;;
val it : int = 5
>

Answer 2

Это не ключевое слово. Вот список ключевых слов F # .

Информация о ключевом слове val :

Ключевое слово val используется для объявления поля в классе или типе структуры без его инициализации. Поля, объявленные таким образом, называются явными полями.

[статические] val [изменяемые] [модификатор доступа] имя-поля: имя-типа

Так что обычно это имя поля.

В интерактивной консоли это возвращаемое значение (val) (имя не имеет значения, его просто называют "оно"):

> System.Console.ReadLine();;
Test
val it : string = "Test"
> it;;
val it : string = "Test"

Answer 3

"it" иногда используется в качестве имени аргумента заполнителя (например, аргументов для анонимных блоков). Это (не каламбур ;-) просто соглашение AFAIK.