Исходное сообщение
"Доступен язык программирования Rust 1.8" Отправлено freehck, 15-Апр-16 12:43
Ну, в некотором роде - это конструктор типа, который нужен исключительно для того, чтобы пометить некоторое состояние объекта. Вот например в Ocaml можно написать нечто вроде: # type 'a list = Null | Pair of ('a * 'a list);; И после этого писать определения вида: # let l1 = Null;; val l1 : 'a list = Null # let l2 = Pair (42, Null);; val l2 : int list = Pair (42, Null) Null - это состояние объекта с типом 'a list, которое характеризует список, как пустой. Это удобно, этим пользуются постоянно. Haskell тоже этим хорош.