Телеграмм чат группы rust_offtopic страница 11183

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

источник

23:30пожаловаться #5

DS

Doge Shibu in rust_offtopic

sexst

Я про всякие там нейроночки, вычисления графония и прочее

Там не те, кто обычно называются математики

источник

23:31пожаловаться #6

s

sexst in rust_offtopic

polunin.ai

Вопрос где здесь программисты

Не, ну я представить математика по образованию, который погромистом стал могу

источник

23:31пожаловаться #7

s

sexst in rust_offtopic

Но математика по работе - нет

источник

23:31пожаловаться #8

DS

Doge Shibu in rust_offtopic

Stanislav Popov

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

Смотря какие языки. У окамля, хаскеля, агды, coqa и т.п. таких проблем нет.

Да что там, даже у Дотти какое-то теоретическое обоснование есть.

источник

23:31пожаловаться #9

s

sexst in rust_offtopic

Ну ок, я понял в общих чертах)

источник

23:32пожаловаться #10

DS

Doge Shibu in rust_offtopic

Stanislav Popov

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

Но эта книга для тех, кто хочет писать как раз нормальные языки, с продуманной системой типов и т.п. и т.д.

источник

23:32пожаловаться #11

p

polunin.ai in rust_offtopic

Doge Shibu

Смотря какие языки. У окамля, хаскеля, агды, coqa и т.п. таких проблем нет.

Да что там, даже у Дотти какое-то теоретическое обоснование есть.

На этих языках объективно никто не программирует

источник

23:32пожаловаться #12

DS

Doge Shibu in rust_offtopic

polunin.ai

На этих языках объективно никто не программирует

Я пишу, да что там, даже у того же раста система типов не по наитию сделана.

источник

23:32пожаловаться #13

p

polunin.ai in rust_offtopic

Doge Shibu

Я пишу, да что там, даже у того же раста система типов не по наитию сделана.

На расте объективно никто не пишет😁

источник

23:32пожаловаться #14

SP

Stanislav Popov in rust_offtopic

Doge Shibu

Но эта книга для тех, кто хочет писать как раз нормальные языки, с продуманной системой типов и т.п. и т.д.

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

во вторых язык должен просто иметь нормальный тулинг и отзывчивость, приемлимую скорость компиляции.

и наконец чтобы писать язык нужно понимать вообще что в языке уменьшает сложность и каким образом

источник

23:34пожаловаться #15

p

polunin.ai in rust_offtopic

Doge Shibu

Я пишу, да что там, даже у того же раста система типов не по наитию сделана.

Давай переместимся 10 лет назад и посмотрим на те языки и посмотрим какие из используемых в то время языков имели типы данных не по наитию написанных.

источник

23:34пожаловаться #16

DS

Doge Shibu in rust_offtopic

polunin.ai

Давай переместимся 10 лет назад и посмотрим на те языки и посмотрим какие из используемых в то время языков имели типы данных не по наитию написанных.

Хаскель, окамл, кок

источник

23:34пожаловаться #17

DS

Doge Shibu in rust_offtopic

Все те же

источник

23:34пожаловаться #18

p

polunin.ai in rust_offtopic

Doge Shibu

Хаскель, окамл, кок