AT
Это вам на Go писать 🌚
Не говорите мне на чём мне писать, и я не буду говорить, куда Вам идти. 😉
Size: a a a
2020 September 03
YB
Не говорите мне на чём мне писать, и я не буду говорить, куда Вам идти. 😉
Та я ж набрасываю))
в🧇
Dollar Føølish
Так в Найтли есть же гат
incomplete feature warn by default 👌
AT
Та я ж набрасываю))
Тогда ладно. 😃
YB
Тогда ладно. 😃
Просто заметил, что когда в языке есть много фич - люди стремятся заюзать их все, причём, не всегда ясно зачем
DS
На вид автор путает понятия и пишет реализацию, а не интерпретатор
DS
Суть final tagless в возможности композировать алгебры
AT
Просто заметил, что когда в языке есть много фич - люди стремятся заюзать их все, причём, не всегда ясно зачем
Это проходит с опытом.
С другой стороны, при нехватке опыта иногда кажется, что другие используют больше фич, чем необходимо. Просто потому что не понемаешь ещё зачем они нужны и какие проблемы решают. 😉
С другой стороны, при нехватке опыта иногда кажется, что другие используют больше фич, чем необходимо. Просто потому что не понемаешь ещё зачем они нужны и какие проблемы решают. 😉
AD
Типа перейти к исходному коду библиотеки? Да, это работает. И с std, и со сторонними.
а из одного крейта в другой можно? ну то есть мой проект использует крейт A, A использует крейт B. Когда последний раз пробовал из проекта можно было перейти на определение из крейта А, но вот дальше, в крейт В было невозможно попасть.
YB
Это проходит с опытом.
С другой стороны, при нехватке опыта иногда кажется, что другие используют больше фич, чем необходимо. Просто потому что не понемаешь ещё зачем они нужны и какие проблемы решают. 😉
С другой стороны, при нехватке опыта иногда кажется, что другие используют больше фич, чем необходимо. Просто потому что не понемаешь ещё зачем они нужны и какие проблемы решают. 😉
Такое тоже есть, просто часто оказывается, что ты уже понял, а всё равно выходит какой-то оверинжиниринг :D
AT
На вид автор путает понятия и пишет реализацию, а не интерпретатор
Автор таки успешно решает expression problem — не ясно, в чём претензия. 🤷♀️
DS
Автор таки успешно решает expression problem — не ясно, в чём претензия. 🤷♀️
может в том, что final tagless ортогонально expression problem?
DS
e.p. замечательно решают растовские трейты, но это никак не приближает нас к final tagless
AT
Суть final tagless в возможности композировать алгебры
В Object Algebras тоже композируются алгебры, только это выглядит как наследование интерфейсов. При наличии классов типов композировать можно более гибко и гранулярно. Хорошо, что в Rust они таки есть. 😉
AT
может в том, что final tagless ортогонально expression problem?
Ну, а по-моему не ортогонально. 🤷♀️
AT
e.p. замечательно решают растовские трейты, но это никак не приближает нас к final tagless
"Из коробки" — нет, не решают. Впрочем, пофиг.
DS
"Из коробки" — нет, не решают. Впрочем, пофиг.
Видимо, мы разное понимаем под «expression problem»
AT
Видимо, мы разное понимаем под «expression problem»
В посте написано что это такое. 🤷♀️
DS
В посте написано что это такое. 🤷♀️
В посте пытаются добавить в джаву ADT, в расте уже есть ADT (enum) и механим добавления функций (трейты) - из коробки всё решается безо всякого final tagless
DS
Dollar Føølish
Gat
GADT?