Doge
Shapeless - это тайп астронавтика чистого вида, например.
Крылатый
Ayrat
Тайп астронавтика - это обычно какие-то вычисления на уровне типов, проброс значений с уровня типов на уровень значений и наоборот.
Ты рассуждаешь с точки зрения тайп астронавта кмк
Shub
Тут вопрос в том, что в оригинальном примере автор спрашивал бесмысленную вещь, типа обернуть инстанс тайпкласса в аппликативный функтор.
Зачем? Почему? Непонятно.
почему ты вдруг решил, что это бессмысленный вопрос? это скала все-таки
Ayrat
почему ты вдруг решил, что это бессмысленный вопрос? это скала все-таки
Действительно, очень насущный вопрос
Doge
почему ты вдруг решил, что это бессмысленный вопрос? это скала все-таки
Ну не очень понятно, что он потом с этим инстансом будет делать.
Shub
что-то видимо он там делает, т.к. его оригинальный вопрос не "как [вообще] сделать", а "как это сделать [еще] элегантнее"
Shub
для некоторого определения "элегантности", разумеется
Doge
что-то видимо он там делает, т.к. его оригинальный вопрос не "как [вообще] сделать", а "как это сделать [еще] элегантнее"
Там ниже прояснилось, что вроде бы имелось в виду что-то типа, как имея Eq[A], получить Eq[F[A]], где F[_]: Applicative
Doge
И это уже более разумная идея, чем то, что написано вначале.
Shub
И это уже более разумная идея, чем то, что написано вначале.
а это уже неважно. важно, что основа получила свой шанс поистерить и разбросать игрушки
Doge
Хотя выражать её чуть по другому надо, всё равно
Vladislav
https://github.com/eiriktsarpalis/TypeShape/blob/master/README.md
Vladislav
Всем HKT
Ayrat
Вася же даже на нем какую-то хрень для лайтДб сделал
Ayrat
И либозависимо
x
А на Авалонии что-то кроме хеллоу ворлдов существует? В какой она вообще стадии
Vladislav
А на Авалонии что-то кроме хеллоу ворлдов существует? В какой она вообще стадии
В нормальной. На ней студия для плюсов и fpga написана
Vladislav
https://github.com/VitalElement/AvalonStudio
Vladislav
А причем здесь айос?
Там кодген используется, а там нельзя. Пока выключается флагом компилятора только
Ayrat
Там кодген используется, а там нельзя. Пока выключается флагом компилятора только
А вы формы на замарине пилите? Там можно не вырвиглазно сделать?
Vladislav
А вы формы на замарине пилите? Там можно не вырвиглазно сделать?
Да, можно. В целом скорее больше с быстродействием боремся
Vladislav
Там приходится усиленно репу чесать
Doge
https://github.com/eiriktsarpalis/TypeShape/blob/master/README.md
А в чем разница с lightweight higher kinded types, если точно те же project/inject надо расставлять?
Vladislav
https://twitter.com/kentbeck/status/1181689870063812608?s=12
Vladislav
Aleksandr
https://twitter.com/kentbeck/status/1181689870063812608?s=12
Да это ж pandas, pyplot + абсолютно любой пакет на R
Roman
https://pastebin.com/VGQLMSXi
Roman
новые глубины
Vasiliy
Народ, какая большая конференция по Функциональщине есть в РФ?
Vasiliy
еще кто то в прошлом году даже приходили агитировать съездить на нее
Vasiliy
о норм, может еще и в 20 будет :D
Doge
Ещё был большой скала митап недавно и будет скала конф в ноябре
Igor
А еще через пару недель в мск будет
https://cloju.ru
Vasiliy
Ну, не, скала слишком далеко). Спс
Анна
Народ, какая большая конференция по Функциональщине есть в РФ?
В Минске, я надеюсь, будет в январе. Но чот я не знаю 🌚
Roman
И это только регистрация типов, лол
ага. Я потратил некоторое время, чтобы понять, что бага была именно здесь
Roman
и все это говно делается во славу того самого Chiron.Json
Vladyslav
"некоторое время"
Vasiliy
В Минске, я надеюсь, будет в январе. Но чот я не знаю 🌚
ммм, тут думаю фирма уже не поймет зачем я еду в Минск :D
Анна
Можно с докладом
Vasiliy
Doge
ага. Я потратил некоторое время, чтобы понять, что бага была именно здесь
А зачем делать такую вот регистрацию, которая работает на рефлексии, если юзается хирон?
Roman
А зачем делать такую вот регистрацию, которая работает на рефлексии, если юзается хирон?
ты спросишь меня и уйдешь так и не узнав
Roman
оу ее
Danil
Я - эндофунктор с двумя естественными преобразованиями
Vladislav
Я лично зигохистоморфный препроморфизм
Ayrat
Сегодня в разговоре с боссом услышал интересную мысль.
Есть три типа инженеров, по его мнению.
Спецназ, который первым вступает в бой и решает проблему точечно.
Есть армия. Она приходит и установливает порядок на территории, помогает поднять инфраструктуру.
И есть полиция. Она работает в мирное время, поддерживает порядок.
Мне показалось такое сравнение довольно точным
Doge
Сегодня в разговоре с боссом услышал интересную мысль.
Есть три типа инженеров, по его мнению.
Спецназ, который первым вступает в бой и решает проблему точечно.
Есть армия. Она приходит и установливает порядок на территории, помогает поднять инфраструктуру.
И есть полиция. Она работает в мирное время, поддерживает порядок.
Мне показалось такое сравнение довольно точным
Да, разумно.
Очень похоже на то, как у меня на прошлой работе неформально разделялся отдел разработки.
Dmitry
Сегодня в разговоре с боссом услышал интересную мысль.
Есть три типа инженеров, по его мнению.
Спецназ, который первым вступает в бой и решает проблему точечно.
Есть армия. Она приходит и установливает порядок на территории, помогает поднять инфраструктуру.
И есть полиция. Она работает в мирное время, поддерживает порядок.
Мне показалось такое сравнение довольно точным
Интересно, если детализировать армию — кто РВСН и кто сторйбат?
Igor
Сегодня в разговоре с боссом услышал интересную мысль.
Есть три типа инженеров, по его мнению.
Спецназ, который первым вступает в бой и решает проблему точечно.
Есть армия. Она приходит и установливает порядок на территории, помогает поднять инфраструктуру.
И есть полиция. Она работает в мирное время, поддерживает порядок.
Мне показалось такое сравнение довольно точным
Треть это которые создают видимость работы, а сами х_и пинают?
Doge
Прям могу сразу представить, кто, когда и в какой группе был
Vladislav
https://github.com/dotnet/fsharp/pull/7675
Romɑn
Ayrat
Протобаф
Ayrat
Грпц
Ayrat
Свагер
Ayrat
Компанион обжекты к типам
Ayrat
Да дохуя чего можно придумать
Ayrat
Да даже эти ебаные toJson fromJson можно туда впихать
Ilya
Звучит сложно...