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

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

472 membersпожаловаться на группу

2020 July 18

D

Dima in rust_offtopic

Очевидно не выражается, потому что раст бездарное говно с мусорной системой типов.

Кода n + 1 - не существует. Ты пытаешься прикрутить левую семантику, семантики арифметики и тысячи всяких базовых операций над нею, которые уже реализованы в твоём недоязычке.

От завтипов нужно не это. А нужна возможность выражения это семантики.

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

источник

21:05пожаловаться #1

p

polunin.ai in rust_offtopic

Stanislav Popov

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

С самого начала я адекватно писал. Потом когда понял что опоннент обезьяна, начал с ним говорить на обезъяннем чтобы он понял.

источник

21:05пожаловаться #2

Rn

Roman na in rust_offtopic

Окей. А дефолт параметры для шаблонов - язык и прямо существуют на уровне типов? Покажи мне как мне в шаблоне принять другой шаблон, у которого шаблонный параметр имеет значение по-умолчанию, без копипасты этого значения по умолчанию?

Никакому шаблону не нужно принимать какой-то шаблон и прочая херня. Проблема в том, что в твоём недоязычке нету полиморфизма. Это похороны

источник

21:05пожаловаться #3

Ct

Casual tears in rust_offtopic

Никакому шаблону не нужно принимать какой-то шаблон и прочая херня. Проблема в том, что в твоём недоязычке нету полиморфизма. Это похороны

Окей, допустим не нужно. Что в типе твоего newtype сигнализирует о том, что у тебя там дефолт значение есть для шаблонного параметра?

источник

21:06пожаловаться #4

Rn

Roman na in rust_offtopic

С самого начала я адекватно писал. Потом когда понял что опоннент обезьяна, начал с ним говорить на обезъяннем чтобы он понял.

Обезьяна, опрадываться за атомики. Бегом

источник

21:06пожаловаться #5

DS

Doge Shibu in rust_offtopic

Я в идрис, увы не шарю. Только мимокрокодилил. В расте я точно знаю что такие штуки НЕ выражаются. И я не НЕ понимаю КАК это сделать в С++ даже с учётом того свойства ньютайпности, которое ты показал.

Покажи, пожалуйста, пример. Код. Либо n+1. Либо как выше описали гарантию того, что списки имеют одинаковую длинну.

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

http://www.cse.chalmers.se/~nad/listings/equality/Agda.Builtin.Nat.html

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

источник

21:06пожаловаться #6

Rn

Roman na in rust_offtopic

Окей, допустим не нужно. Что в типе твоего newtype сигнализирует о том, что у тебя там дефолт значение есть для шаблонного параметра?

С чего оно должно куда-то сигнализировать?

источник

21:06пожаловаться #7

ΑZ

Αλεχ Zhukovsky in rust_offtopic

Оставляем царя?

Анонимный опрос

57%

Оставляем

43%

Баним

Проголосовало: 53

источник

21:07пожаловаться #8

D

Dima in rust_offtopic

Обезьяна, опрадываться за атомики. Бегом

нашел чем хвастаться еблан, out of thin air пофиксили уже?

источник

21:07пожаловаться #9

Ct

Casual tears in rust_offtopic

С чего оно должно куда-то сигнализировать?

Ну если оно не "сигнализирует", то оно "вне системы типов и вообще макросня" же

источник

21:07пожаловаться #10

p

polunin.ai in rust_offtopic

Обезьяна, опрадываться за атомики. Бегом

Когда ты перестаешь сосать мой член, тогда и пойду.

источник

21:07пожаловаться #11

H

Hirrolot in rust_offtopic

Αλεχ Zhukovsky

Оставляем царя?

Анонимный опрос

57%

Оставляем

43%

Баним

Проголосовало: 53

сложна

источник

21:07пожаловаться #12

λP

λ :: (Kirill, Poleta... in rust_offtopic

сложна

++

источник

21:07пожаловаться #13

А⚙

Антон ⚙️ in rust_offtopic

Dima

нашел чем хвастаться еблан, out of thin air пофиксили уже?

А это про что?

источник

21:07пожаловаться #14

DS

Doge Shibu in rust_offtopic

Αλεχ Zhukovsky

Оставляем царя?

Анонимный опрос

57%

Оставляем

43%

Баним

Проголосовало: 53

Вы чего, какой бан?

Это же развлечение на долгие годы

источник

21:07пожаловаться #15

Rn

Roman na in rust_offtopic

Ну если оно не "сигнализирует", то оно "вне системы типов и вообще макросня" же

Чего? В школу срочно. Совсем поломался.

источник

21:07пожаловаться #16

Ct

Casual tears in rust_offtopic

Я тебе больше скажу. Все твои шаблоны - это как раз и есть макросня, которая почти ничего общего с (нормальной) системой типов не имеет.

источник

21:08пожаловаться #17

p

polunin.ai in rust_offtopic

Αλεχ Zhukovsky

Оставляем царя?

Анонимный опрос

57%

Оставляем

43%

Баним

Проголосовало: 53

Царь это танк х4, не надо. Мы будем жить в оффтопике.

источник

21:08пожаловаться #18

А⚙

Антон ⚙️ in rust_offtopic

Вы чего, какой бан?

Это же развлечение на долгие годы

Он отравит весь чат. Лучше его держать в отдельном загоне и пугать им детей по вечерам

источник

21:08пожаловаться #19

SS

Stanislav Sagan in rust_offtopic

Αλεχ Zhukovsky

Оставляем царя?

Анонимный опрос

57%

Оставляем

43%

Баним

Проголосовало: 53

Было би неплохо короткое пояснение, к кому относится

источник

21:08пожаловаться #20