[ocaml] взаимно рекурсивные типы

собсно сабж. как организовать?

ну что-то вроде:

type i1 =
     T1
   | Itm1 of i2
;; 

type i2 = 
    T2
  | Itm2 of i1
;;

вы хотите чего-то странного^Wочень нехорошего

anonymous
(08.10.08 15:15:06 MSK)

type ... = ... and ... = ... and ... и т.д.

anonymous
(08.10.08 15:16:50 MSK)

Ответ на: комментарий от anonymous 08.10.08 15:16:50 MSK

> type ... = ... and ... = ... and ... и т.д.

не прокатило.

Rastafarra ★★★★
(08.10.08 15:20:33 MSK) автор топика

Ответ на: комментарий от Rastafarra 08.10.08 15:20:33 MSK

Конкретный пример приведи.

anonymous
(08.10.08 15:26:24 MSK)

Конкретно с твоим примером:

type i1 = T1 | Itm1 of i2
and i2 = T2 | Itm2 of i1;;

всё прекрасно работает. Что-то ты не так делаешь.

anonymous
(08.10.08 15:28:33 MSK)

Ответ на: комментарий от anonymous 08.10.08 15:28:33 MSK

а, тьфу... я сделал type = ... and type =...

виноват.

thanx :)

Rastafarra ★★★★
(08.10.08 15:35:33 MSK) автор топика

Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.

Похожие темы