AZ
Нет, разные вещи. В моем случае я хочу замены нечитаемвх символов на буквы, а ты хочешь скрыть лайфтаймы.
что нечитаемого в символах "меньше-доллар-больше"?
Size: a a a
2020 August 03
p
что нечитаемого в символах "меньше-доллар-больше"?
То что это бессмысленно
AZ
ты ведь понимаешь что оператор <$> это производный от $ ?
AZ
То что это бессмысленно
потому что стрелочки тут декоративные, а не "Больше-меншье"
AZ
какой смысл тут должен быть?
p
слушай, я видел код на агде. Я не считаю его дохрена читаемым ,скорее наоборот
А мне кажется удобным писать квантор всеобщности вместо <> для объявления дженериков. И выглядит логичнее, и читается лучше, и проблем для написания меньше.
AZ
А мне кажется удобным писать квантор всеобщности вместо <> для объявления дженериков. И выглядит логичнее, и читается лучше, и проблем для написания меньше.
ну так в хаскелле квантор, просто он неявный. Хотя можно включить экстеншном
p
ну так в хаскелле квантор, просто он неявный. Хотя можно включить экстеншном
Который пишется как forall. А в расте ебаные скобочки.
AZ
ну в расте сделали как в плюсах
AZ
я говорил вроде что мл лучше сишки
С
Математики не думают и не думали о читабельности ими написанного. Поэтому математическая нотация и Agda являются плохими примерами
AZ
ничего не поделать
AZ
Математики не думают и не думали о читабельности ими написанного. Поэтому математическая нотация и Agda являются плохими примерами
скорее математики столетиями вытачивали наиболее точный и понятный способ записи
С
скорее математики столетиями вытачивали наиболее точный и понятный способ записи
Да где же. Скорее уж военные или юристы.
p
Математики не думают и не думали о читабельности ими написанного. Поэтому математическая нотация и Agda являются плохими примерами
Наоборот им читабельность важна. К них и так формулы на несколько страниц, если писать как в проге принято то выйдет страниц на 10
AZ
Да где же. Скорее уж военные или юристы.
у военных и юристов куда проще предметная область
С
Наоборот им читабельность важна. К них и так формулы на несколько страниц, если писать как в проге принято то выйдет страниц на 10
Вот именно. Писать лень, они и выдумывают марсианскую букву Хтьфу
С
у военных и юристов куда проще предметная область
За неправильное понимание в их областях можно и помереть.
AZ
За неправильное понимание в их областях можно и помереть.
кстати благодаря военны появилась традиция не склонять города среднего рода
AZ
раньше принято было говорить в Гродне, в Осле и так далее)