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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

430 membersпожаловаться на группу
2020 August 13

Ct

Casual tears in rust_offtopic
те же плюсы молча складывают 10 и true и не давятся
источник
19:29пожаловаться#1

Ct

Casual tears in rust_offtopic
Alex Zhukovsky
А вот так:

enum Expr<T: Eq> {
 I(i32) : Expr<i32>,
 B(bool) : Expr<bool>,
 Add(Box<Expr<i32>>, Box<Expr<i32>>) : Expr<i32>,
 Mul(Box<Expr<i32>>, Box<Expr<i32>>) : Expr<i32>,
 Eq(Box<Expr<T>>, Box<Expr<T>>) : Expr<T>,
}

Изи
А это полезно вообще с реальным калькулятором? Как написать fn parse(s: &str) -> Result<Expr<T>> ? Придется уже на этапе парсинга "тайпчекать"?
источник
19:33пожаловаться#2

DS

Doge Shibu in rust_offtopic
Casual tears
А это полезно вообще с реальным калькулятором? Как написать fn parse(s: &str) -> Result<Expr<T>> ? Придется уже на этапе парсинга "тайпчекать"?
Это прежде всего нужно для eDSL различного вида
источник
19:35пожаловаться#3

DS

Doge Shibu in rust_offtopic
Где ты хочешь переиспользовать систему типов языка хоста
источник
19:36пожаловаться#4

Ct

Casual tears in rust_offtopic
Оооо, вот с таким кейсом это прям вкусно выглядит, да.
источник
19:36пожаловаться#5

CD

Constantine Drozdov in rust_offtopic
Alex Zhukovsky
по идее там просто будет add a b = a + b а кто вызовет с кривыми типами сам дурак
template <typename L, typename R> 
auto eval(add_t<L, R> add) 
requires(requires{
    { add.l } -> same_as<int>;
    { add.r } -> same_as<int>;
})
{
    return add.l + add.r;
}

вот так будет, если хотим проверять именно int + int
источник
19:37пожаловаться#6

DS

Doge Shibu in rust_offtopic
Casual tears
Оооо, вот с таким кейсом это прям вкусно выглядит, да.
Такое же можно делать без GADT в final tagless стиле, но там нужны HKT и оно не для всех eDSL будет удобно.
источник
19:37пожаловаться#7

CD

Constantine Drozdov in rust_offtopic
template <typename L, typename R> struct add_t { L l; R r; };

будут описания вот в таком духе, разрешение перегрузки тривиальное, остальные просто не подходят
источник
19:38пожаловаться#8

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
В хаскеле разве ГАДТ нет?
есть
источник
19:38пожаловаться#9

AZ

Alex Zhukovsky in rust_offtopic
Casual tears
те же плюсы молча складывают 10 и true и не давятся
предполагается что бул и i32 нельзя складывать
источник
19:38пожаловаться#10

Ct

Casual tears in rust_offtopic
Constantine Drozdov
template <typename L, typename R> 
auto eval(add_t<L, R> add) 
requires(requires{
    { add.l } -> same_as<int>;
    { add.r } -> same_as<int>;
})
{
    return add.l + add.r;
}

вот так будет, если хотим проверять именно int + int
https://godbolt.org/z/arx8GM
Чот оно не собирается.
godbolt.org
Compiler Explorer - C++ (x86-64 gcc (trunk))
template <typename L, typename R> struct add_t { L l; R r; };

template <typename L, typename R>
auto eval(add_t<L, R> add)
requires(requires{
   { add.l } -> std::same_as<int>;
   { add.r } -> std::same_as<int>;
})
{
   return add.l + add.r;
}

void foo() {
   eval(add_t<int, int>{ 10, true });
}
источник
19:42пожаловаться#11

AZ

Alex Zhukovsky in rust_offtopic
Т - типизация
источник
19:43пожаловаться#12

CD

Constantine Drozdov in rust_offtopic
Casual tears
https://godbolt.org/z/arx8GM
Чот оно не собирается.
godbolt.org
Compiler Explorer - C++ (x86-64 gcc (trunk))
template <typename L, typename R> struct add_t { L l; R r; };

template <typename L, typename R>
auto eval(add_t<L, R> add)
requires(requires{
   { add.l } -> std::same_as<int>;
   { add.r } -> std::same_as<int>;
})
{
   return add.l + add.r;
}

void foo() {
   eval(add_t<int, int>{ 10, true });
}
https://godbolt.org/z/o1rcWM
godbolt.org
Compiler Explorer - C++ (x86-64 clang (trunk))
namespace detail {
   template< class T, class U >
   concept SameHelper = std::is_same_v<T, U>;
}

template< class T, class U >
concept same_as = detail::SameHelper<T, U> && detail::SameHelper<U, T>;

template <typename T> struct id_t { T t; };
template <typename T> id_t(T) -> id_t<T>;

template <typename L, typename R> struct add_t { L l; R r; };
template <typename L, typename R> add_t(L, R) -> add_t<L, R>;

