Size: a a a

2020 July 17

SP

Stanislav Popov in rust_offtopic
меня тут нагазлайтили что я петух потому что тру кодят все обобщенно а для обобщенного рулит динамика
источник

p

polunin.ai in rust_offtopic
а как называется вот эта операция из ФП:
foo bar
это вызов функции или нет? если да, то почему тогда говорят что 0 это функция которая возвращает одно значение: 0
источник

H

Hirrolot in rust_offtopic
polunin.ai
а как называется вот эта операция из ФП:
foo bar
это вызов функции или нет? если да, то почему тогда говорят что 0 это функция которая возвращает одно значение: 0
Называется аппликация аргументов к функции. Говорят потому что это функция из UnitType в Int
источник

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
polunin.ai
а как называется вот эта операция из ФП:
foo bar
это вызов функции или нет? если да, то почему тогда говорят что 0 это функция которая возвращает одно значение: 0
В синтаксисе какого языка? В мл вызов
источник

p

polunin.ai in rust_offtopic
Hirrolot
Называется аппликация аргументов к функции. Говорят потому что это функция из UnitType в Int
ок спс
источник

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
А про 0 так говорят дурачки, которые не могут фп и не фп совместить
источник

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
Hirrolot
Называется аппликация аргументов к функции. Говорят потому что это функция из UnitType в Int
Не вижу в записи 0 передачу юнита
источник

H

Hirrolot in rust_offtopic
Artöm Bakri Al-Sarmini
А про 0 так говорят дурачки, которые не могут фп и не фп совместить
А в Пеано кодировке тогда что такое Z?
источник

SP

Stanislav Popov in rust_offtopic
это не константа а функция без аргументов яскозал
источник

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
Покажи о чем ты
источник

p

polunin.ai in rust_offtopic
Stanislav Popov
это не константа а функция без аргументов яскозал
функция без аргументов в ФП это константа
источник

H

Hirrolot in rust_offtopic
Artöm Bakri Al-Sarmini
Покажи о чем ты
Известно, что Z и S - конструкторы значений индуктивного типа Int:

data Int = Z | S Int
источник

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
Так
источник

B

Bogdan in rust_offtopic
polunin.ai
Телеграмм, только данные хранятся не на центральном сервере а на устройствах
Я тоже хочу, но это несбыточная мечта.

Разве там будет исключительно текстовый контент, но это нахуй никому не впало из юзеров

Еще проблема с борьбой со спамом
источник

H

Hirrolot in rust_offtopic
Artöm Bakri Al-Sarmini
Не вижу в записи 0 передачу юнита
Потому что у UnitType всего одно значение, а поэтому не имеет смысла его передавать
источник

AB

Artöm Bakri Al-Sarmi... in rust_offtopic
Hirrolot
Потому что у UnitType всего одно значение, а поэтому не имеет смысла его передавать
Это бред
источник

H

Hirrolot in rust_offtopic
Почему?
источник

p

polunin.ai in rust_offtopic
Bogdan
Я тоже хочу, но это несбыточная мечта.

Разве там будет исключительно текстовый контент, но это нахуй никому не впало из юзеров

Еще проблема с борьбой со спамом
где проблема
источник

B

Bogdan in rust_offtopic
polunin.ai
где проблема
ну где хрванить 1.4 гб атачмент к примеру?)
источник

B

Bogdan in rust_offtopic
пока получаетль не защшел онлайн
источник