Что такое eqtype в Standard ML? - PullRequest
Новая
       8

Что такое eqtype в Standard ML?

1 голос
/ 04 апреля 2019

В следующем коде, что означает eqtype?Я знаю, что в SML существует ключевое слово type, которое позволяет вам использовать псевдонимы типов, но eqtype - это что-то новое для меня. 

signature SYMBOL =
sig
  eqtype symbol
  val symbol : string -> symbol
  val name : symbol -> string
  type 'a table
  val empty : 'a table
  val enter : 'a table * symbol * 'a -> 'a table
  val look  : 'a table * symbol -> 'a option
end

Я попытался найти объяснение в документации, но ничего не смог найтиоб этом.Кто-нибудь может мне это объяснить?Спасибо.

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

...