Было? https://www.youtube.com/watch?v=k9rwU8G1Oi0&feature=youtu.be

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

https://pbs.twimg.com/media/DYz18gaWsAAVZ2B.jpg:large

надо тока applicative functors сменить на free applicative functors хотя б

free lax strong monoidal functors

в n-категории

... n-functor просто тогда

просто не обязательно композить функции

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

https://medium.com/@bterlson/strongly-typed-event-emitters-2c2345801de8 Занятная статья - в typescript подвезли зависимых типов.

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

это вроде вариация на тему path-dependent

это вроде вариация на тему path-dependent

Вроде как нет. Там прям в объявлении типа описывается условие.

да но условия там все вида A <: B ?

Вроде да.

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

как и путезависимость

Ну вообще, примеры в статье впечатляют

модули вытащенные в типы это хорошая тема, но завтипы немного про другое всё же

https://medium.com/@bterlson/strongly-typed-event-emitters-2c2345801de8 Занятная статья - в typescript подвезли зависимых типов.

уже обсуждали

в чате компиляторов

это и близко не завтипы

Что за чатик?

https://t.me/CompilerDev

Ща там вам начнут приветственные стикеры кидать

Милота же

Чятик ламповый?

йеп

Очень

Сколько я там - каждого нового участника приветствовали

у нас во всех чатах одни и теже лица +-?

на одной планете одни и теже лица

как жить дальше

у нас во всех чатах одни и теже лица +-?

Поэтому и появился чат с universal property

Можно выразить всё и нет ничего лишнего

чат по диаям есть?

чат по диаям есть?

это к джею ли

Поэтому и появился чат с universal property

Это какой?

Это какой?

Понв

Там вроде не все хаскелисты

И точно не все завтипчики

Так и должно быть

у нас во всех чатах одни и теже лица +-?

Ну раньше был десяток - другой лиц, которые рили были во всех чатах

Кроме скаловых

Только отдельные типа Грызлова в скаловых тоже

Т.е. ФП, Компиляторы, Завтипы, Теоркат, Хашкел Есть ещё какое-то ФРП, но я решил туда не ходить

Ещё Rust

Фпрог ещё

Кстати, есть линк на теоркат?

Фпрог ещё

это что?

Это фпшники

В целом

ну ссылку

https://t.me/fprog_spb наверное

Т.е. ФП, Компиляторы, Завтипы, Теоркат, Хашкел Есть ещё какое-то ФРП, но я решил туда не ходить

Ссылочку на теоркатовский чатег можно?

https://t.me/fprog_spb наверное

Точно

Ссылочку на теоркатовский чатег можно?

https://t.me/ru_catheory

https://t.me/fprog_spb наверное

СПБ....

https://t.me/ru_catheory

Спасибо!

Ребята, не уходите! Это лучший чатик на любую тему, если эта тема про язык Scala (кого волнуют другие темы собственно говоря?).

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

https://t.me/fprog_spb наверное

Там чото интересное обсуждают? Не хватит того ФП?

оххххх майк ананьев

и конечно же сверхэлитарный моноидальный

Ребята, не уходите! Это лучший чатик на любую тему, если эта тема про язык Scala (кого волнуют другие темы собственно говоря?).

лучше только ПОНВ

и конечно же сверхэлитарный моноидальный

тссс

лучше только ПОНВ

нет

Там чото интересное обсуждают? Не хватит того ФП?

Там в основном можно только со срачей угорать

ERROR: S client not available

И лисперов

И лисперов

там есть кто-то, кроме Ананьева?

Там есть немало из хашкеля, что доставляет временами

Динамическая типизация против статической и вот это всё

А из ценного - анонсы митапов

нет

Понв топ

Фомкин не сечёт. Давно уже

@fomkin я теоркат щас учу, мне бы пригодились обсуждения в том чатеге. Тащемта, Скала-чат ванлав)

теоркат это предмет длиной в жизнь как известно

@fomkin я теоркат щас учу, мне бы пригодились обсуждения в том чатеге. Тащемта, Скала-чат ванлав)

а чо ты тогда не обсуждаешь с нами?

теоркат это предмет длиной в жизнь как известно

в несчастливую, зато короткую жизнь

а там все боятся писать я смотрю :) страшный иваныч всех распугал

я на самом деле про ПОНВ спросил

а чо ты тогда не обсуждаешь с нами?

Да я нубяра на самом деле в теоркате, пока осматриваюсь)

Да я нубяра на самом деле в теоркате, пока осматриваюсь)

там четыре человека не нубяры, только Алекс скалист

Не, ну почему монада - моноид в категории эндофунктора я понимаю и знаю

это большой прогресс канеш

моноидальный объект в категории эндофунктор ов тогда уже

А вот за пределами типичных категорий типа Set, VecN, N и категории подпорядка(которая рефлексивная и транзитивная, не уверен за название) я мало чего смыслю)

Всем в кольцо, єто функторная полиция!

это большой прогресс канеш

Да давно это знаю, теорию групп и топологий осилил давно, по аналогии с наскока понял за монаду

вам дается 24 часа чтобы сдать неестественные преобразования

А так пока не углубился - отличий мало в терминах видел

после того, как Алекс про Дэя рассказал, я для себя выяснил, что там можно с разными произведениями целую кучу всего как моноид на категории эндофункторов определить

А вот за пределами типичных категорий типа Set, VecN, N и категории подпорядка(которая рефлексивная и транзитивная, не уверен за название) я мало чего смыслю)

в смысле preorder category?

Да, она самая

Я свойства и условное обозначение запомнил, а в названии немного путаюсь

Давайте в ПОНВ посоны

Давайте в ПОНВ посоны

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

Хахаха :))