да

лЫнкед лЫст

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

да, ты правильно сделал, что удалил

health чата упал на процент

как только начинаем фп обсуждать, все падает

это из-за аниме?

это из-за аниме?

не, когда я аниме скинул, до 45% поднялось

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

императивненько

где

Option ~ Maybe?

=

твой Node похож на производную или Zipper

ну это двухсвязный

или даже Tape точно это Tape

(я прям как зига сейчас сказал очевидность)

ну это дуальность

эффективный лист - это вектор

или даже Tape точно это Tape

эт че

проще загуглить

ответ не поможет, инфа соточка

вектор не как линкед определен

https://hackage.haskell.org/package/Tape-0.4.0.0/docs/Data-Stream-Tape.html - да, похоже

оооо стримы

кстати Tape прикольный в таких задачах как Тьюринг машина или интерпретатор brainfuck

шо за ужас?)

вектор не как линкед определен

ключевое слово эффективный

не дуальность

да блин! при чем тут дуальность?!

у списка дуальность будет коиндукция

такой же вопрос в тебе

хм у меня поиск не ищет

дуальность только в категорных терминах проводить можно и нужно (чтобы бесплатно получать антиподы)

шо за ужас?)

часть функции которая добавляет элемент в Vec

а в хаскеле так не напишешь

часть функции которая добавляет элемент в Vec

ну у хаскелл есть Mutable Vector

через IO или ST монаду

в расте и монада не нужна

у раста нет разделения понятий

мат чистоты и побочки

просто берешь кусок памяти и пишешь

нет 2 категорий в общей категории

и нет математической делюзии

I hate sand

если List это 1.1) (a, t a) -> t a (конструктор) 1.2) (b, (a, b) -> b) -> t a -> b (элиминитор, ката) то дуальность List это 2.1) t a -> (a, t a) (разложение) 2.2) ... вот сюда как-то должен получиться анаморфизм, но я не понимаю как его вывести именно из 1.1 (b -> Maybe (a, b)) -> b -> t a - что нужно, но хз как получить.

atata

это non empty list

нет, это бесконечный стрим

мем

да это стрим

я про первое

если List это 1.1) (a, t a) -> t a (конструктор) 1.2) (b, (a, b) -> b) -> t a -> b (элиминитор, ката) то дуальность List это 2.1) t a -> (a, t a) (разложение) 2.2) ... вот сюда как-то должен получиться анаморфизм, но я не понимаю как его вывести именно из 1.1 (b -> Maybe (a, b)) -> b -> t a - что нужно, но хз как получить.

дуальность - нужно вывернуть (,) в Either

а, Maybe тут как Either (), где Left () это Nil

еп

вообще в типах ничего не должно быть кроме */(,) и +,Either все остальное выводимо

(a, t a) -> t a

нельзя пустой сделать

-> ?

фритата тата тата

-> ?

карринг

так а просто a -> b как сделать?

b*b*b*...*b a раз?

ERROR: S client not available

ну это тоже вроде надо, хотя это же b^a

да

-> <-> (,)

-> <-> (,)

так да, но у тебя нет ^, а записать (,) для произвольного 'a' нельзя

интересно чем импликацию в логике заменить

для этого степень и вводили, что x*x*x*..*x нельзя записать для произвольного n

так да, но у тебя нет ^, а записать (,) для произвольного 'a' нельзя

ну тут 2 понятия - карринг/анкарринг

да дело не в этом

* это n раз + для произвольного n

^ это n раз * для произвольного n

теперь точно зига

без ^ ты не можешь выразить стрелку имея только карринг и анкарринг

та понятно

^ это n раз * для произвольного n

есть еще ^ | для ^ n раз для произвольного n

но я постоянно забываю название

стрелка кнута что ли

а, да, Кнута

Knuth's up-arrow notation

нужно запомнить "пряник"

что за стрелка Кнута?

a↑↑b = a^a^a ... ^a } b раз

ну это обычная степень

ой

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

Стрелка Кнута с привязанным томиком, которой он бьёт тех, кто не хочет изучать C++

a*b = a + a + a } b a↑b = a * a * a } b a↑↑b = a↑a↑a } b a↑↑↑b = a↑↑a↑↑a } b

как выразить a↑↑↑↑b для любого количества ↑

как выразить a↑↑↑↑b для любого количества ↑

a ↑^n b

Стрелка Кнута это кстати единственное что требуется чтобы сделать полноценную логическую систему

Емнип, через нее можно выразить все остальные операторы

А, или это другая стрелка была, лол