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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

dlang.ru

164 membersпожаловаться на группу
2020 December 27

EP

Egor Pugin in dlang.ru
NC
Он ранга 1, но кайнда * -> *
>_<
источник
15:56пожаловаться#1

DH

Dark Hole in dlang.ru
Dmitry Popov
Теория типов
А как в ней разобраться?
источник
15:57пожаловаться#2

N

NC in dlang.ru
О тонкостях систем типов, если есть шаблон Nullable(T), то он имеет кайнд * -> *, т.е. чтобы из него получить что-то конкретное, надо запихать туда один другой тип
источник
15:57пожаловаться#3

DP

Dmitry Popov in dlang.ru
Книжки читать и на хаскеле, окамле и Идрисе писать
источник
15:57пожаловаться#4

EP

Egor Pugin in dlang.ru
Dmitry Popov
Книжки читать и на хаскеле, окамле и Идрисе писать
тоже хаскелист?
источник
15:58пожаловаться#5

N

NC in dlang.ru
Ну либо людей, что читали доставать, чтобы объяснили понятнее, чем в книжках
источник
15:58пожаловаться#6

N

NC in dlang.ru
В ди, например, есть шаблон https://dlang.org/library/std/meta/instantiate.html
источник
15:59пожаловаться#7

N

NC in dlang.ru
У него первый аргумент имеет кайнд * -> *
источник
15:59пожаловаться#8

N

NC in dlang.ru
Т.е. это шаблон, который берёт другой шаблон
источник
15:59пожаловаться#9

DP

Dmitry Popov in dlang.ru
Egor Pugin
тоже хаскелист?
В том числе. На работе D и Haskell, дома и в старой компании зоопарк с OCaml, Idris, Pony, D, Ruby и пр.
источник
16:02пожаловаться#10

N

NC in dlang.ru
Хороший набор, увожаю
источник
16:03пожаловаться#11

EP

Egor Pugin in dlang.ru
а вы Гранина знаете?
источник
16:04пожаловаться#12

N

NC in dlang.ru
Все его знают, любит фримонады и вкидывать в сообщество провокационные заявления
источник
16:04пожаловаться#13

EP

Egor Pugin in dlang.ru
))
источник
16:05пожаловаться#14

DP

Dmitry Popov in dlang.ru
Не лично, но в онлайне кто ж не знает.
источник
16:05пожаловаться#15

SG

Serg Gini in dlang.ru
Dmitry Popov
В том числе. На работе D и Haskell, дома и в старой компании зоопарк с OCaml, Idris, Pony, D, Ruby и пр.
А какая область интересно? Где такое используется? Web?
источник
16:17пожаловаться#16

DP

Dmitry Popov in dlang.ru
На работе сейчас у нас написанный на D интерпретатор своего функционального языка. На хаскеле я кое-какие прототипы делал.
источник
16:19пожаловаться#17

SG

Serg Gini in dlang.ru
Dmitry Popov
На работе сейчас у нас написанный на D интерпретатор своего функционального языка. На хаскеле я кое-какие прототипы делал.
Это не SIL который?
источник
16:21пожаловаться#18

DP

Dmitry Popov in dlang.ru
Он
источник
16:21пожаловаться#19

SG

Serg Gini in dlang.ru
Нормас)
источник
16:21пожаловаться#20