несколько параметров типа

Question

Я пытаюсь написать что-то вроде этого:

type 'a 'b xxx = {aaa: 'a: bbb: 'b: ccc: int};;

Не компилируется. Это просто синтаксическая ошибка, или они не позволяют использовать несколько параметров типа? Тогда почему?

Answer 1

В ML параметры нескольких типов записываются в скобках и разделяются запятыми, например:

type ('a,'b) xxx = {aaa: 'a; bbb: 'b; ccc: int; }

Answer 2

На самом деле вы можете написать так в пересмотренном синтаксисе:

        Objective Caml version 3.11.2

# #load "dynlink.cma";;
# #load "camlp4r.cma";;
    Camlp4 Parsing version 3.11.2

# type xxx 'a 'b = { aaa : 'a; bbb: 'b; ccc: int};
type xxx 'a 'b = { aaa : 'a; bbb : 'b; ccc : int }

Answer 3

Параметры типа определены в руководстве как:

type-params ::= type-param | ( type-param  { , type-param } )  

Итак, для списка параметров типа это список через запятую, заключенный в круглые скобки.