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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell Start

890 membersпожаловаться на группу
2021 October 15

[

[BRM]White Rabbit in Haskell Start
Всё ещё очень не понял при чём тут синглтоны, при чём тут моё желание рассказать что я что-то там узнал и почему во всех чатах?

Лично мне это показалось грубой и необоснованной претензией.
источник
18:17пожаловаться#1

AP

Aleksei (astynax) Pi... in Haskell Start
к типу привязан словарь. В словаре может лежать значение
источник
18:17пожаловаться#2

AP

Aleksei (astynax) Pi... in Haskell Start
Указывая тип, мы выбираем значение.
источник
18:17пожаловаться#3

AP

Aleksei (astynax) Pi... in Haskell Start
Вполне себе как функция работает
источник
18:18пожаловаться#4

YS

Yan Shkurinskiy in Haskell Start
если это ко мне то я это и не оспариваю
источник
18:18пожаловаться#5

YS

Yan Shkurinskiy in Haskell Start
точнее, не к этому замечание сделал
источник
18:18пожаловаться#6

И

Иван in Haskell Start
ага, это вроде понятно, спасибо
источник
18:19пожаловаться#7

AP

Aleksei (astynax) Pi... in Haskell Start
Словари там или что другое, не так важно. Важно, что вызывая typeToValue и передавая этой функции тип в роли аргумента, я получаю значение
источник
18:19пожаловаться#8

[

[BRM]White Rabbit in Haskell Start
Ок
источник
18:20пожаловаться#9

AP

Aleksei (astynax) Pi... in Haskell Start
расширение TypeApplications, наконец, сделало это дело удобным
источник
18:20пожаловаться#10

И

Иван in Haskell Start
а этот тип считается за аргумент функции?
источник
18:20пожаловаться#11

И

Иван in Haskell Start
это же про typeapplications?
источник
18:21пожаловаться#12

AP

Aleksei (astynax) Pi... in Haskell Start
Без указания @Bool результат вы не получите :)
источник
18:21пожаловаться#13

[

[BRM]White Rabbit in Haskell Start
Вернее, он не сможет вывестись
источник
18:21пожаловаться#14

AP

Aleksei (astynax) Pi... in Haskell Start
"Выглядит как аргумент, ведёт себя как аргумент" :)
источник
18:21пожаловаться#15

JS

Jerzy Syrowiecki in Haskell Start
нет, это не относится к параметрическому
источник
18:22пожаловаться#16

[

[BRM]White Rabbit in Haskell Start
Компилятор не знает, от какого инстанса типа тебе нужно значение, поэтому ты должен дать тип, чтобы компилятор дал значение
источник
18:23пожаловаться#17

AP

Aleksei (astynax) Pi... in Haskell Start
Функция имеет аргумент:
TypeToValue a => Int
просто этот аргумент — тип
источник
18:23пожаловаться#18

[

[BRM]White Rabbit in Haskell Start
Тайпклассы тоже🤷‍♀
источник
18:23пожаловаться#19

AP

Aleksei (astynax) Pi... in Haskell Start
Фактически этот аргумент даже будет в синтезируемом коде — тот самый вышеупомянутый словарь с методами класса
источник
18:24пожаловаться#20