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

parrot.ru

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

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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

2020 July 18

KR

Kai Ren in rust_offtopic

Stanislav Popov

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

Ну если умеет реального мира, то и запарту легко сможет. Почему нет? Запарта не нужна, но она наглядна, чтобы понять свойство и принцип. Она проста, и этим наглядна.

источник

20:51пожаловаться #1

p

polunin.ai in rust_offtopic

Смотри, n - что это такое? Это некий тип. Признак число, признак уникальный и так далее. В С++ ты можешь что угодно сделать типом. Любую логику - она будет являться типом

Я могу выразить там то что Царь не тупой? Если да, то действительно можно выразить все

источник

20:52пожаловаться #2

KR

Kai Ren in rust_offtopic

Смотри, n - что это такое? Это некий тип. Признак число, признак уникальный и так далее. В С++ ты можешь что угодно сделать типом. Любую логику - она будет являться типом

Ну я понял что так МОЖНО сделать, ноя не понимаю КАК. Потому и прошу пример для n+1

источник

20:53пожаловаться #3

Rn

Roman na in rust_offtopic

Смотри, n - что это такое? Это некий тип. Признак число, признак уникальный и так далее. В С++ ты можешь что угодно сделать типом. Любую логику - она будет являться типом

Далее +1 - это какое-то новое свойство, в С++ это выражается. Я не знаю что твоём дошколятском мусоре оно значит - он там значит примитивную херню +1 к уровню рекурсии. Подобную херню можно выразить левой.

источник

20:53пожаловаться #4

SP

Stanislav Popov in rust_offtopic

Ну если умеет реального мира, то и запарту легко сможет. Почему нет? Запарта не нужна, но она наглядна, чтобы понять свойство и принцип. Она проста, и этим наглядна.

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

источник

20:54пожаловаться #5

Rn

Roman na in rust_offtopic

Ну я понял что так МОЖНО сделать, ноя не понимаю КАК. Потому и прошу пример для n+1

Ну вот с этого и нужно начинать. Ты хочешь узнать как можно произвольный признак записать в тип?

источник

20:54пожаловаться #6

p

polunin.ai in rust_offtopic

Далее +1 - это какое-то новое свойство, в С++ это выражается. Я не знаю что твоём дошколятском мусоре оно значит - он там значит примитивную херню +1 к уровню рекурсии. Подобную херню можно выразить левой.

Тупость Царя тоже свойство. Покажи как выразить свойство тупости для уникальной переменной с именем "царь".

источник

20:54пожаловаться #7

p

polunin.ai in rust_offtopic

Ну вот с этого и нужно начинать. Ты хочешь узнать как можно произвольный признак записать в тип?

Мы об этом тебе четыре часа назад писали

источник

20:55пожаловаться #8

p

polunin.ai in rust_offtopic

Че то долго работает у тебя мозг

источник

20:55пожаловаться #9

p

polunin.ai in rust_offtopic

Наверное на плюсах написан

источник

20:55пожаловаться #10

KR

Kai Ren in rust_offtopic

Ну вот с этого и нужно начинать. Ты хочешь узнать как можно произвольный признак записать в тип?

Да. Вырази мне в типе NPlus1 свойство тип N + 1

источник

20:56пожаловаться #11

SP

Stanislav Popov in rust_offtopic

Мы об этом тебе четыре часа назад писали

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

источник

20:56пожаловаться #12

Ct

Casual tears in rust_offtopic

https://godbolt.org/z/W3rvfK
Ребят, я тут в Rust зависимые типы завёз, пользуйтесь!

Compiler Explorer - Rust (rustc 1.45.0)

use std::marker::PhantomData;

#[derive(Clone, Copy)]
struct UniqueType<T>(PhantomData<T>);

impl<T> UniqueType<T> {
fn new(_t: T) -> UniqueType<T> {
UniqueType(PhantomData)
}
}

macro_rules! unique {
() => { UniqueType::new(|| 2+2) }
}

fn same_type<T>(_x: T, _y: T) {}

pub fn main() {
let a = unique!();
same_type(a, a);
same_type(unique!(), unique!());
}

источник

20:56пожаловаться #13

KR

Kai Ren in rust_offtopic

Stanislav Popov

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

На простых примерах легче понимать как они это могут.

источник

20:56пожаловаться #14

KR

Kai Ren in rust_offtopic

https://godbolt.org/z/W3rvfK
Ребят, я тут в Rust зависимые типы завёз, пользуйтесь!

Compiler Explorer - Rust (rustc 1.45.0)

use std::marker::PhantomData;

#[derive(Clone, Copy)]
struct UniqueType<T>(PhantomData<T>);

impl<T> UniqueType<T> {
fn new(_t: T) -> UniqueType<T> {
UniqueType(PhantomData)
}
}

macro_rules! unique {
() => { UniqueType::new(|| 2+2) }
}

fn same_type<T>(_x: T, _y: T) {}

pub fn main() {
let a = unique!();
same_type(a, a);
same_type(unique!(), unique!());
}

Ну не байти, а)

источник

20:57пожаловаться #15

А⚙

Антон ⚙️ in rust_offtopic

давай я тебе объясню. Система типов в крестах - десять раз тьюринг-полна, если по дошколятскому. Т.е. ты можешь выразить ВСЁ, Что угодно.

Как мне передать в функцию два вектора неизвестной в compile time, но заведомо одинаковой длины?

источник

20:57пожаловаться #16

KR

Kai Ren in rust_offtopic

Я всё хочу увидеть завтипы в С/С++

источник

20:57пожаловаться #17

А⚙

Антон ⚙️ in rust_offtopic

нету такого вывода

> Чем меньше знают - тем лучше
> самый мощный язык — это тот, про который не знает вообще никто

И что тут не так?

источник

20:58пожаловаться #18

Rn

Roman na in rust_offtopic

Да. Вырази мне в типе NPlus1 свойство тип N + 1

Ты знаешь как это работает в недоязычке? То как там это работает - выражается даже в говнорасте. К тому же я тебе уже объяснял - +1 - это готовая семантика. Она не выражается в самом типе - она выражается поверх него. Просто в твой недоязычок уже заложена эта логика для арифметики

источник

20:59пожаловаться #19

А⚙

Антон ⚙️ in rust_offtopic

https://godbolt.org/z/W3rvfK
Ребят, я тут в Rust зависимые типы завёз, пользуйтесь!

Compiler Explorer - Rust (rustc 1.45.0)

use std::marker::PhantomData;

#[derive(Clone, Copy)]
struct UniqueType<T>(PhantomData<T>);

impl<T> UniqueType<T> {
fn new(_t: T) -> UniqueType<T> {
UniqueType(PhantomData)
}
}

macro_rules! unique {
() => { UniqueType::new(|| 2+2) }
}

fn same_type<T>(_x: T, _y: T) {}

pub fn main() {
let a = unique!();
same_type(a, a);
same_type(unique!(), unique!());
}

Щас царь будет орать, что ты порождаешь новые типы при помощи макроса, а не функции. И будет прав, кстати

источник

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