правда пурскриптовый выхлоп достаточно простой чтоб prepack его во время компиляции вычислял полностью до одного консоль лог
ну, только, наверное за год, потому что для 1000 три минуты считает

да, асимптотика роста оставляет желать лучшего

ФЯ 90-х

|         comp          |       VM        |   t    |
| --------------------- | --------------- | ------ |
| ghc 8.2.2 (O2) llvm 6 | stg ghc x64     | 7      |
| clean                 | abc             | 40     |
| ocaml 4.04 flambda O3 |                 | 72     |

против ФЯ 2010-х

| idris 0.99            |                 | 54308  |
| purescript 0.11.4     | node v7.10.0 V8 | 128369 |

странно что на ноде 46.9%  GC бенчмарк очень щадящий к ГЦ с поколениями

Однако, ну походу надо Data.List.Lazy переписывать

А то пурса самая долгая

Ну или все переписать чтобы включался нативный обработчик TCO в pulp

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

Ну там есть попытки оптимизации tco

лол https://github.com/i-am-tom/purescript-prelewd

Да, чувак поехал

ну хорошо поехал же

это же прикол, т.е. конечно же он не серьезно)
https://github.com/i-am-tom/purescript-prelewd/blob/master/src/Prelewd.purs#L43 мне нравится как он все объясняет

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

ох блин

https://www.youtube.com/watch?v=dbM72ap30TE
вот тут вроде как можно найти (почти) все возможные видосики организованные в плейлисты: https://github.com/purescript/purescript/wiki/PureScript-Presentations

Глупый вопрос: есть функция, такого типа:

type Something = One String | Two Int | Three Float | Four ( Int, Float )

myFn :: Something -> Subject -> Subject
   --  doOne :: String -> Subject -> Subject
myFn (One s) = doOne s
   --  doTwo :: Int -> Subject -> Subject
myFn (Two i) = doTwo i
   --  doThree :: Float -> Subject -> Subject
myFn (Three f) = doThree f
   --  doFour :: ( Int, Float ) -> Subject -> Subject
myFn (Four t) subj = 
    -- сделать что-то с subj, потом отдать в doFour
    doFour t subj

на самом деле вариантов сильно больше и subj нужен только для одного. не компилится из-за различного кол-ва параметров, можно как-то не используя case это обойти?

Нет

понятно, спасибо :)

Смысл разный же. В первых трёх паттернах возвращается функция. В последнем - уже результат