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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

pro.elixir

1152 membersпожаловаться на группу
2021 May 18

LL

Lama Lover in pro.elixir
Ну вот у одного типа могут быть разные интерфейсы. Например, байт может быть и char -ом и int8, а лежать в памяти байт всегда будет байтом

Но и у одного типа могут быть разные интерфейсы. Например, доставать по индексу можно из массива чисел, массива строк и даже связаного списка
источник
22:28пожаловаться#1

Е

Евгений in pro.elixir
Я рассматриваю типы просто как некая категоризация данных, по каким-то формальным признакам.
источник
22:29пожаловаться#2

AB

Alex Bubnov in pro.elixir
кстати, я в очередной раз напомню, что для любителей статической типизации есть gradualizer, который по идее гораздо ближе к "общечеловеческой" строгой типизации, чем диалайзер
источник
22:30пожаловаться#3

Е

Евгений in pro.elixir
Все никак не попробую его.
Он вообще в рабочей стадии?
Можно его задействовать ВМЕСТО диалайзера?
источник
22:32пожаловаться#4

Е

Евгений in pro.elixir
В общем ладно.
Всем спасибо.
Было познавательно.
Все как всегда остались при своем мнении, кто бы сомневался.
источник
22:32пожаловаться#5

AB

Alex Bubnov in pro.elixir
Gradualizer is still in alpha so all features of Erlang are not supported yet. With that said, we are always looking for good test cases!
но пробовать стоит уже сейчас, потому что это самое адекватное решение из всех, что вообще появлялись на горизонте
источник
22:34пожаловаться#6

Е

Евгений in pro.elixir
адекватнее диалайзера?
источник
22:35пожаловаться#7

AB

Alex Bubnov in pro.elixir
который по идее гораздо ближе к "общечеловеческой" строгой типизации
источник
22:36пожаловаться#8

AB

Alex Bubnov in pro.elixir
https://github.com/josefs/Gradualizer/wiki/Comparison-to-Dialyzer
GitHub
Comparison to Dialyzer
A Gradual type system for Erlang. Contribute to josefs/Gradualizer development by creating an account on GitHub.
источник
22:36пожаловаться#9

Е

Евгений in pro.elixir
ну я не знаю, вы же тут не любите "общечеловеческую" строгую типизацию :)
источник
22:36пожаловаться#10

AB

Alex Bubnov in pro.elixir
я не люблю не-опциональную compile-time проверку типов.
источник
22:38пожаловаться#11

AB

Alex Bubnov in pro.elixir
я вообще предпочитаю строгую рантаймовую, ближе к структурной
источник
22:39пожаловаться#12

Aß

A ß in pro.elixir
@pham_nuwen кстати, вам удалось типизировать процесс, который посылает сообщения сам себе?
источник
22:39пожаловаться#13

Е

Евгений in pro.elixir
думаю, что нет.
источник
22:41пожаловаться#14

Е

Евгений in pro.elixir
меня бы устроила опциональная статическая типизация.
источник
22:41пожаловаться#15

Aß

A ß in pro.elixir
а такая хорошая идея была, типизировать пиды
источник
22:44пожаловаться#16

Е

Евгений in pro.elixir
Типизировать-то их можно, но это накладывает довольно серьезные ограничения.
Я особо не старался, но отправить самому себе думаю возможно.
источник
22:45пожаловаться#17

Е

Евгений in pro.elixir
Я попробую.
источник
22:46пожаловаться#18

AB

Alex Bubnov in pro.elixir
процесс, который обрабатывает сообщения только сам от себя?
это типа рекурсивная пара типов PId<Message> и Message = {Pid<_>}?
источник
22:48пожаловаться#19

AB

Alex Bubnov in pro.elixir
дичь какая-то
источник
22:48пожаловаться#20