я же говорю, там вот такая сигнатура становится нужна (Typeable t, Typeable t') => c (t a) -> Maybe (c (t' a))

стало несколько сложнее понимать Typeable после ввдения полиморфного Typeable

раньше был TypeableN

тут cast попросту не сработает, так как нельзя накладывать ограничение Typeable на a

я пока все это тут рассписывал, сам все это понял

нужно пост запилить

обожаю этот термин

∀

нужно пост запилить

Кстати ещё раз спасибо за помощь, получилось redux-act + модули и после этого redux стал удобным

я могу уйти из фронта, но фронт не уйдет из меня

))

Судьба

я могу уйти из фронта, но фронт не уйдет из меня

С:

я могу уйти из фронта, но фронт не уйдет из меня

-- каждый функциональщик

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

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

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

?

поэтому мои посты бесполезны

поэтому мои посты бесполезны

от части) не бывает чего-то абсолютно ничего в себе не несущего из стоящей информации) все относительно

НО! Важно вспомнить, почему я вообще стал посты писать. Цель моя была сугубо эгоистичная, я их писал максимально просто для фронтендеров так, что пока их писал, сам тему понимал очень хорошо, а большую часть информации приходилось уточнять, потому что пока она в голове, она в таком “нечетком множестве”, а когда пишешь, нужно писать факты

поэтому лично для меня посты были очень полезны. И мне сейчас вроде как и хочется написать пост про юнионы, а с другой стороны не хочется, ведь никто все равно не поймет, пока сам не реализует

поэтому лично для меня посты были очень полезны. И мне сейчас вроде как и хочется написать пост про юнионы, а с другой стороны не хочется, ведь никто все равно не поймет, пока сам не реализует

Или прочитает блог и пейпер Киселева

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

ну и зря

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

я сейчас пейпер для даунов читаю http://www.eff-lang.org/handlers-tutorial.pdf типа минимальный бэкграунд требуется не сложно но и идею пока что не улавливаю (цель разобраться в алгебраических эффектах вне контекста всяких хаскельных приколов над типами)

с роу полиморфизмом простейшая вещь же

обожаю, когда в пейпере не любят использовать “сложный хаскель с его приколами” и определяют свой язык

ну просто мне кажется что меня обманывают

http://okmij.org/ftp/Haskell/extensible/exteff.pdf - все же советую прочитать этот пейпер, он довольно простой, это мой первый пейпер, который я ранее забросил, потому что нихуя не понимал, а сейчас почти добил

тип в 90х написали мол вот монадки выражают эффекты в 2003м или раньше плоткин написал а вот держите ещё эффекты для моего лямбда калкулуса и всё это про роу полиморфизм?

а я сфорвадил

хотел бы я так сказать

Фри монада - докостыливает (return, »=) Фриер - докостыливает даже fmap

ну во всех имплементациях eff-монады таки или иначе роу полиморфизм, но это не основа эффектов, а способ представить их в типе

ну и молодец

ох вау

думал только в каналах такое

плохая идея на самом деле

в дискорде не сохраняет текст удаленных сообщений

ну так только для админов же, почему плохая

Фри монада - докостыливает (return, »=) Фриер - докостыливает даже fmap

и эффекты?

там тоже только для админов

но админы бывают плохими

как я

http://okmij.org/ftp/Haskell/extensible/exteff.pdf - все же советую прочитать этот пейпер, он довольно простой, это мой первый пейпер, который я ранее забросил, потому что нихуя не понимал, а сейчас почти добил

потом после него это - http://okmij.org/ftp/Haskell/extensible/more.pdf

ну и дальше по олегу можно пройтись

когда-то, когда я был маленький и наивный, я накачал себе 500 пейперов, думая, что сейчас за год прочту мб

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

а есть у меня еще пейпер по орнаментам

там сложный код на агде и почти 100 страниц

я его даже распечатал

пока две страницы прошел

(обложка и оглавление)

а есть у меня еще пейпер по орнаментам

Макбрайт?

не, Yorick Sijsking

Generic programming with ornaments and dependent types

а орнамент это что

я сейчас пейпер для даунов читаю http://www.eff-lang.org/handlers-tutorial.pdf типа минимальный бэкграунд требуется не сложно но и идею пока что не улавливаю (цель разобраться в алгебраических эффектах вне контекста всяких хаскельных приколов над типами)

кстати могли обратить внимание на адрес http://www.eff-lang.org нашёл в тг 2 упоминания и одно из них в идрис чате чел спросил мнение окружающих и ему пояснили что эффекты не про завтипы и чтобы он оттуда убирался со своими эффектами хотя сегодня ок зашло

как я понял, обобщение над расширениями списка, например

типа имеем List a с кучей методов типа concat, обрамляем его в некий Vector и получем списки длины n с теми же методами

это то что я из первой главы вытащил

мы тут уже столько времени фп обсуждаем…

невероятно правда?)

ERROR: S client not available

да это тоже рофлы

типа вот я пейперы читаю смотрите какие фразы умею строить - коэффекты выражаются комонадами

невероятно правда?)

можно аниме

нет

да

.

это не канал про аниме

теперь канал

че блин такое коэффекты, кто понял?

типа контекст выполнения?

эффекты но с ними можно работать на входе?

че блин такое коэффекты, кто понял?

Coeffects are the dual of effects. Effects represent what your program does to the world while coeffects track what your program requires from the world. Ну как например Free - DSL, Cofree - Interpeter

а вообще тут много чего http://tomasp.net/coeffects/

че блин такое коэффекты, кто понял?

ну они точно не могут изменять внешний мир. всё дальнейшее понимание остановилось на том что это вроде ридера, только это было бы глупо

а, я посмотрел

короче, как раньше никто не разбирал разницы между рекурсией и корекурсией, то аналогично будет и с коэффектами

хм блин

в расте эффекты хорошо подошли бы

а, я посмотрел

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

типа вот у нас известно, что str - строка (это контекст), мы ее выводим и получаем эффект io справа str : string ⊢ print str : () & { io } а вот у нас эффект уже в контексте - это коэффект now : time & { clock } ⊢ now > “12:00” : bool

осталось придумать, каким боком тут комонады

а, хм, все очевидно же m a -> a

мне это в общем-то ничего не дало

мне это в общем-то ничего не дало

Бест ?

если говорить на более важные темы, то вот - во втором сезоне Умару убогий опенинг

а вот ендинг норм

https://vk.com/video-31181602_456240651 - вот оп

а вот ед - https://vk.com/video-31181602_456240652

если говорить на более важные темы, то вот - во втором сезоне Умару убогий опенинг

как это смотреть можно вообще

да годно же, милый такой слайсик, постоянная бесящая шмара-умару, юмор какой-то