Я болтал сСадек Дроби в твиттере, когда воспитывайся, что F # не делалКажется, что он поддерживает бесконечные типы. Оказывается, в C # вы можете сделать что-то вроде этого:

delegate RecDelegate RecDelegate(T x);

Однако после некоторых экспериментов с обеими нашими частями мы определили, что то же самое в F # кажется невозможным как неявным, так и явным образом.

Явный:

type 'a specialF = 'a->specialF