В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

374 membersпожаловаться на группу
2020 May 13

DS

Doge Shibu in rust_offtopic
Nick Linker
И я писал. Да, есть масса недостатков, и бойлерплейт, и перфоманс (если делать тупо), но зато код ОФИГЕННО тестируемый во всех аспектах и срезах, и это перевешивает все недостатки.
Бойлерплейт кстати тоже можно было бы пофиксить при желании. В пакете free уже есть из коробки генерация алгебр и соответствующих функций, осталось сделать генераторы для сумм и произведений и вуаля.

UPD. ОФИГЕННО
Так суть в том, что final tagless даёт то же самое, но без бойлерплейта
источник
18:11пожаловаться#1

DS

Doge Shibu in rust_offtopic
Nick Linker
И я писал. Да, есть масса недостатков, и бойлерплейт, и перфоманс (если делать тупо), но зато код ОФИГЕННО тестируемый во всех аспектах и срезах, и это перевешивает все недостатки.
Бойлерплейт кстати тоже можно было бы пофиксить при желании. В пакете free уже есть из коробки генерация алгебр и соответствующих функций, осталось сделать генераторы для сумм и произведений и вуаля.

UPD. ОФИГЕННО
Т.е. всё вот это: 
код ОФИГЕННО тестируемый во всех аспектах и срезах, и это перевешивает все недостатки.


Точно так же есть и во final tagless стиле
источник
18:12пожаловаться#2

A

Aleksandr Khristenko in rust_offtopic
Doge Shibu
Так суть в том, что final tagless даёт то же самое, но без бойлерплейта
Окей, ты можешь порекомендовать какую-нибудь статью, где расписан этот подход на примере какого-нибудь приложения?
источник
18:12пожаловаться#3

NL

Nick Linker in rust_offtopic
Doge Shibu
Так суть в том, что final tagless даёт то же самое, но без бойлерплейта
возможно я ошибаюсь, но он не даёт такой свободы для тестирования.
Вот например https://github.com/nlinker/testing-code-that-accesses-db-in-haskell
На мой взгляд лучше всего с тестированием без бд у фримонад.
GitHub
nlinker/testing-code-that-accesses-db-in-haskell
5 ways to test code that accesses a DB in Haskell. Contribute to nlinker/testing-code-that-accesses-db-in-haskell development by creating an account on GitHub.
источник
18:13пожаловаться#4

DS

Doge Shibu in rust_offtopic
Aleksandr Khristenko
Окей, ты можешь порекомендовать какую-нибудь статью, где расписан этот подход на примере какого-нибудь приложения?
Там одинаковый код между tf стилем и Free
источник
18:14пожаловаться#5

DS

Doge Shibu in rust_offtopic
Т.е. буквально изомофрный. И важная деталь начнется тогда, когда у тебя появится второй вид эффектов
источник
18:16пожаловаться#6

DS

Doge Shibu in rust_offtopic
Вот тогда на фри пойдёт веселье, а на tagless final ничего не изменится
источник
18:16пожаловаться#7

NL

Nick Linker in rust_offtopic
Aleksandr Khristenko
Окей, ты можешь порекомендовать какую-нибудь статью, где расписан этот подход на примере какого-нибудь приложения?
https://markkarpov.com/post/free-monad-considered-harmful.html

Но не забудь посмотреть и обсуждение на реддите ради объективности
https://www.reddit.com/r/haskell/comments/72th9v/free_monad_considered_harmful/
Markkarpov
Free monad considered harmful
источник
18:16пожаловаться#8

Т8

Т-34 85 in rust_offtopic
Doge Shibu
STRef, и т.д. и т.п.
Это высокоуровневая эмуляция императивщины?
источник
18:18пожаловаться#9

DS

Doge Shibu in rust_offtopic
Nick Linker
https://markkarpov.com/post/free-monad-considered-harmful.html

Но не забудь посмотреть и обсуждение на реддите ради объективности
https://www.reddit.com/r/haskell/comments/72th9v/free_monad_considered_harmful/
Markkarpov
Free monad considered harmful
Вот тут ещё верную деталь про MTL говорят: 
All in all, the only serious cost of mtl-style is the n2 instances problem. But if you're having trouble with all the instances you have to write, just make a top-level application monad and write the instances there.

Вот это самый здравый вариант работы с final tagless и MTL. Оставьте трансформеры авторам библиотек.
источник
18:18пожаловаться#10

DS

Doge Shibu in rust_offtopic
Т-34 85
Это высокоуровневая эмуляция императивщины?
Нет, это прям напрямую компилится в императивный, мутабельный код.
источник
18:19пожаловаться#11

DS

Doge Shibu in rust_offtopic
Без всякой эмуляции
источник
18:19пожаловаться#12

DS

Doge Shibu in rust_offtopic
Aleksandr Khristenko
Окей, ты можешь порекомендовать какую-нибудь статью, где расписан этот подход на примере какого-нибудь приложения?
Можно посмотреть статьи у скалистов про final tagless, там прям дофига. И в скале final tagless выиграл сразу и бесповоротно.

Там разве что Дегуз дурью с ZLayer маятся, но ему надо было выпендрется, а то иначе он свои курсы никому не продаст.
источник
18:21пожаловаться#13

DS

Doge Shibu in rust_offtopic
Т-34 85
Это высокоуровневая эмуляция императивщины?
Высокоуровевая эмуляция императивщины - это State
источник
18:23пожаловаться#14

Т8

Т-34 85 in rust_offtopic
Doge Shibu
Нет, это прям напрямую компилится в императивный, мутабельный код.
так, стоп. В чисто функциональном языке можно мутировать стейт напрямую? Я правильно понял?
источник
18:46пожаловаться#15

JC

Julian =) Coffee in rust_offtopic
Ну если лямбда-исчисление эквивалентно тьюринг-машине, то да
источник
18:47пожаловаться#16

JC

Julian =) Coffee in rust_offtopic
В чем проблема
источник
18:47пожаловаться#17

DS

Doge Shibu in rust_offtopic
Т-34 85
так, стоп. В чисто функциональном языке можно мутировать стейт напрямую? Я правильно понял?
Да. Если оно делается в ссылочно прозрачном стиле.

Как пример:
https://wiki.haskell.org/Monad/ST
источник
18:47пожаловаться#18

Т8

Т-34 85 in rust_offtopic
Julian =) Coffee
Ну если лямбда-исчисление эквивалентно тьюринг-машине, то да
это не напрямую, а через эмуляцию
источник
18:47пожаловаться#19

Т8

Т-34 85 in rust_offtopic
через эмуляцию можно что угодно сделать
источник
18:48пожаловаться#20