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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Rust — русскоговорящее сообществo

2496 membersпожаловаться на группу
2020 September 03

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Danieλ Sλapman
В посте пытаются добавить в джаву ADT, в расте уже есть ADT (enum) и механим добавления функций (трейты) - из коробки всё решается безо всякого final tagless
Моя оценка Вашего высказывания — Вы просто не разобрались в проблеме. Но обосновывать своё мнение я никак не собираюсь, так что смотрите сами.
источник
16:23пожаловаться#1

в🧇

вафель 🧇 in Rust — русскоговорящее сообществo
Danieλ Sλapman
GADT?
нет
источник
16:23пожаловаться#2

DS

Danieλ Sλapman in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Моя оценка Вашего высказывания — Вы просто не разобрались в проблеме. Но обосновывать своё мнение я никак не собираюсь, так что смотрите сами.
Могу сказать ровно то же.
источник
16:23пожаловаться#3

JC

Julian =) Coffee in Rust — русскоговорящее сообществo
Danieλ Sλapman
GADT?
Generic Associated Types
источник
16:24пожаловаться#4

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Danieλ Sλapman
Могу сказать ровно то же.
Логично. 👍
Ну, кому надо сами решат кто из нас правее. 🤷‍♀️
источник
16:24пожаловаться#5

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Danieλ Sλapman
В посте пытаются добавить в джаву ADT, в расте уже есть ADT (enum) и механим добавления функций (трейты) - из коробки всё решается безо всякого final tagless
Впрочем, в качестве намёка (опять же, для интересующихся) укажу на тот факт, что Final Tagless придумали для Haskell (или OCaml), в котором ADT и классы типов ещё более есть, и тем не менее.
источник
16:26пожаловаться#6

DS

Danieλ Sλapman in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Впрочем, в качестве намёка (опять же, для интересующихся) укажу на тот факт, что Final Tagless придумали для Haskell (или OCaml), в котором ADT и классы типов ещё более есть, и тем не менее.
Спасибо, я даже читал пейпер Киселёва
источник
16:28пожаловаться#7

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Danieλ Sλapman
Спасибо, я даже читал пейпер Киселёва
Круто! Всецело одобряю. (Я серьёзно, без иронии.)

Но ремарка, всё же, была не для Вас. 😊
источник
16:29пожаловаться#8

DS

Danieλ Sλapman in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Впрочем, в качестве намёка (опять же, для интересующихся) укажу на тот факт, что Final Tagless придумали для Haskell (или OCaml), в котором ADT и классы типов ещё более есть, и тем не менее.
А ещё там есть HKT (в OCaml - параметрические модули) 😉
источник
16:35пожаловаться#9

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Danieλ Sλapman
А ещё там есть HKT (в OCaml - параметрические модули) 😉
И это всё равно не спасает от expression problem... 🤔
источник
16:36пожаловаться#10

DS

Danieλ Sλapman in Rust — русскоговорящее сообществo
Alexander Tchitchigin
И это всё равно не спасает от expression problem... 🤔
При всём уважении, мой изначальный посыл в том, что в той статье про джаву - не final tagless, а для «настоящего» final tagless нужны HKT
источник
16:38пожаловаться#11

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Danieλ Sλapman
При всём уважении, мой изначальный посыл в том, что в той статье про джаву - не final tagless, а для «настоящего» final tagless нужны HKT
Да, я понял. Но я не разделяю этого мнения. Как и Вашего мнения, что FT ортогонален Expression Problem.
Но спорить не хочу. 🤷‍♀️
источник
16:40пожаловаться#12

DS

Danieλ Sλapman in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Да, я понял. Но я не разделяю этого мнения. Как и Вашего мнения, что FT ортогонален Expression Problem.
Но спорить не хочу. 🤷‍♀️
В части ортогональности я формально неправ, FT решает в том числе expression problem
источник
16:41пожаловаться#13

DS

Danieλ Sλapman in Rust — русскоговорящее сообществo
В свою очередь намекну интересующимся, что final tagless позволяет абстрагироваться от типа эффекта конечного интерпретатора, что в java-подходе из статьи не получится
источник
16:56пожаловаться#14

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Danieλ Sλapman
В свою очередь намекну интересующимся, что final tagless позволяет абстрагироваться от типа эффекта конечного интерпретатора, что в java-подходе из статьи не получится
Это интересный момент, и для этого уже действительно понадобятся HKT.
Только если это делается (в Haskell) так, как я думаю, то этот приём как раз ортогонален FT и используется без него достаточно часто. Есть ли пример чтобы проверить, правильно ли я догадался?
источник
17:08пожаловаться#15

DS

Danieλ Sλapman in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Это интересный момент, и для этого уже действительно понадобятся HKT.
Только если это делается (в Haskell) так, как я думаю, то этот приём как раз ортогонален FT и используется без него достаточно часто. Есть ли пример чтобы проверить, правильно ли я догадался?
К примеру вот https://jproyo.github.io/posts/2019-03-17-tagless-final-haskell.html
Juan Pablo Royo Sales
Tagless Final Encoding in Haskell
How to implement tagless final encoding in Haskell and making a testable program using Type Application
источник
17:16пожаловаться#16

DS

Danieλ Sλapman in Rust — русскоговорящее сообществo
(я сейчас с телефона, прошу извинить, так бы сам накидал минимальный пример)
источник
17:16пожаловаться#17

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Danieλ Sλapman
К примеру вот https://jproyo.github.io/posts/2019-03-17-tagless-final-haskell.html
Juan Pablo Royo Sales
Tagless Final Encoding in Haskell
How to implement tagless final encoding in Haskell and making a testable program using Type Application
Спасибо, смотрю.
источник
17:20пожаловаться#18

AT

Alexander Tchitchigi... in Rust — русскоговорящее сообществo
Ладно, я подумал про другой приём. 😄
источник
17:33пожаловаться#19

DS

Danieλ Sλapman in Rust — русскоговорящее сообществo
Alexander Tchitchigin
Ладно, я подумал про другой приём. 😄
Можете поделиться, мне теперь самому интересно 😅
источник
17:37пожаловаться#20