Aleksandr
Из Беларуси уже тоже можно
у вас так до конца и не вводили карантин?
Анна
У нас тут победили этот коронапсихоз уже, ага 🤦‍♀️
Aleksandr
хоть какие-то хорошие новости из Беларуси
Анна
Анна
Анна
Спасибо, что не воняет
Ayrat
а черногория только европейцев пускает?
Нас пустили с проверкой резиденства Ирландии.
Ayrat
Когда увидели наши РФ паспорта
Anonymous
https://youtu.be/RFrKffrKCeU Это вумен?
Vladislav
🇺🇦 Дмитрий
После египта мне что то не заходят другие моря
Ilya
Из-за фшарпа тоже потенциальную работу теряют!
Vasiliy
это RUSTaman
что то хаскелист слишком хорош
AlexB
AlexB
гпт3 направдорубил
Stas
токсично)
Vladimir
Еще одна)
AlexB
токсично)
Ну дык обучался на фшарп форуме же :)
Vasiliy
немного воды по Киберпанку)
Vasiliy
https://dtf.ru/games/174320-dizayner-kvestov-o-razvetvlennosti-v-cyberpunk-2077-igru-mozhno-proyti-dazhe-ne-zakonchiv-osnovnoy-kvest
Крылатый
https://dtf.ru/games/174320-dizayner-kvestov-o-razvetvlennosti-v-cyberpunk-2077-igru-mozhno-proyti-dazhe-ne-zakonchiv-osnovnoy-kvest
Как-то уж слишком много обещаний. Как бы фейлом не кончилось.
Igor
Ребят, как думаете, а какие планы у MS на MAUI/Xamarin? Зачем он им вообще нужен?
Igor
К чему это я, тут новость появилась что в jb ищут девелопер для портирования jetpack compose на desktop/web И тут вместе с flutter/react(native) уже совсем мало место остается для еще одного фреймворка.
Igor
Тут еще Никита вбрасывал в xamarin чатик, что один из главных манагеров уходят из xamarin
Vladislav
Тут еще Никита вбрасывал в xamarin чатик, что один из главных манагеров уходят из xamarin
В другом же чатике говорили что этих пмов в мс как мусора и непонятно чем они занимаются
Igor
Ну вот похоже что это единственная причина)
Vladislav
)
Nikolay
А есть у кого идеи, как сделать заглушку для kprintf, ну или sprintf? Типа: let kprintf continuation format = if isLoggingEnabled then Printf.kprintf continuation format else ??
Nikolay
ignore?
Он возвращает 'a
Nikolay
Shub
tpetricek on Dec 9, 2016 [–] Not only we do not need HKT, we also do not need Profunctor Optics.
Shub
Томаш мой кумир просто
Григорий
кек, а он как-то аргументировал почему не надо?)
Vasily
кек, а он как-то аргументировал почему не надо?)
Ну если хочется линз, тебе в другой язык
Vasily
С HKT та же история
Григорий
я знаю)
Vasily
Иди там дрочи в скале или в хаскеле
Григорий
я вот и спрашиваю какие его аргументы)
Vasily
Он прагматик
Vasily
И понимает
Vasily
Что нормально не затащишь
Vasily
А ненормально если будет
Vasily
Получится хуйня
Григорий
да, я видел, что хотелки в пейпере фаршика висели, но пока в дотнет не завезут, то не будет
Григорий
разве тут уже не было обсуждений, что мол SRTP для похожий целей делали, не?)
Shub
Лучше б написал почему.
он там написал почему. "интересный вайтпейпер, но нет"
Shub
я вот и спрашиваю какие его аргументы)
аргумент всего один: коре тим не хочет увеличивать сложность на несколько порядков ради спорных полпроцента улучшений.
Shub
потому что HKT предлагают затащить именно в язык
Roman
Ну так это большая разница - вообще не надо хкт или не надо херовое на коленке хкт
Григорий
хм, интересно, а какие требования нужно соблюсти в ЯП, чтобы запилить HKT, не считая ограничения платформы🤔
Roman
Без поддержки в платформе слишком много работы надо сделать, чтоб на уровне языка чисто
Roman
Поддержка иде, дебаг, вот это все
Григорий
это понятно, однако непонятно, что конкретно нужно запилить в F# для как раз таки реализации требуемой фичи
Igor
это понятно, однако непонятно, что конкретно нужно запилить в F# для как раз таки реализации требуемой фичи
а какой можно профит с них получить, без тайпклассов? вроде обычно такое требуют как дополнение к ним
Roman
Как они вообще связаны?
Igor
без них монады и функторы не выразить, можно только моноид 🙃
Григорий
а какой можно профит с них получить, без тайпклассов? вроде обычно такое требуют как дополнение к ним
так, собственно, я и спрашивал, мб кто знает, что для этого и требуется)
Shub
Как они вообще связаны?
без них не будет дженерик операторов как минимум. поинт всей этой бодяги в получении особого синтаксиса, который, в теории, уберет лишние шумы и снизит когнитивную нагрузку на читателя. например, в аппликативах и монадаха нет никакого смысла без операторов и синтаксического сахара. но это только в теории
Roman
Про операторы согласен, да. Но даже без них есть разумные юзкейсы для хкт
Shub
Про операторы согласен, да. Но даже без них есть разумные юзкейсы для хкт
ну без дженерик операторов и прочего эти юзкейсы решаются, просто получается слишком ад-хок и бойлерплейт. я лично считаю, что основная масса проектов на эфшарп не использует возможности системы типов даже наполовину, и запиливание хкт очень здорово усложнит ту часть, которая используется
Shub
Так как раз развития систем типов обычно сильно упрощают то, что раньше в этой системе типов делалось сложно и неудобно
совершенно не понимаю, как длинные сопли из вложенных конструкторов типов могут помочь упрощению. так-то лямбда-счисление является вполне достаточным инструментом для решения любых задач, но все-таки иметь синтаксис для операторов, структур, типов и прочего удобнее, чем ванильные лямбды
Shub
ну в общем это такоэ, мы говорим про одно и то же, только разными словами
Shub
я тут нашел отличный пример, как не надо евангелизировать эфшарп
Shub
https://kunjan.in/2019/10/shades-of-fsharp/
Ayrat
бля. Мой телефон внезапно впал в бутлуп и брикнулся.
Ayrat
А я на нём ничего не делал
Ayrat
вообще внезапно