Блог

Я пытаюсь реализовать определенный алгоритм. Алгоритм не очень хорошо описан, но у меня есть реализация OCaml. Проблема в том, что я не знаю OCaml, и я нахожу синтаксис странным. Итак, вот первый из многих вопросов, которые могут возникнуть. Приношу извинения за любые ошибки в терминологии.

Одна часть кода, которая у меня есть, выглядит так

 type alternative_text = string
type indent = int

module Line =
  struct
    type t = {s:alternative_text; i:indent}
    let make s i = {s;i}
    let text (l:t): alternative_text = l.s
    let length l = String.length l.s
    let indent l = l.i
  end
 

Мой вопрос касается линии let text (l:t): alternative_text = l.s . Я думаю, что знаю, что это такое, функция Line.text , которая берет Line.t объект и возвращает s поле, представляющее собой строку.

Мой вопрос касается (l:t): alternative_text синтаксиса. Это похоже на указание типа параметра и результата функции, но зачем это нужно? Насколько я знаю let text l = l.s , это сделало бы точно то же самое, и другие функции определены без использования этого дополнительного синтаксиса. Так почему же он используется здесь?

Заранее спасибо.

Проблема с записями заключается в том, что их имена полей имеют область действия, выходящую за рамки записи. Таким образом , если у вас есть две записи с одинаковым именем поля a , они столкнутся. Т. е., в целом невозможно будет определить x.a , относится ли поле к одному типу записи или к другому типу записи. В зависимости от типа x , это может быть либо то, либо другое.

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

В качестве примечания @glennsl прав. Если вам нужно разобраться в нетривиальном объеме OCaml, и вы изучаете OCaml с нуля, будет быстрее изучить OCaml из книги или онлайн-учебника, чем задавать отдельные вопросы здесь, на StackOverflow.