Haskell

26 Jul 2025 17:12

Может не совсем примитивный, но в любом случае не понятно что можно сказать про SSG

Haskell

26 Jul 2025 16:44

а вот за эту штуку может кто что сказать?

https://sprinkles.tobiasdammers.nl/

Haskell

26 Jul 2025 08:12

Монадную связку списка через генераторы в js не выразить, потому что состояние генератора нельзя скопировать

Haskell

26 Jul 2025 07:26

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

Haskell

26 Jul 2025 07:22

вот когда эксепшоны бросают или что-то то аргументы смешнее

Haskell

26 Jul 2025 07:15

вернее будет, но через кучу кейсов

Haskell

26 Jul 2025 07:13

x не в скоупе у baz и quz

Haskell

26 Jul 2025 06:32

можно пример на хаскеле минимальный?

Haskell

26 Jul 2025 06:30

ну это интерфейс для Promise.then, но интуитивно кажется что, можно просто всё обернуть в промисы, если есть контрпример могу подумать как сделать через await

Haskell

25 Jul 2025 23:52

реально. но реально долго.

Haskell

25 Jul 2025 23:28

Я тут наткнулся на странное взаимодействие listen и localSeqUnlift в effectful и теперь не могу понять, что с этим делать

Кажется, listen не перехватывает записи изнутри unlift, из-за чего они попадают во внешний скоуп.

Вот минимальный пример того, что я пытаюсь сделать

import Effectful
import Effectful.Dispatch.Dynamic
import Effectful.Writer.Static.Local
import Effectful.TH (makeEffect)

data Trace :: Effect where
    Trace :: String -> Trace m ()
    TraceScope :: (a -> String) -> m a -> Trace m a

makeEffect ''Trace

data TraceEntry
    = Entry String
    | Nested String [TraceEntry]
    deriving (Show)

runTrace :: Eff (Trace : es) a -> Eff es [TraceEntry]
runTrace = reinterpret execWriter \env -> \case
    Trace msg -> tell [Entry msg]
    TraceScope mkMsg action -> do
        (output, traces) <- listen $ localSeqUnlift env \unlift -> unlift action
        tell [Nested (mkMsg output) traces]
        pure output

-- >>> runPureEff $ runTrace example
-- [Entry "nested",Nested "scope" [Entry "nested"],Entry "not nested"]
example :: Trace :> es => Eff es ()
example = do
    traceScope (const "scope") do
        trace "nested"
    trace "not nested"

Haskell

25 Jul 2025 21:11

для любой монады работает?

Haskell

25 Jul 2025 21:05

https://github.com/swamp-agr/dawgdic/commit/031380fe4174e489d46b103b0dfa6bd95d9a6187

Haskell

25 Jul 2025 21:04

Постоянно об это бьюсь с dear-imgui и его бэкендами

Haskell

25 Jul 2025 21:03

а опциональный модуль со всякими отладочными хэлперами, который можно включить флагом в библиотеке, выключенным по умолчанию - это уже проклято или еще нет?

Haskell

26 Jul 2025 17:05

А что сказать? Очередной примитивный заброшенный SSG

Haskell

26 Jul 2025 08:55

Что-то такое получится

Haskell

26 Jul 2025 07:27

ничего, не первый раз такое, это будет задача для команды разработчиков жита

Haskell

26 Jul 2025 07:23

ну как, каскадные перепаковки на всю длину продолжения это больно

Haskell

26 Jul 2025 07:21

но то говоришь просто про деталь оптимизации? всё равно разговор про жс и хаскель, перф не нужен

Haskell

26 Jul 2025 07:14

шорт серкита не будет у ейзер, например

Haskell

26 Jul 2025 07:02

Почему это "неправильное" использование монады?

Haskell

26 Jul 2025 06:32

оберни монаду функция в промис

Haskell

25 Jul 2025 23:53

аааа, у меня еще и O2 было, ну нафик поставил O1

Haskell

25 Jul 2025 23:42

pandoc реально собрать? 😉

Haskell

25 Jul 2025 23:26

а чего hakyll такой монстр тяжелый?

Haskell

25 Jul 2025 21:08

возможно имеет смысл сделать копии модулей с трассами в отдельной директории src-trace, чтобы CPP под контроль взять, но тогда будет риск забывания переноса изменений из одной директории в другую

Haskell

25 Jul 2025 21:05

там еще в других модулях CPP обмазано порядочно

Haskell

25 Jul 2025 21:04

Примерно три с половиной черной кошки из пяти

Haskell

25 Jul 2025 20:35

Канадские слоговые дженерики