Box нужен для рекурсии

я не понимаю о каких ударениях ты

кто-то еще не понимает, про что я?

хочу понять, в ком проблема, потому что я по моему высказался достаточно четко

Поэтому я с ним не дискутирую, кстати

вот хз, кому ты ответил) Со мной ты как минимум тоже не дискутируешь после саг

кто-то еще не понимает, про что я?

Да расскажи сразу о последствиях вездесущего Box

окей

скажем так

в расте нет рекурсии в АДТ

делает это растовые адт не адт?

не делает

потому что определение адт не говорит нам ничего об этом

Да расскажи сразу о последствиях вездесущего Box

проблем нет, это просто элемент, которого нет в определениях ADT даже самых неформальных и при этом не синтаксис, а реальный тип

Box добавляет уровень индерекции и это работает только из-за нескольких пассов компилятора

я нигде не спорил, что он ненужен в расте

вот хз, кому ты ответил) Со мной ты как минимум тоже не дискутируешь после саг

Ой всё))

я даже сказал, что в расте он логичен и без него было бы странно

делает это растовые адт не адт?

.

окей, берем определение ADT как произведение и копроизведение типов

ну ты забыл еще про полиномиальность

имею тип A. Делаю произведение T=A*T T - полностью валидный тип, так как он - произведение двух типов, один из которых - T (но он валидный тип, как мы выяснили)

то есть по определению ADT я такое могу сделать

но не в расте

имею тип A. Делаю произведение T=A*T T - полностью валидный тип, так как он - произведение двух типов, один из которых - T (но он валидный тип, как мы выяснили)

яркий пример полиномиального типа

это говорит нам о том, что в расте ГАРАНТИРОВАННО не АДТ

там его подмножество с ограничением на рекурсию без Box

дальше я спорить прекращаю, потому что я уверен, что ты понял мою точку зрения, но гордость за раст не даст тебе принять это (хоть один раз ты это принял, когда сказал, что трейты действительно фигово реализованы)

ага

в расте можно заенкодить типовой многочлен только на типах?

теперь я могу согласиться

индуктивность и коиндуктивность - одни из важных мат понятий

хм, круто, я рад, что ты согласился, тогда прошу прощения за мои слова про гордость

*дочитал*

что такое "типовой многочлен"?

я с таким выражением не сталкивался, но пологаю любая запись типа в нотации алгебраичного выражения x_a = 1 + ax_a 1 = x_a - ax_a 1 = x_a(1 - a) 1/x_a = 1 - a 1/x_a + a = 1

что такое "типовой многочлен"?

ну например изоморфный к списку есть ряд Маклорена

вот теперь сразу стало понятно

напиши на хаскеле и я переведу

че за

ну я написал и потом почистил оффтоп

напиши на хаскеле и я переведу

как-то так https://twitter.com/xgrommx/status/880560506385252353

лол

бейт

как-то так https://twitter.com/xgrommx/status/880560506385252353

не, для Fix нужен HKT

не, для Fix нужен HKT

ты не типовое не смотри, смотри на функции

ты меня просил описать тип)

ну блин! ряд Тейлора это data List a = Nil | Cons a (List a) l = 1 + x * l

бейт

это как аниме, только с выбором

неет

лол

ты че

лол

ты меня просил описать тип)

я думаю индуктивные функции ты умеешь расскрывать?

ну блин! ряд Тейлора это data List a = Nil | Cons a (List a) l = 1 + x * l

enum List<A> { Nil, Cons(A, Box<List<A>>) }

1 + a + a^2 + a^3 + ...

что еще за Box?

оп, Box, триггеред

что еще за Box?

уровень индирекции

ERROR: S client not available

бля, зига, ты этот список уже раз 10 сюда раскрывал

enum List<A> { Nil, Cons(A, Box<List<A>>) }

так это перечисление)

бля, зига, ты этот список уже раз 10 сюда раскрывал

ну походу не все помнят

так это перечисление)

да

enum это сум тип

да все помнят, ты просто каждый раз новое слово придумываешь

да

перечисление ничем, кроме суммы не может быть

use List::*; Cons(1, box Cons(2, box Nil))

хм, это нужно обдумать, вдруг может

да все помнят, ты просто каждый раз новое слово придумываешь

какое новое слово?

типовой многочлен ряд Маклорена

типовой многочлен ряд Маклорена

я это и раньше говорил

нет

у тебя был ряд Тейлора

у тебя был ряд Тейлора

ну почитай, ряд Тейлора - обобщение ряда Маклорена

enum List<'a, A: 'a> { Nil, Cons(A, &'a List<'a, A>) }

можно так еще

так почитать не сложно, факт в том, что раньше ты говорил другое

чет странное

https://www.youtube.com/watch?v=nIMooG-bk-Q

а вообще спискок - это биномиальное разложение (1 + x)^n

let x = Cons(1, &Cons(2, &Nil));

где n = -1

?

ilia ?✨?? а зачем ты новый пин удалил, ты же сам сказал удалить из них правила

ты прочитал его?

хм, почему-то иногда имя вставляется, а иногда ник

там было "аниме запрещено"