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

Как сделать [a] -> [(a,Bool)] , так чтобы false у

последнего эл-та
zip x ((const True <$> drop 1 x)++[False])
но можно лучше?

12 ответов

3 просмотра

не drop, а init?

Я человек простой, мне рекурсию проще читать, если она записана как рекурсия f [] = [] f [x] = [(x,False)] f (x:xs) = (x,True) : f xs

Alexander-Vershilov Автор вопроса
іва
Я человек простой, мне рекурсию проще читать, если...

Этот вариант даже не рассматривается

Alexander Vershilov
Этот вариант даже не рассматривается

слишком боринг или есть объективные причины?

Alexander-Vershilov Автор вопроса
іва
слишком боринг или есть объективные причины?

Отдельная функция, которую приходится записывать на toplevel

Alexander Vershilov
Отдельная функция, которую приходится записывать н...

так-то в where можно отправить, но сделать ее безымянной, да не получится.

snd . foldr (\x (b, xs) -> (True, (x, b):xs)) (False, [])

zip xs ((tail xs $> False) ++ [True])

очевидно же: import Control.Exception import Data.IORef import System.IO.Unsafe lastIsFalse :: [Bool] lastIsFalse = unsafePerformIO $ do ref <- newIORef False let go = do b <- unsafeInterleaveIO $ readIORef ref bs <- unsafeInterleaveIO $ do writeIORef ref True _ <- evaluate b writeIORef ref False go pure $ b : bs go walk :: [a] -> [a] walk = foldr (\x r -> (:) x $! r) [] -- >>> test -- [(1,True),(2,True),(3,True),(4,True),(5,False)] test = walk $ take 5 $ zip [1..] lastIsFalse

написал про это пост: https://github.com/effectfully/sketches/tree/master/a-law-breaking-hack

Alexander-Vershilov Автор вопроса
Roman
написал про это пост: https://github.com/effectful...

Там же сразу по куску кода видно что оно будет ломаться при разном порядке вычисления (хотя читаю дальше)

Alexander Vershilov
Там же сразу по куску кода видно что оно будет лом...

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

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

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

Сообщение* в закодированном виде. То есть, просто сделать sendMessage?text=Привет бла-бла! не получится, надо в HEX переводить, и добавлять процент, типа такого: sendMessage?t...
КТ315
21
А случайно нет ли в паскале штатной возможности передать указатель и количество туда где array of в качестве аргумента?
zamtmn
25
> комьюнити я бы не судил по этому чату. Как мы видели по статам просмотров нескольких телеговских постов, то в чате их набивается 30-40 или даже выше, когда как общаются акти...
Constantin F.
4
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
Как сделать чтобы short точно был 2 байта, int точно 4 байта ?(без стандартных библиотек, ну типа без int16_t, int32_t)
#
8
Всем привет. Испытываю проблемы в работе БД, а именно огромного роста логов, такого характера: 024-05-16 18:39:07 +05 sentry sentry [unknown] 1050169 7-1 app-sentry01.corp.ru>...
Alexey
2
Ну раз я пока тут, задам пару глупых вопросов. Зачем писать на ассемблере если компилятор довольно умный, а ассемблер много времени занимает? В каких прикладных задачах сейчас...
Максим Рябцев
20
Только такой 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
Карта сайта