template <typename L, typename R> struct equal_t { L l; R r; };
template <typename L, typename R> equal_t(L, R) -> equal_t<L, R>;

template <typename T> auto eval(id_t<T> id) {
   return id.t;
}

template <typename L, typename R>
auto eval(add_t<L, R> add)
requires(requires{
   { add.l } -> same_as<int>;
   { add.r } -> same_as<int>;
})
{
   return add.l + add.r;
}

template <typename L, typename R> auto eval(equal_t<L, R> equal) {
   return equal.l + equal.r;
}

int test_eval_plain() {
   return eval(
       add_t{
           id_t{0}, id_t{false}
       }
   );
}
источник
19:43пожаловаться#13

CD

Constantine Drozdov in rust_offtopic
вот примерно так это надо будет писать
источник
19:43пожаловаться#14

Ct

Casual tears in rust_offtopic
Constantine Drozdov
https://godbolt.org/z/o1rcWM
godbolt.org
Compiler Explorer - C++ (x86-64 clang (trunk))
namespace detail {
   template< class T, class U >
   concept SameHelper = std::is_same_v<T, U>;
}

template< class T, class U >
concept same_as = detail::SameHelper<T, U> && detail::SameHelper<U, T>;

template <typename T> struct id_t { T t; };
template <typename T> id_t(T) -> id_t<T>;

template <typename L, typename R> struct add_t { L l; R r; };
template <typename L, typename R> add_t(L, R) -> add_t<L, R>;

template <typename L, typename R> struct equal_t { L l; R r; };
template <typename L, typename R> equal_t(L, R) -> equal_t<L, R>;

template <typename T> auto eval(id_t<T> id) {
   return id.t;
}

template <typename L, typename R>
auto eval(add_t<L, R> add)
requires(requires{
   { add.l } -> same_as<int>;
   { add.r } -> same_as<int>;
})
{
   return add.l + add.r;
}

template <typename L, typename R> auto eval(equal_t<L, R> equal) {
   return equal.l + equal.r;
}

int test_eval_plain() {
   return eval(
       add_t{
           id_t{0}, id_t{false}
       }
   );
}
Заменил false на 0 и тоже не собирается.
источник
19:44пожаловаться#15

CD

Constantine Drozdov in rust_offtopic
Casual tears
Заменил false на 0 и тоже не собирается.
https://godbolt.org/z/cj4jW8
логично, я eval забыл)
godbolt.org
Compiler Explorer - C++ (x86-64 clang (trunk))
namespace detail {
   template< class T, class U >
   concept SameHelper = std::is_same_v<T, U>;
}

template< class T, class U >
concept same_as = detail::SameHelper<T, U> && detail::SameHelper<U, T>;

template <typename T> struct id_t { T t; };
template <typename T> id_t(T) -> id_t<T>;

template <typename L, typename R> struct add_t { L l; R r; };
template <typename L, typename R> add_t(L, R) -> add_t<L, R>;

template <typename L, typename R> struct equal_t { L l; R r; };
template <typename L, typename R> equal_t(L, R) -> equal_t<L, R>;

template <typename T> auto eval(id_t<T> id) {
   return id.t;
}

template <typename L, typename R>
auto eval(add_t<L, R> add)
requires(requires{
   { eval(add.l) } -> same_as<int>;
   { eval(add.r) } -> same_as<int>;
})
{
   return eval(add.l) + eval(add.r);
}

template <typename L, typename R> auto eval(equal_t<L, R> equal) {
   return equal.l + equal.r;
}

int test_eval_plain() {
   return eval(
       add_t{
           id_t{0}, id_t{false}
       }
   );
}
источник
19:45пожаловаться#16

p

polunin.ai in rust_offtopic
Constantine Drozdov
template <typename L, typename R> struct add_t { L l; R r; };

будут описания вот в таком духе, разрешение перегрузки тривиальное, остальные просто не подходят
опять ты свои макросы под видом системы типов кидаешь
источник
19:46пожаловаться#17

CD

Constantine Drozdov in rust_offtopic
polunin.ai
опять ты свои макросы под видом системы типов кидаешь
а если проверю, что из
   { eval(add.l) } -> same_as<int>;
   { eval(add.r) } -> same_as<int>;
следует что их можно сложить - будут не макросы а типы?)
источник
19:47пожаловаться#18

p

polunin.ai in rust_offtopic
Constantine Drozdov
а если проверю, что из
   { eval(add.l) } -> same_as<int>;
   { eval(add.r) } -> same_as<int>;
следует что их можно сложить - будут не макросы а типы?)
типы будут когда шаблоны не будут до компиляции раскрываться
источник
19:47пожаловаться#19

CD

Constantine Drozdov in rust_offtopic
polunin.ai
типы будут когда шаблоны не будут до компиляции раскрываться
так они не раскрываются до компиляции, тебе же уже говорили
источник
19:47пожаловаться#20