Queue<'a> = Queue of 'a list*'a list | Empty
и мне надо, что бы если листы пустые, значение инварианта было Empty. Можно ли этого добиться, не делая тип приватным?
Такую проблему лучше решить через single case DU и active pattern на Empty.
Или приватный тип, или делать класс. ¯\_(ツ)_/¯
Обсуждают сегодня