Alexander
почему хак?
Denis
> простейшая
давайте с определения простейшести начнем
Vladislav
Опять кандалы формализмов
Denis
кандализм тоже неплохо звучит как диагноз
Vladislav
в категории монад, я могу натуральную трансформацию m ~> Proxy написать для любой m
Denis
вроде: “у вас кандализм в терминальной стадии”
Cheese
Давайте где-нибудь сделаем Wiki с переводом FP терминов на русский
у Раста есть такая. мы чем хуже?
Зигохистоморфный
Denis
https://imgs.xkcd.com/comics/standards.png
Vladislav
Положим конец кандалам стандартов, каждый делает как хочет
Denis
в YAML RFC ведут борьбу изнутри системы
Vladislav
первый free config format
Denis
у них основная фича это free parsing, если верить Юрию
Зигохистоморфный
ну и преимущество фри монад что они не схлопывают сразу контекст через join
Vladislav
Это не преимущество, это повод быть очень осторожным с ними
Vladislav
потому что интерпретатор должен соблюдать законы в итоге
Vladislav
Инстанс Monad для Free законам строго говоря не соответствует, ответственность лежит на интерпретаторе
parket
Cheese
https://github.com/ruHaskell/ruhaskell/wiki/Translation
Denis
free as in free config format
Cheese
я такого не утверждал
Denis
у тебя целый репозиторий про то что парсеры YAML свободны от кандализмов
Aleksei (astynax)
Free as Free Willy
Aleksei (astynax)
A64m
рядового полиморфизма для типизированного конфига мало, там же типы еще объявляются, значит надо что-то типа мерджинга сигнатур из миксин-модулей
Cheese
у тебя целый репозиторий про то что парсеры YAML свободны от кандализмов
я не могу согласиться с такой формулировкой
Ignat
Leonid 🦇
@cblp_su неплохо пошел на /r/programming
Dmitry
это про ямл-то?
Leonid 🦇
всё еще
Leonid 🦇
еще на первой
Vladislav
Vladislav
Припекло у меня.
Leonid 🦇
видать ямл все ненавидят
Vladislav
Но менять не стану, Википедия так же считает.
Cheese
это не я такой хороший, а ямл такой плохой
Leonid 🦇
@int_index потому что не Гаскель?
Vladislav
Ага
Dmitry
ц-то откуда?
Danila Matveev
Leonid 🦇
Х-ль
Alexander
и кто бы это мог быть..
Vladislav
@cblp_su Как unification переводить будем?
Alexander
/me ищет предателя
Cheese
ещё про Карри/Курри/Кёрри можно поспорить
Vladislav
и ad hoc вроде на степике назвали "частный полиморфизм", мне нравится
Denis
унификация же нормальное заимствованное слово
Vladislav
с unification переводит на "частный случай формулы"
Cheese
"ad hoc" вроде всегда был "к месту", "по месту"
Vladislav
Ладно, вот есть https://ru.wikipedia.org/wiki/%D0%A3%D0%BD%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F
Cheese
статья https://ru.wikipedia.org/wiki/Частный_случай_формулы как раз рассказывает про унификацию
Vladislav
Оно использует слово "унификация" там, да
Vladislav
Но мне вот эта фраза еще приметилась
Cheese
кажется, я где-то встречал "приведение"
Vladislav
Формула {\displaystyle C} C называется совместным частным случаем формул {\displaystyle A} A и {\displaystyle B} B, если {\displaystyle C} C является частным случаем формулы {\displaystyle A} A и одновременно частным случаем формулы {\displaystyle B} B
Vladislav
Слово "совместный" тут намекает на то, что было проведено совмещение
Vladislav
Так что unification = совмещение
Cheese
но явно этого не написано
Vladislav
да, просто спекулирую
Vladislav
left identity = левый нейтральный элемент?
Vladislav
нормально
Cheese
почему нет?
Vladislav
говорю же, нормально
Cheese
есть ещё "единица", но когда по сложению "единицей" становится ноль, это запутывает
Vladislav
Как говорить instantiated? i.e. fmap instantiated at the [] type
Vladislav
я обычно переводил как "инстанцированный"
Vladislav
fmap инстанцированный на списках
Leonid 🦇
а как перевести force задумки?
Dmitry
вы в 1с решили хаскель транспилить?