Построение фиксированного размера Список Nat N

Question

Я попытался определить функцию, которая с учетом параметра типа N <: Nat строит список с точно 3 N.

import shapeless._ 
import shapeless.nat._ 

scala> def natNOfSize3[N <: Nat](n: Nat): Sized[List[N], _3] = 
    Sized[List, _3](List(n, n, n)) 
<console>:17: error: wrong number of type parameters for overloaded method value apply with alternatives: 
    [CC[_]]()(implicit cbf: scala.collection.generic.CanBuildFrom[Nothing,Nothing,CC[Nothing]], implicit ev: shapeless.AdditiveCollection[CC[Nothing]])shapeless.Sized[CC[Nothing],shapeless._0] <and> 
    [CC[_]]=> shapeless.SizedBuilder[CC] 

     def natNOfSize3[N <: Nat](n: Nat): Sized[List[N], _3] = Sized[List, _3](List(n, n, n))   ^

Но я не понимаю, почему это не удалось.

Answer 1

Одна проблема заключается в том, что ваш n напечатан как Nat, а не N -I предполагаю, что это только опечатка. После того, как вы исправили, что вы можете написать метод, как это:

import shapeless._, nat._ 

def natNOfSize3[N <: Nat](n: N): Sized[List[N], _3] = Sized[List](n, n, n) 

Обратите внимание, что Sized.apply принимает один параметр типа доброго * -> *, и вместо того, чтобы обеспечить сбор, вы предоставляете элементы.

Если вы действительно хотите передать в коллекции, вы можете использовать wrap:

def natNOfSize3[N <: Nat](n: N): Sized[List[N], _3] = Sized.wrap(List(n, n, n)) 

Но тогда компилятор не собирается быть в состоянии помочь вам, если вы солгали о количестве элементов ,