p
Индукция требует базы
Size: a a a
2020 October 30
p
База это всегда какой-то 0
p
В случае кортежей это ()
EG
impl (T1, T2) where T2: Tuple { ... }
позволяет написать импл для тупла произвольной длиныp
В случае глистов HNil
EG
С существующими туплами так нельзя
p
impl (T1, T2) where T2: Tuple { ... }
позволяет написать импл для тупла произвольной длиныT2: Tuple? Что?
EG
T2: Tuple? Что?
Где тупл — трейт, имплементированный для
(T1, T2) where T2: Tuple и для ()p
Где тупл — трейт, имплементированный для
(T1, T2) where T2: Tuple и для ()Только в таком случае выходит (A, (B, (C, ()))) что аналогично глисту
EG
Только в таком случае выходит (A, (B, (C, ()))) что аналогично глисту
Я про это же
EG
Это про твой вариант
EG
Я уже понял, что в моём кривота с туплом длины один
EG
И длины ноль тем более
Т8
закрыл
а зря, он там злободневную тему поднял, в комментах интересные обсуждения
b
b
префикс– и суффикс–пропозиции для создания размерностей, например
23ms можно будет определить в time–диалекте как x’ms пропозицию, где x := real.b
ну и аналогично
$5 это $’xb
меня вдохновили закорючки раста
H
ну да, такое делали уже
b
как думаешь это не будет лишним?