Как произносится переменные типа, такие как «

Question

В OCaml, переменные типа написаны, как 'a или 'b и т.д.:

, а не выбрать ни одного конкретного типа, OCaml ввел тип переменной'a, чтобы выразить, что тип является общим. (Вы можете сказать, что это тип переменной ведущим одинарную кавычку.)

(Source)

Я был бы признателен за руководство о том, как произносить эти переменные типа, в идеале ссылки официальной документации или записан переговоры со стороны создателей языка.

Ближайший я нашел до сих пор является this третьей стороной предложение, которое далеко от окончательного:

Я произношу это как ближайший греческой буквы, например, 'a как alpha, 'b как бета и т.д .; Я не знаю, насколько это распространено в сообществе OCaml, но это распространено в книгах и документах по функциональному программированию.

Answer 1

Ничего официального со мной.

Обычно я игнорирую метку цитаты во время произношения.

Я произношу их как ближайшую греческую букву, например. 'a как альфа, 'b как бета, и т.д .; Я не знаю, насколько это распространено в сообществе OCaml, но это распространено в книгах и документах по функциональному программированию.

Этот подход работает только тогда, когда вы ограничиваетесь переменными однобуквенного типа. Как и с другими переменными, есть времена, когда я предпочитаю описательные имена вместо как

type ('key,'elem) map 

Если вы хотите сделать что-то из указанных книг и статей и хотите сохранить реальный близко к оригиналу, еще можно было использовать 'alpha , 'beta и т. Д.

Answer 2

Выполнение их как греческих букв очень распространено, по крайней мере, от людей в академическом сообществе. Но произносить их как простые буквы, игнорируя ', тоже прекрасно. Тип переменной с более длинными именами используется очень редко. Если они произойдут, вы также можете просто объявить их такими.