BnW — l29ah: 16:20:34]<L29Ah>

16:20:34]<L29Ah> :: (Enum a, Num a) => Vector a ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S 'Z)))))))))))))))))))) как записывать такие типы на человечьем языке? 16:26:27]<ndtimofeev> Никак? 16:27:26]<L29Ah> НО КАК ЖЕ ТАК 16:27:55]<L29Ah> как хотя бы попросить ghci в одну строчку этот боилерплейт сложить? 16:28:11]<ndtimofeev> Никак? 16:29:23]<ndtimofeev> Можно использовать TypeLit, но для того чтобы понять почему они тут не будут работать тебе потребуется Александр Вершилов, а он в gitter'е или как оно там. 16:29:53]<L29Ah> и хули делать? 16:30:05]<ndtimofeev> Страдать.

https://github.com/ghc/ghc/blob/master/compiler/codeGen/StgCmmArgRep.hs ГОВНО

#EJGFNM/BC1 / @j123123 / 3217 дней назад

data DNat = Z
          | D0 DNat | D1 DNat | D2 DNat | D3 DNat | D4 DNat | D5 DNat | D6 DNat | D7 DNat | D8 DNat | D9 DNat

instance KnownNat DNat where {...}

тогда Vector a (D2 (D0 Z)) будет твоим вектором длины 20.

#EJGFNM/WQI / @ulidtko / 3217 дней назад

@ulidtko Чому не на мове??

#EJGFNM/9UP / @l29ah --> #EJGFNM/WQI / 3217 дней назад

@l29ah дальше что?

#EJGFNM/PX7 / @ulidtko --> #EJGFNM/9UP / 3217 дней назад

@ulidtko TypeLits

#EJGFNM/U1J / @l29ah --> #EJGFNM/PX7 / 3217 дней назад