Принудительно ограниченный Nat?

Question

Aug 26, 2016, 02:20 AM

Как я могу обеспечить соблюдениеNat это<= N?

Пример:

def lessThan5(x: NatLT5) = ???

где

lessThan5(Nat(4)) скомпилирует, ноlessThan5(Nat(6)) не будет.

Ответы на вопрос(1)

предварительно заполнить поле ввода даты с помощью Javascript

UseConcMarkSweepGC vs UseParallelGC

Facebook, как получить фактический URL фотографии с помощью Graph API?

Использование разделителя при чтении файла

NoReverseMatch после обновления v1.9 до v1.10