169 похожих чатов

А у GHC есть оптимизация, чтобы в newtype X a =

X a

f :: [A] -> [X A]
f = map X
вообще убрать map? Или такое надо руками через coerce делать?

10 ответов

9 просмотров

f = Data.Coerce.coerce

Misha-Puzanov Автор вопроса
Gentle Rabbit
f = Data.Coerce.coerce

а, супер но сам он не заменит?

Misha-Puzanov Автор вопроса
Gentle Rabbit
Нет вроде

странно, это же прямо просится

Misha Puzanov
странно, это же прямо просится

ну, это придется про функтор много знать в компиляторе, а не в правилах переписывания

Была, можешь чекнуть core

типы же. руками через coerce доказываешь, что типы правильные, а компилятор выкидывает обёртку

Misha-Puzanov Автор вопроса

есть newtype X a = X a f :: [Int] -> [X Int] f = map X inspect $ coreOf 'f f = f_sdj0 `cast` <Co:7> f_sdj0 = \ v -> v

Похожие вопросы

Обсуждают сегодня

Сообщение* в закодированном виде. То есть, просто сделать sendMessage?text=Привет бла-бла! не получится, надо в HEX переводить, и добавлять процент, типа такого: sendMessage?t...
КТ315
21
А случайно нет ли в паскале штатной возможности передать указатель и количество туда где array of в качестве аргумента?
zamtmn
25
Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
58
> комьюнити я бы не судил по этому чату. Как мы видели по статам просмотров нескольких телеговских постов, то в чате их набивается 30-40 или даже выше, когда как общаются акти...
Constantin F.
4
Как сделать чтобы short точно был 2 байта, int точно 4 байта ?(без стандартных библиотек, ну типа без int16_t, int32_t)
#
8
Ну раз я пока тут, задам пару глупых вопросов. Зачем писать на ассемблере если компилятор довольно умный, а ассемблер много времени занимает? В каких прикладных задачах сейчас...
Максим Рябцев
20
Всем привет. Испытываю проблемы в работе БД, а именно огромного роста логов, такого характера: 024-05-16 18:39:07 +05 sentry sentry [unknown] 1050169 7-1 app-sentry01.corp.ru>...
Alexey
2
Только такой if ($modx->event->name == 'OnBeforeCartItemAdding') { $meta = $params['item']['meta']; $lang = $modx->getConfig('_lang'); // проверяем, задана ли опция i...
Multi Web
1
Хм. А телеграм апи работают через HTTP?
The Bird of Hermes
14
Почему Telegram пишет, что объект media не найден, хотя на самом деле я его передаю? Делаю на urllib, без зависимостей, так надо. Вызываю метод sendMediaGroup с таким JSON: ...
Alexey S
1
Карта сайта