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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

pro.cxx.holywars

192 membersпожаловаться на группу
2020 May 19

CD

Constantine Drozdov in pro.cxx.holywars
Gymmasssorla
Ну хуй знает, наверное не зря потные умные дяди намеренно не делают классический ad hoc полиморфизм в функциональных языках, вместо этого он достигается тайп классами
У хаскеля вроде это происходит из-за особенной системы типов, которая операции не может выводить по аргументам
источник
17:04пожаловаться#1

CD

Constantine Drozdov in pro.cxx.holywars
Она должна по первому аргументу её получить
источник
17:04пожаловаться#2

G

Gymmasssorla in pro.cxx.holywars
Но в Idris таки больно смотреть на int_to_float и подобное говно
источник
17:04пожаловаться#3

G

Gymmasssorla in pro.cxx.holywars
Но зато понятно сразу
источник
17:04пожаловаться#4

CD

Constantine Drozdov in pro.cxx.holywars
Gymmasssorla
Но зато понятно сразу
Ну охуеть
источник
17:05пожаловаться#5

CD

Constantine Drozdov in pro.cxx.holywars
Gymmasssorla
Но зато понятно сразу
Зато просто сломали все метапрограммирование
источник
17:05пожаловаться#6

G

Gymmasssorla in pro.cxx.holywars
Действительно
источник
17:05пожаловаться#7

CD

Constantine Drozdov in pro.cxx.holywars
Gymmasssorla
Действительно
Ну смотри, как минимум в чем проблема метаклассов
источник
17:10пожаловаться#8

CD

Constantine Drozdov in pro.cxx.holywars
В том, что это не предикаты о сущности типа и операций
источник
17:10пожаловаться#9

CD

Constantine Drozdov in pro.cxx.holywars
Я бы хотел, чтобы любой условный метаалгоритм описывал набор свойств в отрыве от собственной уникальной терминологии
источник
17:12пожаловаться#10

G

Gymmasssorla in pro.cxx.holywars
Constantine Drozdov
Я бы хотел, чтобы любой условный метаалгоритм описывал набор свойств в отрыве от собственной уникальной терминологии
Звучит интересно, ничего не понял
источник
17:12пожаловаться#11

CD

Constantine Drozdov in pro.cxx.holywars
Gymmasssorla
Звучит интересно, ничего не понял
Ну вот смотри, тот самый пример с плюсовыми концептами и
requires(T a, T b) {
   { a + b } -> T, //можно складывать
   //a + b == b + a //такого нет, но хочу
}
источник
17:13пожаловаться#12

G

Gymmasssorla in pro.cxx.holywars
Я вижу одну самую существенную проблему в макросах (по крайней мере в Си и Rust): они не описывают своим интерфейсом пред и постусловия, из-за чего либо непонятно как их использовать бывает, либо вообще ошибки описываются как последствия, а не как причины
источник
17:14пожаловаться#13

CD

Constantine Drozdov in pro.cxx.holywars
мы можем локально именовать, что commutative_plus<T> = requires(T a, T b) { a + b == b + a }
источник
17:14пожаловаться#14

CD

Constantine Drozdov in pro.cxx.holywars
я не хочу требовать от пользователя, чтобы он писал implements commutative_plus
источник
17:14пожаловаться#15

G

Gymmasssorla in pro.cxx.holywars
А, ну понял
источник
17:14пожаловаться#16

CD

Constantine Drozdov in pro.cxx.holywars
должно существовать доказательства этого факта, но оно не должно привязываться к терминологии модуля
источник
17:15пожаловаться#17

CD

Constantine Drozdov in pro.cxx.holywars
в этом плане концепты, как их принимают на плюсах, лучше
источник
17:15пожаловаться#18

CD

Constantine Drozdov in pro.cxx.holywars
к ним только нужно добавить средство доказательства, что для любых T a, T b верно, что a + b == b + a
источник
17:15пожаловаться#19

G

Gymmasssorla in pro.cxx.holywars
Constantine Drozdov
к ним только нужно добавить средство доказательства, что для любых T a, T b верно, что a + b == b + a
Inductive judgements называется по-моему
источник
17:16пожаловаться#20