Size: a a a

2020 August 03

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
Нет, разные вещи. В моем случае я хочу замены нечитаемвх символов на буквы, а ты хочешь скрыть лайфтаймы.
что нечитаемого в символах "меньше-доллар-больше"?
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
что нечитаемого в символах "меньше-доллар-больше"?
То что это бессмысленно
источник

AZ

Alex Zhukovsky in rust_offtopic
ты ведь понимаешь что оператор <$> это производный от $ ?
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
То что это бессмысленно
потому что стрелочки тут декоративные, а не "Больше-меншье"
источник

AZ

Alex Zhukovsky in rust_offtopic
какой смысл тут должен быть?
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
слушай, я видел код на агде. Я не считаю его дохрена читаемым ,скорее наоборот
А мне кажется удобным писать квантор всеобщности вместо <> для объявления дженериков. И выглядит логичнее, и читается лучше, и проблем для написания меньше.
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
А мне кажется удобным писать квантор всеобщности вместо <> для объявления дженериков. И выглядит логичнее, и читается лучше, и проблем для написания меньше.
ну так в хаскелле квантор, просто он неявный. Хотя можно включить экстеншном
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
ну так в хаскелле квантор, просто он неявный. Хотя можно включить экстеншном
Который пишется как forall. А в расте ебаные скобочки.
источник

AZ

Alex Zhukovsky in rust_offtopic
ну в расте сделали как в плюсах
источник

AZ

Alex Zhukovsky in rust_offtopic
я говорил вроде что мл лучше сишки
источник

С

Слава in rust_offtopic
Математики не думают и не думали о читабельности ими написанного. Поэтому математическая нотация и Agda являются плохими примерами
источник

AZ

Alex Zhukovsky in rust_offtopic
ничего не поделать
источник

AZ

Alex Zhukovsky in rust_offtopic
Слава
Математики не думают и не думали о читабельности ими написанного. Поэтому математическая нотация и Agda являются плохими примерами
скорее математики столетиями вытачивали наиболее точный и понятный способ записи
источник

С

Слава in rust_offtopic
Alex Zhukovsky
скорее математики столетиями вытачивали наиболее точный и понятный способ записи
Да где же. Скорее уж военные или юристы.
источник

p

polunin.ai in rust_offtopic
Слава
Математики не думают и не думали о читабельности ими написанного. Поэтому математическая нотация и Agda являются плохими примерами
Наоборот им читабельность важна. К них и так формулы на несколько страниц, если писать как в проге принято то выйдет страниц на 10
источник

AZ

Alex Zhukovsky in rust_offtopic
Слава
Да где же. Скорее уж военные или юристы.
у военных и юристов куда проще предметная область
источник

С

Слава in rust_offtopic
polunin.ai
Наоборот им читабельность важна. К них и так формулы на несколько страниц, если писать как в проге принято то выйдет страниц на 10
Вот именно. Писать лень, они и выдумывают марсианскую букву Хтьфу
источник

С

Слава in rust_offtopic
Alex Zhukovsky
у военных и юристов куда проще предметная область
За неправильное понимание в их областях можно и помереть.
источник

AZ

Alex Zhukovsky in rust_offtopic
Слава
За неправильное понимание в их областях можно и помереть.
кстати благодаря военны появилась традиция не склонять города среднего рода
источник

AZ

Alex Zhukovsky in rust_offtopic
раньше принято было говорить в Гродне, в Осле и так далее)
источник