оно через $(varE a) используется? или есть более простые пути?

нету можно хелпер объявить newVar s = do x <- newName s return (x, varE x, varP x) do (_, aE, aP) <- newVar "a" [| \ $aP -> ... $aE ... |]

+

@hardliner а что насчет тебя?

тишина

@MoneyMafia - канал где бесплатно публикуются различные способы и схемы заработка, которые продаются на тематических форумах за бешенные деньги.

Привет!

Привет, рад видеть знакомые лица!

че так тихо?

нет задач

В хаскеле есть что-то вроде console.log во время выполнения программы?

?

В хаскеле есть что-то вроде console.log во время выполнения программы?

Из монады IO есть putStrLn

print ("WUT", (show 12344))

trace (show ("WUT ", 1234))

Я подозреваю, что ему нужно не из IO :)

trace без IO

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

но наверное это неправильный подход в хаскеле

module Integration where integration :: (Double -> Double) -> Double -> Double -> Double integration f a b = iter 0 a where steps = 1000 delta = (b - a) / steps iter acc a | a >= b = acc | otherwise = iter newAcc (a + delta) where newAcc = acc + (f a + f (a + delta)) / 2 * delta

trace/traceM к выше, тут надо посмотреть

что не получается то?

не тот ответ/не проходит по времени?

btw, раз уж количество шагов посчитано, то не проще ли по ним итерироваться, а не по a+delta копя ошибку?

вообще если пользоваться фунциональным подходом через iterate и т.п. то может жить проще

не тот ответ

про iterate пока не проходил)

это что вы интеграл пытаетесь посчитать?

лучше испоьзовать foldl

лучше не использовать foldl никогда

foldl' или foldr

исключение если foldl это библиотека Гонзалесова

но внешние либы на курсах заборонены

лучше не использовать foldl никогда

почему? я думал он хорошо оптимизирован

foldl как библиотека - хорошо

как метод - плохо

т.к. как метод это гарантировано thunk leak

про библиотеку я не знал

и вообще не нашел

можешь скинуть ссылку?

http://hackage.haskell.org/package/foldl

https://www.well-typed.com/blog/2014/04/fixing-foldl/

про foldl

перед сном хорошо почитать

посоветуйте какую либо использовать чтобы парсить аргументы командной строки?

optparse-applicative

если очень простые, то optparse-generic но потом все равно придёт к optparse-applicative

вот тут (https://wiki.haskell.org/Command_line_option_parsers) говорят что она не умеет конкретные ошибки показывать :(

смотря какая степень конкретности нужна

написать "Invalid argument `ololo'" оно может

ясно. спасибо

@qnikst а имеет смысл избавляться от foldl-ов? их небось всё равно оптимизатор оптимизирует

@qnikst а имеет смысл избавляться от foldl-ов? их небось всё равно оптимизатор оптимизирует

ничего не оптимизирует

т.е имеет смысл?

валятся стэковерфлоу

просто меняешь на foldl'

ничего не валится, но попроую убрать и посмотрю что получится

ничего не валится, но попроую убрать и посмотрю что получится

ну потому что по дефолту стэк в GHC гигантский и свалить в нормальном приложении его непросто, зато на задачке на codeforces легко можно почувствовать разницу

optparse-applicative если аппликативные и position free

@voidlizard от foldl-ов имеет

никто их не оптимизирует

Oleg ну стек маленький, но расширяемый (блин как это называется), в общем блоками он

я давно этого не делал, но смутно помню, что все мои попытки заменять foldl на foldl' заканчивались ничем, т.е никакого профита не давали

Oleg ну стек маленький, но расширяемый (блин как это называется), в общем блоками он

я помню, когда у меня вывалился, ghc сказал что я потратил 16 MB или типа того, что гораздо больше стеков во всяких strict языках

ну есть сишный стек

его тоже можно потратить, но его тратит далеко не все

сейчас его таки сделали ограниченным, раньше не так было

можно через -K задать

можно через -K задать

вот вот, он мне так же сказал, когда вывалилс

qnikst@qwork ~ $ ./1 +RTS -K1M 1: Stack space overflow: current size 33624 bytes. 1: Use `+RTS -Ksize -RTS' to increase it. qnikst@qwork ~ $ ./1 +RTS -K10M 1: Stack space overflow: current size 33624 bytes. 1: Use `+RTS -Ksize -RTS' to increase it. qnikst@qwork ~ $ ./1 +RTS -K100M 1: Stack space overflow: current size 33624 bytes. 1: Use `+RTS -Ksize -RTS' to increase it.

неожиданно

на програмке которая жрет стек

qnikst@qwork ~ $ cat 1.hs import Data.List main = print $ foldr (+) 0 [1..100000000]

как на арче скомпилировать библиотеку со старым GHC (7.6, например)?

(точно не помогу) проблема в том что неоткуда достать старый ghc?

проблема в том, что а) неоткуда достать старый ghc, б) я не знаю, как сказать кабалу/стеку использовать старый ghc

кажется все эти lts начинают с ghc 7.8 хотя опция выбора ghc там вроде была. например когда используешь ghcjs

https://docs.haskellstack.org/en/stable/yaml_configuration/#compiler

но вообще это более глобальная проблема у арча: что делать если нужна версия постарее. я когда то решил что проще будет собрать самому, чем разбираться, а потом перешёл на убунту

как на арче скомпилировать библиотеку со старым GHC (7.6, например)?

А зачем компилировать со старым ghc? Насколько актуально вообще поддерживать настолько старый ghc?

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

@lightgreen поставить в префикс генту, а дальше понятно

вместо генты можно nix

кабалу просто - with-ghc

со стеком хуже, надо найти подходящий снапшот, где этот ghc

кажется все эти lts начинают с ghc 7.8 хотя опция выбора ghc там вроде была. например когда используешь ghcjs

https://docs.haskellstack.org/en/stable/yaml_configuration/#compiler

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

о, я нашёл, что в AUR есть все версии (7.4 – 7.10) теперь с with-ghc будет всё ок, наверно спасибо

А здесь есть кто-нибудь, кто писал больше 10k loc на Haskell'е в каком-нибудь проекте?