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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

801 membersпожаловаться на группу
2020 January 28

OM

Oleg Morozov in Compiler Development
да в Go слава Богу отвязались от прямой связанности при объявлении типа, но это все еще коллекция методов
но это по правде тонкости
те же трейты в Расте работают аналогично

хотелось бы просто их не писать, а объединить это.
использовать тип сразу как самодостаточную единицу, так и как контракт
источник
15:01пожаловаться#1

OM

Oleg Morozov in Compiler Development
интерфейсы обычно не имеют реализации по-умолчанию
и придется делать тип затычку, который реализует необходимый минимум

короче код ради кода выходит
источник
15:03пожаловаться#2

AV

Alexander Vershilov in Compiler Development
как хорошо же жить с классами типов..
источник
15:04пожаловаться#3

OM

Oleg Morozov in Compiler Development
Alexander Tchitchigin
В системе типов для таких случаев как Вы хотите будут так или иначе subtyping rules (subtyping relation).
если считать, что тип может быть сабтипом разных типов, то в принципе да, можно считать сабтайпингом
источник
15:12пожаловаться#4

OM

Oleg Morozov in Compiler Development
сабтайпинг для меня больше ассоциируется с underlying types
типа как в Go
где ты можешь сделать именованный int, и он будет относится  именно к интам и ничему больше
источник
15:14пожаловаться#5

AV

Alexander Vershilov in Compiler Development
Ну вообще сабтайминг это когда подтип можно подставить вместо типа, никакого ограничения на то, может ли тип быть подтипом многих и прочих нет.
источник
15:23пожаловаться#6

МБ

Михаил Бахтерев in Compiler Development
Alexander Vershilov
как хорошо же жить с классами типов..
Интерфейсы, вид сбоку. Даже реализованы точно так же
источник
15:39пожаловаться#7

AV

Alexander Vershilov in Compiler Development
Только при каком-то ну очень свободном определении интерфейса
источник
15:41пожаловаться#8

AV

Alexander Vershilov in Compiler Development
Обычно с интефейсами, что-то такое плохо выражается:
class Monoid a where
   mempty :: a
источник
15:42пожаловаться#9

МБ

Михаил Бахтерев in Compiler Development
Alexander Vershilov
Только при каком-то ну очень свободном определении интерфейса
Там и там таблица функций. В чём разница?
источник
15:42пожаловаться#10

МБ

Михаил Бахтерев in Compiler Development
Alexander Vershilov
Обычно с интефейсами, что-то такое плохо выражается:
class Monoid a where
   mempty :: a
Почему? В чём проблема?
источник
15:42пожаловаться#11

AV

Alexander Vershilov in Compiler Development
А как это выразить? тут у нас в наличии нет объекта или класса через который можно получить доступ к словарю
источник
15:43пожаловаться#12

AV

Alexander Vershilov in Compiler Development
На низком уровне устройства полиморфного метода, которому мы даём словарь - действительно разницы нет
источник
15:44пожаловаться#13

AV

Alexander Vershilov in Compiler Development
Что и как у интерфейсов с когерентностью - я сказать затрудняюсь и послушаю других с удовольствием
источник
15:45пожаловаться#14

AK

Andrei Kurosh in Compiler Development
Oleg Morozov
а кто-нибудь встречал статические типизируемые АОТ компилируемые языки со структурной эквивалентностью типов?

как пример
struct Foo {
   public int a;
   public int b;
}

struct Bar {
   public int a;
   public int b;
   public int c;
}

void DoSomething(Foo f) { ... }

вот в DoSomething можно передать как и Foo так и Bar без использования обобщений или чего-то подобного
то есть по-русски функция принимает любой тип содержащий определенный набор полей
подойдут любые типы содержащие такие же поля
@maxgraey вроде как AssemblyScript должен такое уметь?
источник
15:48пожаловаться#15

МБ

Михаил Бахтерев in Compiler Development
Alexander Vershilov
А как это выразить? тут у нас в наличии нет объекта или класса через который можно получить доступ к словарю
interface Monoid<A> { public A mempty(); ... } ?
источник
15:48пожаловаться#16

AV

Alexander Vershilov in Compiler Development
И как применяться будет?
источник
15:49пожаловаться#17

AV

Alexander Vershilov in Compiler Development
я могу написать
foo :: Monoid a => a
foo = mempty

или
foo :: (Show a, Monoid a) => String
foo = show mempty
источник
15:50пожаловаться#18

AV

Alexander Vershilov in Compiler Development
Мне кажется, мне придётся явно передавать тот A, что я захочу?
источник
15:50пожаловаться#19

А

Алексей in Compiler Development
Alexander Vershilov
Обычно с интефейсами, что-то такое плохо выражается:
class Monoid a where
   mempty :: a
придётся объект передавать тогда
источник
15:51пожаловаться#20