АГ
I feel personally attacked by a PC member
Size: a a a
2020 February 09
AV
Справедливости ради, файнал и инишл кодировки не одинаковы по удобству и мощности
Но не в ту сторону
Oℕ
в обе
VC
I feel personally attacked by a PC member
так как не понятно шутка или нет, то добавлю что все ходы записаны - хотел набросить, то будь готов получать, стиггериться мог бы кто угодно
@qnikst держи себя в руках!)
@qnikst держи себя в руках!)
AV
Будто ответы на вбросы повлияют на оценку :)
AV
Ну и мое личное мнение и оценка участника ПК могут отличаться кардинально
Oℕ
так как не понятно шутка или нет, то добавлю что все ходы записаны - хотел набросить, то будь готов получать, стиггериться мог бы кто угодно
@qnikst держи себя в руках!)
@qnikst держи себя в руках!)
> стриггериться мог кто-угодно
но стриггерились только пара любителей ФТ
но стриггерились только пара любителей ФТ
VC
> стриггериться мог кто-угодно
но стриггерились только пара любителей ФТ
но стриггерились только пара любителей ФТ
ну и я к тому же - правильнее будет:
I feel personally attacked by a PC member -> I feel personally attacked by a TF adopterАГ
Как говорил Сталин:
"Так, значит, по первой части возражений нет."
"Так, значит, по первой части возражений нет."
λ
Уже сейчас можно увидеть соответствующий код: клиентское приложение, выполненное поверх (фри-монадного) фреймворка Hydra, где бизнес-логика работает с интерфейсом внешней подсистемы (отправляет через этот интерфейс астероиды и метеориты на сервер). И есть уже примеры 4 интерфейсов:
- ReaderT
- Service Handle
- Free Monad
- GADT
Еще сегодня добавлю Final Tagless (mtl).
А имплементацией в данном случае является способ, которым мы отправляем метеоры/астероиды. Это может быть TCP или HTTP.
https://github.com/graninas/Hydra/tree/master/app/astro/Astro/Client
- ReaderT
- Service Handle
- Free Monad
- GADT
Еще сегодня добавлю Final Tagless (mtl).
А имплементацией в данном случае является способ, которым мы отправляем метеоры/астероиды. Это может быть TCP или HTTP.
https://github.com/graninas/Hydra/tree/master/app/astro/Astro/Client
Кажется я где-то что-то похожее уже слышал
AV
Как говорил Сталин:
"Так, значит, по первой части возражений нет."
"Так, значит, по первой части возражений нет."
Ну чувствовать-то ты можешь что угодно, как тут можно возражать, это разве что персональные психологи могут. А я никакой не психолог
AV
Длинный текст про неприятие технологий не про тебя лично, а наблюдение в целом, относить ли его лично к себе личное дело каждого. Я к себе его отношу, т.к. у меня такая проблема есть
АГ
Добавил FT / mtl. Так себе получилось. Без зависимых типов это не решается толком. По крайней мере, в том виде, в котором я это добавил. Долго думал, как сделать вообще
https://github.com/graninas/Hydra/blob/master/app/astro/Astro/Client/FinalTagless.hs
https://github.com/graninas/Hydra/blob/master/app/astro/Astro/Client/FinalTagless.hs
АГ
На этом оффтопик спам прекращаю
2020 February 12
KZ
VC
Kirill Zaborsky
пасиб - починим
AK
Где билеты-то покупать? :)
AV
там на сайте кнопка buy a ticket
