Denis
Фаршисты
Vasiliy
Ayrat
ТФ опять хоронят
https://github.com/graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell/blob/master/README.md
Doge
Doge
ТФ опять хоронят
https://github.com/graninas/hierarchical-free-monads-the-most-developed-approach-in-haskell/blob/master/README.md
Опять паста на кучу страниц с кратким содержанием "Но фри МаНаДы ЛУЧШЕ!!!! НУ ЛУЧШЕ ЖЕ!!!"
И как обычно с нулевой аргументацией и кучей бойлерплейта.
То есть для примера в свое время фри монады были очень модны в скала экосистеме, но с них кучу народу ушло в final tagless сразу же из-за того, насколько там меньше бойлерплейта и проблем с перформансом выходило
Stas
It was a beautiful time. I was young, C++ was simple, the future seemed to be bright.
Stas
Очень странное заявление
Mikhαil
Опять паста на кучу страниц с кратким содержанием "Но фри МаНаДы ЛУЧШЕ!!!! НУ ЛУЧШЕ ЖЕ!!!"
И как обычно с нулевой аргументацией и кучей бойлерплейта.
То есть для примера в свое время фри монады были очень модны в скала экосистеме, но с них кучу народу ушло в final tagless сразу же из-за того, насколько там меньше бойлерплейта и проблем с перформансом выходило
Типичный Гранин)) знаю его по нескольким чатам - чувак с непомерным эго который не любит в аргументы ни в одном споре
Крылатый
Doge
То есть на полном серьёзе топить за фри монады в архитектуре приложений - это очень сомнительно.
Я пробовал, впечатления куда хуже чем от таглесс файнал по юзабилити.
Ну и да, фри монады по своему устройству и принципам на порядок сложнее tagless final, которое объясняется с нуля за 5 минут (хоть и требует некоторой интуиции при использовании на практике)
Doge
А вот фри монады за 5 минут я не объясню
Igor
То есть на полном серьёзе топить за фри монады в архитектуре приложений - это очень сомнительно.
Я пробовал, впечатления куда хуже чем от таглесс файнал по юзабилити.
Ну и да, фри монады по своему устройству и принципам на порядок сложнее tagless final, которое объясняется с нуля за 5 минут (хоть и требует некоторой интуиции при использовании на практике)
Сколько смотрел докладов Олега, так и не понял до конца
Ilya
Ayrat
из скала чата
Doge
ОЛЕГА.
По final tagless ОЛЕГ - это прежде всего Олег Киселев, который главный автор статей по final tagless.
Doge
ОЛЕГА.
А Олег, который Нижников, он просто фанат этой техники.
И доклад по final tagless, который был на джава конфе, такое ощущение что был сделал, чтобы потроллить джавистов
Denis
final tagless это же там где свой интерпретатор пишут ?
Denis
работает, если мне память не изменяет, это все крайне хуево
Doge
final tagless это же там где свой интерпретатор пишут ?
Нет, final tagless - это то что в хаскеле mtl-style называют
Denis
не писал на хаскеле
Doge
работает, если мне память не изменяет, это все крайне хуево
Короче как раз final tagless работает бесплатно.
Doge
Фри монады работают на интерпретации и работают фигово, если не заниматься адской магией с компилятором (которая только в будущих версиях хаскеля и будет доступна)
Doge
Сколько смотрел докладов Олега, так и не понял до конца
Да, кстати, если ты не читал статьи Олега Киселева по final tagless, то можешь попробовать:
http://okmij.org/ftp/tagless-final/index.html
Igor
Когда мне год назад это предложили - я думал меня скалисты тролят.
Такая простая техника, что чтобы понять - надо читать папир.
Igor
Doge
Когда мне год назад это предложили - я думал меня скалисты тролят.
Такая простая техника, что чтобы понять - надо читать папир.
Я могу своими словами объяснить, но тогда уже завтра, с телефона не удобно будет набирать.
Igor
Да спасибо, не надо - я в итоге разобрался и понял что не нужно
Doge
Да спасибо, не надо - я в итоге разобрался и понял что не нужно
Ну такое себе утверждение.
Собственно, final tagless (и её ОО аналог, object algebra) - это лучшее решение для eDSL на статически типизированных языках.
Doge
Расширяемые как в плане добавления новых элементов, так и в плане способ интерпретации.
Не требуют при этом каких либо правок в язык, на практически любом из мейнстримовых языков можно запросто этой техникой воспользоваться.
Igor
Ну не хочу я писать императивно 🤷♀️ (даже на алгебрах).
Хочу как в кложурке - данные и чистые трансформации.
(эффекты в уголок заметем).
Doge
Ну не хочу я писать императивно 🤷♀️ (даже на алгебрах).
Хочу как в кложурке - данные и чистые трансформации.
(эффекты в уголок заметем).
Так это не про эффекты и императивность
Doge
Это про любые eDSL
Doge
Эффекты - это частный случай
Doge
Т.е. у того же Киселева не слова про эффекты
Igor
Возможно есть еще какие-то изотерические задачи для tf,
но в повседневной разработке ПО _мне_ только случай c эффектами и интересен.
Doge
Возможно есть еще какие-то изотерические задачи для tf,
но в повседневной разработке ПО _мне_ только случай c эффектами и интересен.
Ну везде, где тебе имеет смысл или хочется делать eDSL.
Vasily
Andrew
Shub
Ну везде, где тебе имеет смысл или хочется делать eDSL.
делать edsl - это плохая идея практически всегда
Vladimir
вот почему Василий не любит пробелы - экономит размер файла!
Shub
а в скале, где из синтаксического сахара одн for {} - так и подавно
Vasily
Fabulous
Vasily
Какой еще
Vasily
Проект Fabulous
Vasily
Взять пощупать очень просто
Vladislav
а студия открывает
Vasily
Ну райдер тоже открывает
Vasily
Но вырубает анализ
Vasily
Вот сука
Eugene
Первые несколько ссылок вполне походят на правду: там и документация, и вопросы на SO, не смог выбрать, что лучше. :)
https://www.google.ru/search?q=intellij+max+file+size&ie=UTF-8&oe=UTF-8&hl=en&client=safari
Denis
Vasily
Жосско
Vladislav
https://twitter.com/ctrlshifti/status/1257289850014883841?s=12
Doge
делать edsl - это плохая идея практически всегда
Да норм же, eDSL - это не всегда прям другой синтаксис
Doge
Ну не хочу я писать императивно 🤷♀️ (даже на алгебрах).
Хочу как в кложурке - данные и чистые трансформации.
(эффекты в уголок заметем).
И да, любая система эффектов не мешает тебе так писать.
Зато позволяет с эффектами, которые ты в угол замёл, работать в ФП стиле.
Крылатый
Блять, у нас Бугаенко рекламят с его менеджерскими идеями.
Shub
Стремительно, гордо, покато
Вздымается график ученья, -
То дух матана-теорката
Пророчит большие мученья.
Ты мог бы страдать за идею,
Чтоб выучить Хаскель когда-то,
Но бросил благую затею:
Там зло матана-теорката.
Ты струсил пред мнимой преградой,
Призвав Сматану из трактата.
Но был то не демон рогатый,
А маленький дух теорката.
Ты струсил, - и Хаскель до срока
Влачится тропою заката.
А где-то грустит одиноко
Обиженный дух теорката.
Shub
Угадайте автора
Shub
Хинт: это не Чепляка
Крылатый
Shub
Но лучше б конечно Чепляка писал стихи
Roman
Vladimir
Только недавно про деструкторы говорил, как я наткнулся на кейс где они прямо просятся - для нового System.Text.Json. Сейчас из-за того что они круто все сделали через аррейпулы нужно всегда Dispose вызывать чтобы память отдать. С другой стороны если ты хочешь не в статический тип десериализовать а на токены через JsonDocument, то эти их токены при динамической десериализации позже пытаются обратиться к JsonDocument который уже задиспоужен. Можно было бы пофиксить это добавлением деструктора чтобы не вызывать Dispose самому
Vladimir
https://github.com/dotnet/runtime/issues/29690
Anatoly
https://media.ccc.de/v/froscon2015-1524-lies_damned_lies_and_scans#webm - баян, но я не знал
Dr. Friedrich
В чатике с вакансиями внезапно ищут F#+Xamarin
Fail
Vasily
Мои , да