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

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

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

12 ответов

11 просмотров

не 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
Там же сразу по куску кода видно что оно будет лом...

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

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

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

а через ESC-код ?
Alexey Kulakov
29
30500 за редактор? )
Владимир
47
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
program test; {$mode delphi} procedure proc(v: int32); overload; begin end; procedure proc(v: int64); overload; begin end; var x: uint64; begin proc(x); end. Уж не знаю...
notme
6
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
вы делали что-то подобное и как? может есть либы готовые? увидел картинку нокода, где всё линиями соединено и стало интересно попробовать то же в ddl на lua сделать. решил с ч...
Victor
8
Ребят в СИ можно реализовать ООП?
Николай
33
Подскажите пожалуйста, как в CustomDrawCell(Sender: TcxCustomGridTableView; ACanvas: TcxCanvas; AViewInfo: TcxGridTableDataCellViewInfo; var ADone: Boolean); получить наз...
A Z
7
Карта сайта