ΑZ
если читать не с середины то понятно все обычно
Size: a a a
2021 May 26
TK
MN что такое, декартово произведение тогда?
AN
множество стремная херня. лучше оставить это математикам.
ΑZ
применение M к N
AN
я так понял это f(x)
ΑZ
но это то же самое что декартво произведение в целом так чт оне суть :D
ΑZ
M и N это термы
ΑZ
их берут из этого же определения
ΑZ
ты никогда рекурсивных структур данных не писал?
TK
А, в абстракции точка стоит, тогда до свидания
TK
Писал
B
так, а с этими завтипами как дела будут с ио? как можно из воздуха гарагтию вытянуть? как можно для своего типа создать гарантий? какого типа разрешены термы?
ΑZ
юзеаешь dec для проверки что тип соответствует нужному виду и дальше погнал
ΑZ
ну вот как ты проверяешь что у тебя по сети валидный жсон прилетает?
ΑZ
парсишь его в структуру
ΑZ
либо получаешь ошибку, либо успешно
ΑZ
вот так же и тут
ΑZ
только парсишь из списков в непустые списки
ΑZ
или в списки четной длины
TK
Если термы суть рекурсивные структуры данных на типах, то есть те же типы, просто для удобства навроде TokenStream, то математики сволочи, усложняющие всем жизнь