Size: a a a

2020 August 10

AZ

Alex Zhukovsky in rust_offtopic
Doge Shibu
Иногда было бы полезно явно указать то, что замыкается в замыкании
когда тебе иногда это полезно - ты можешь написать let'ы перед замыканием, нет?
источник

DS

Doge Shibu in rust_offtopic
Alex Zhukovsky
когда тебе иногда это полезно - ты можешь написать let'ы перед замыканием, нет?
Ну и это часто выглядит ещё хуже, чем крестовая [...]-хрень
источник

AZ

Alex Zhukovsky in rust_offtopic
Doge Shibu
Ну и это часто выглядит ещё хуже, чем крестовая [...]-хрень
учитывая как часто нужно и как часто не нужно то и хер с ним
источник

DS

Doge Shibu in rust_offtopic
Alex Zhukovsky
учитывая как часто нужно и как часто не нужно то и хер с ним
Это да, я не спорю. Но с каким-то синтаксисом кратким было бы удобнее
источник

BD

Berkus Decker in rust_offtopic
Doge Shibu
Ну и это часто выглядит ещё хуже, чем крестовая [...]-хрень
[long_name = std::move(long_name), &another_long_name, =want_to_capture_by_value]

в целом гибко конечно
источник

AZ

Alex Zhukovsky in rust_offtopic
в крайнем случае ты всегда омжешь сделать
my_cpp_lambda!([x,y,&z, &mut a] => ...)
источник

BD

Berkus Decker in rust_offtopic
Alex Zhukovsky
в крайнем случае ты всегда омжешь сделать
my_cpp_lambda!([x,y,&z, &mut a] => ...)
кстате вроде был макрос на эту тему где-то
источник

SP

Stanislav Popov in rust_offtopic
Kai Ren
базовые понятия алгебры учатся школотой за несколько пар
лол нет ты не понимаешь. там не учить надо. там надо сформировать понимание что то что ты знаешь работает по этим правилам. если ты работаешь только с числами ты не понимаешь что есть какое то обобщение - ты его и не поймешь. тебе оно просто не нужно.

зато алгебру ты сам открываешь для себя когда начинаешь работать с например линейной алгеброй.

так и с кодом - ты не понимаешь что тебе нужно обобщение потому что тебе нечего обобщать
источник

p

polunin.ai in rust_offtopic
В юзер коде обобщать нечего
источник

AZ

Alex Zhukovsky in rust_offtopic
Doge Shibu
Лол, если он считает, что в теории типов тип - это множество, то это точно значит, что он ничего в ней не понимает.

В том числе ради чего она вообще появилась изначально
Ну в теории категорий тип это объект категории, то есть множество со стрелками
источник

DS

Doge Shibu in rust_offtopic
Alex Zhukovsky
Ну в теории категорий тип это объект категории, то есть множество со стрелками
В теории категорий - нет множеств в общем смысле
источник

AZ

Alex Zhukovsky in rust_offtopic
ну или множество стрелок
источник

DS

Doge Shibu in rust_offtopic
По очевидным причинам
источник

DS

Doge Shibu in rust_offtopic
Alex Zhukovsky
ну или множество стрелок
У тебя может не быть "множества" стрелок, т.к. их будет слишком много для того, чтобы быть множеством.
источник

AZ

Alex Zhukovsky in rust_offtopic
Doge Shibu
В теории категорий - нет множеств в общем смысле
в малых категорях объекты как раз множества вроде
источник

DS

Doge Shibu in rust_offtopic
Alex Zhukovsky
в малых категорях объекты как раз множества вроде
Да, но мы же про категории в целом.
источник

DS

Doge Shibu in rust_offtopic
Тут надо очень аккуратно со словом "множество", когда заходит речь о математике, тем более такой
источник

AZ

Alex Zhukovsky in rust_offtopic
Doge Shibu
Да, но мы же про категории в целом.
ну Hask это малая категория
источник

AZ

Alex Zhukovsky in rust_offtopic
и это категория типов
источник

DS

Doge Shibu in rust_offtopic
Alex Zhukovsky
ну Hask это малая категория
Да, но это конкретный пример, а мы говорим в общем
источник