префикс задать и отрезать его через aeson options

Ого, точно

Попробовал через стек на мильене в списке

500000.0
     128,165,664 bytes allocated in the heap
         379,936 bytes copied during GC
          89,784 bytes maximum residency (2 sample(s))
          60,424 bytes maximum slop
               5 MiB total memory in use (0 MB lost due to fragmentation)

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0       121 colls,   121 par    0.040s   0.008s     0.0001s    0.0027s
  Gen  1         2 colls,     1 par    0.001s   0.000s     0.0001s    0.0002s

  Parallel GC work balance: 31.32% (serial 0%, perfect 100%)

  TASKS: 10 (1 bound, 9 peak workers (9 total), using -N4)

  SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)

  INIT    time    0.003s  (  0.002s elapsed)
  MUT     time    0.057s  (  0.042s elapsed)
  GC      time    0.040s  (  0.008s elapsed)
  EXIT    time    0.001s  (  0.008s elapsed)
  Total   time    0.101s  (  0.060s elapsed)

  Alloc rate    2,235,253,758 bytes per MUT second

Это мало для теста?

у меня с -O0 на [0..1_000_000]

    288,099,424 bytes allocated in the heap
         35,768 bytes copied during GC
         44,408 bytes maximum residency (2 sample(s))

У тебя список целый вроде у меня Дубль от нуля и до мульена

нет, я сделал [Double] -> Double

мне кажется тут без -O0, потому что я запускаю твой код у себя, и там

    354,651,808 bytes allocated in the heap
    521,710,456 bytes copied during GC
     80,186,808 bytes maximum residency (11 sample(s))

мда, как занять 10 хаскелистов с работой на два часа

Я через стек пробую

stack run -- app/Main.hs --ghc-options="-O0" +RTS -s

На списке Интежерном

500000.0
      88,165,392 bytes allocated in the heap
         274,960 bytes copied during GC
          90,200 bytes maximum residency (2 sample(s))
          60,440 bytes maximum slop
               5 MiB total memory in use (0 MB lost due to fragmentation)

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0        83 colls,    83 par    0.016s   0.004s     0.0000s    0.0014s
  Gen  1         2 colls,     1 par    0.001s   0.000s     0.0002s    0.0002s

  Parallel GC work balance: 39.18% (serial 0%, perfect 100%)

  TASKS: 10 (1 bound, 9 peak workers (9 total), using -N4)

  SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)

  INIT    time    0.002s  (  0.002s elapsed)
  MUT     time    0.050s  (  0.039s elapsed)
  GC      time    0.017s  (  0.004s elapsed)
  EXIT    time    0.001s  (  0.006s elapsed)
  Total   time    0.071s  (  0.050s elapsed)

  Alloc rate    1,747,350,026 bytes per MUT second

  Productivity  71.5% of total user, 77.4% of total elapsed

два часа уже не могут нормальную функцию написать

я ж говорю, надо пакет фолдл использовать

да выше же несколько нормальных было

— И конечно, что за рыцарь без благородного рысака?
— Все слышали? Я благородный рысак! Я жеребец!

А это 10 лямов в списке

5000000.0
     880,161,816 bytes allocated in the heap
       1,971,432 bytes copied during GC
          86,184 bytes maximum residency (2 sample(s))
          55,848 bytes maximum slop
               5 MiB total memory in use (0 MB lost due to fragmentation)

                                     Tot time (elapsed)  Avg pause  Max pause
  Gen  0       848 colls,   848 par    1.650s   1.370s     0.0016s    0.0544s
  Gen  1         2 colls,     1 par    0.004s   0.000s     0.0001s    0.0002s

  Parallel GC work balance: 4.92% (serial 0%, perfect 100%)

  TASKS: 10 (1 bound, 9 peak workers (9 total), using -N4)

  SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)

  INIT    time    0.001s  (  0.015s elapsed)
  MUT     time    1.585s  (  1.059s elapsed)
  GC      time    1.654s  (  1.370s elapsed)
  EXIT    time    0.001s  (  0.008s elapsed)
  Total   time    3.241s  (  2.452s elapsed)

  Alloc rate    555,255,920 bytes per MUT second

  Productivity  48.9% of total user, 43.2% of total elapsed

а чем тут Черч енкодинг поможет?

удобно писать такие вещи просто

только из-за композиционости для однопроходок?

ну да, если не надо проходы композить то пользы не будет

а вообще да) foldl можно включить в стандарт прелюды как и линз)

хотя это полноценная контрол-либа и без многопроходок