определенной длины - что-то типа
type Neighbors = Neighbors of Neighbor [8]?
Хм, вроде именно так - нет, можно вроде такого type Arr<'item, 'next> = 'item * 'next type TwoElements = Arr<int, Arr<int, unit>>
type UrType<'T when 'T: struct and 'T: (new: unit -> 'T):>(N: int) = let internallArray = Array.zeroCreate<'T> N member inline __.Values = internallArray
такое есть в го и идрисе искаропки, в F# разве что враппер с проверкой. Просто алиас нельзя
Обсуждают сегодня