Разве бесконечные типы (или рекурсивные типы) невозможны в F #?
Я болтал сСадек Дроби в твиттере, когда воспитывайся, что F # не делалКажется, что он поддерживает бесконечные типы. Оказывается, в C # вы можете сделать что-то вроде этого:
delegate RecDelegate RecDelegate(T x);
Однако после некоторых экспериментов с обеими нашими частями мы определили, что то же самое в F # кажется невозможным как неявным, так и явным образом.
Явный:
type 'a specialF = 'a->specialF