@haskellru
Alexander06.08.2018
21:27:20
21:27:20
в chronos хотя меньше от воли компилятора зависит
Kirill06.08.2018
21:28:11
21:28:11
вроде где-то ещё бенчи пробегали, где он пошустрей был
от мэта парсонса чтоль
Alexander06.08.2018
21:31:58
21:31:58
ясно, буду иметь ввиду
GoogleAlexander06.08.2018
21:32:00
21:32:00
пасиб
Terminator06.08.2018
23:11:56
23:11:56
@yargeel будет жить. Поприветствуем!
Александр07.08.2018
06:08:23
06:08:23
Вопрос: а можно ли использовать Type Application на переменных типа, описанных в сигнатуре функции?
func :: c -> IO ()
func cVal = do
someFunc @ c
Я что-то не могу найти в доке этой инфы
Yuriy07.08.2018
06:09:14
06:09:14
вот так можно
func :: forall c. c -> IO ()
func cVal = do
someFunc @c
forall, чтобы ввести переменную
@c, чтобы применить
Terminator07.08.2018
06:10:25
06:10:25
@aadudyrev будет жить. Поприветствуем!
Александр07.08.2018
06:10:57
06:10:57
вот так можно
func :: forall c. c -> IO ()
func cVal = do
someFunc @c
Гм, вот оно что, спасибо. Там в доке сказано, что forall не обязательно.Yuriy07.08.2018
06:12:03
06:12:03
Гм, вот оно что, спасибо. Там в доке сказано, что forall не обязательно.
в каких-то случаях обязательно, чтобы отличить от обычной полиморфной сигнатурыfunc :: c -> IO ()
func (cVal :: c) = do
someFunc @c
вот так можно без квантора, кажется
Александр07.08.2018
06:13:44
06:13:44
func :: c -> IO ()
func (cVal :: c) = do
someFunc @c
вот так можно без квантора, кажется
Хм. А такой вариант будет работать?
func :: forall c. SomeClass c => IO ()
func = do
someFunc @cYuriy07.08.2018
06:13:55
06:13:55
проверь
Александр07.08.2018
06:14:06
06:14:06
Проверю
GoogleАлександр07.08.2018
06:30:04
06:30:04
Не похоже, что такое будет работать. Не может задедьюсить c, если оно не используется, даже если его передали откуда-то из другого места в функцию func
Yuriy07.08.2018
06:36:53
06:36:53
Не похоже, что такое будет работать. Не может задедьюсить c, если оно не используется, даже если его передали откуда-то из другого места в функцию func
правильно, AmbiguousType получаетсяНе похоже, что такое будет работать. Не может задедьюсить c, если оно не используется, даже если его передали откуда-то из другого места в функцию func
тебе компилятор намекает на расширение?Александр07.08.2018
06:37:56
06:37:56
Да, он предлагает отключить проверку. AllowAmbiguiousTypes
Yuriy07.08.2018
06:38:39
06:38:39
Александр07.08.2018
06:40:37
06:40:37
Ну, да, с этим расширением все компилится. На SO говорят, что оно в целом безопасное и редко кода его можно избежать
Dmitry07.08.2018
06:41:20
06:41:20
Редкий код долетит до середины компиляции...
Yuriy07.08.2018
06:41:48
06:41:48
Ну, да, с этим расширением все компилится. На SO говорят, что оно в целом безопасное и редко кода его можно избежать
его можно легко избежать, передавая Proxyтолько код не такой красивый будет
Alexander07.08.2018
06:55:18
06:55:18
или используя forall и ScopedTypeVariables
прокси нужно если иначе в сигнатуре тип не присутствует
а у нас есть какой-то колбек чтобы сообщить что GC произошло, чтобы статистику собрать?
а то если делать с таймером, то часть пропустится
gcDoneHook
интересно а без собственного main можно её запилить?
Artem07.08.2018
09:21:26
09:21:26
Объясните новичку. пожалуйста.
Зачем нужен forall?
Разве без него функция не остается полиморфной?
Alexander07.08.2018
09:23:50
09:23:50
явно написанный forall (как выше) нужен чтобы включить режим в ScopeTypeVariables когда указание полиморфной переменной типа соотносится с тем что в сигнатуре
а вообще неявный форол есть во всех полиморфных функциях
ещё возможно разговор про полиморфизм высших рангов, но наверное нет?
когда пишешь T (forall a . ...)
GoogleYuriy07.08.2018
09:40:20
09:40:20
да, для обычных полиморфных функций forall подразумевается, если его написать, ничего не изменится. разница есть для необычных — тех, что @qnikst выше упомянул
Alexander07.08.2018
09:44:31
09:44:31
я кстати правильно понял что ekg собирает статистику RTS только если его пнуть?
судя по коду
kana07.08.2018
10:03:21
10:03:21
Объясните новичку. пожалуйста.
Зачем нужен forall?
Разве без него функция не остается полиморфной?
а без него нельзя. Даже если ты его не пишешь, ghc его неявно дописывает
но иногда приходится писать явноYuriy07.08.2018
10:07:58
10:07:58
а без него нельзя. Даже если ты его не пишешь, ghc его неявно дописывает
но иногда приходится писать явно
как это нельзя? без него можно. даже если ты его явно пишешь, GHC ругается на синтаксисkana07.08.2018
10:08:57
10:08:57
ну разве что когда нет переменных же
с типо-переменными без forall их тупо никак в скоуп не добавить, кроме разве что кейсов, когда они уже в скоупе в объекте, классе
Imants07.08.2018
10:22:15
10:22:15
пример с forall:
https://en.m.wikibooks.org/wiki/Haskell/Existentially_quantified_types#The_forall_keyword
Yuriy07.08.2018
10:24:36
10:24:36
странный ворнинг
λ> data T = A{x :: Int, someOtherFields :: Bool} | B
λ> let f a@A{x} = a{x = x + 1}; f B = B
<interactive>:12:16: warning: [-Wincomplete-record-updates]
Pattern match(es) are non-exhaustive
In a record-update construct: Patterns not matched: B
я всего лишь использовал A после проверки на A. как это делать правильно?
я понял! надо просто перестать смешивать рекорды и суммы
A64m07.08.2018
10:33:36
10:33:36
не надо переставать. если в произведениях, которые вы вместо "рекордов" будуте с суммами использовать, будет много всего, то вы с ПМ намучаетесь, а для рекордов всякие вайлдкарды есть
A64m07.08.2018
10:34:40
10:34:40
после того, как дупликейт рекорд филдс появились вообще не вижу смысла не использовать рекорды всегда, как голые произведения их всегда можно будет конструировать и матчить - а наоборот - нет
(использовать геттеры для этих рекордов зато как раз не нужно, только сахар для пм)
Yuriy07.08.2018
10:37:17
10:37:17
не надо переставать. если в произведениях, которые вы вместо "рекордов" будуте с суммами использовать, будет много всего, то вы с ПМ намучаетесь, а для рекордов всякие вайлдкарды есть
нет, рекорды использовать, но не в одном типе с суммойA64m07.08.2018
10:37:45
10:37:45
все что я написал - про один тип с суммой.
матчи вроде такого Foo a s d f g h j k l - серьезная проблема, как по опасности ошибку сделать, так и по проблемам с расширяемостью произведения
проблема у вас была сначала от того, что вы использовали старый рекордовый сахар вроде r{ x = x + 1}
надо по возможность использовать леннартовский сахар, а не марковский
AdminERROR: S client not available
Yuriy07.08.2018
10:53:32
10:53:32
матчи вроде такого Foo a s d f g h j k l - серьезная проблема, как по опасности ошибку сделать, так и по проблемам с расширяемостью произведения
нет, мой путь —
data A = AFoo Foo | ABar Bar
data Foo = Foo{a, s, d, f...GoogleYuriy07.08.2018
10:53:54
10:53:54
Terminator07.08.2018
13:05:11
13:05:11
@vveysner будет жить. Поприветствуем!
Александр07.08.2018
13:44:46
13:44:46
Вопрос на засыпку.
Возможно ли в Haskell сделать так, чтобы при каждом вызове некоей полиморфной функции программист обязан был передавать всегда новый тип, иначе - ошибка компиляции? Интерес академический.
Alister07.08.2018
13:45:58
13:45:58
newtype в смысле?
Александр07.08.2018
13:47:04
13:47:04
Хоть newtype, хоть базовый тип, хоть Succ (Succ Zero). Сами типы можешь выбрать какие хочешь, лишь бы механизм продемонстрировать
Это вообще, видимо, сводится к хотелке невозможности вызвать одну и ту же функцию два раза с одним и тем же аргументом, что, скорее всего, противоречит самой сути языка. Но я таки не уверен
Алексей Ayaye :)07.08.2018
13:49:06
13:49:06
Вопрос на засыпку.
Возможно ли в Haskell сделать так, чтобы при каждом вызове некоей полиморфной функции программист обязан был передавать всегда новый тип, иначе - ошибка компиляции? Интерес академический.
то есть, с каждым типом при первом вызове - работает, а при последующих - ошибка?Александр07.08.2018
13:49:13
13:49:13
Ага
Алексей Ayaye :)07.08.2018
13:50:03
13:50:03
Александр07.08.2018
13:50:28
13:50:28
Ну, ты, кажется, про рантайм уже говоришь. А я про компайлтайм
В рантайме такой механизм придумать легче легкого с запоминанием глобального состояния.
Denis07.08.2018
13:51:52
13:51:52
тебе надо хранить где-то информацию о типах и проверять не попали ли они в той позиции и в том порядке
Александр07.08.2018
13:52:29
13:52:29
тебе надо хранить где-то информацию о типах и проверять не попали ли они в той позиции и в том порядке
Мне проверять? То есть, это снова рантайм?Denis07.08.2018
13:52:54
13:52:54
можешь не проверять, написать на тайплевеле чекер какой-то
Александр07.08.2018
13:53:34
13:53:34
можешь не проверять, написать на тайплевеле чекер какой-то
И что мне помешает дважды вызвать эту функцию с уже прочеканным параметром?Dmitry07.08.2018
13:54:19
13:54:19
Можно свести этот вопрос к зацикливаеию. Если один раз появилось - компилируется, если два и больше - зацикливание ?
Александр07.08.2018
13:54:58
13:54:58
Да, так можно условие поставить
Dmitry07.08.2018
13:55:43
13:55:43
Или так: нужно сделать так, чтобы функция f =...g...g... не компилировалась
GoogleАлександр07.08.2018
13:56:00
13:56:00
Да :)
Dmitry07.08.2018
13:56:15
13:56:15
Думаю, это как-то через типы, чтобы они не композились
Александр07.08.2018
13:56:25
13:56:25
Может, что-нибудь из TH и квазиквот поможет?
Dmitry07.08.2018
13:57:35
13:57:35
Думаю, если бы bottom убрать, то можно было бы такое провернуть...
Александр07.08.2018
13:57:38
13:57:38
Гммм, а линейные типы это не позволили бы?
Dmitry07.08.2018
13:57:45
13:57:45
Задачка интересная :)
Открыть в Telegram