ок отлично

[| $([|a|]) |] = [| a |] ?

по-моему, да

отлично

блин я между использованиями TH успеваю его забыть

я всегда просто пишу код, который мне нужен, потом дампаю его AST, меняю большие буквы в конструкторах на маленькие, добавляю newName в нужных местах и всё

ну иногда ещё какая-нибудь тупая свёртка оказывается нужна, потому что в стандартной библиотеке нет -- | расставь плюсики пожалуйста sumE = foldr1 (\a b -> infixApp a [|(+)|] b) -- ^ спасибо

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

но вроде сравился, щас посмотрю что генерит

во, почти что надо генерит

Так когда, говорите, Trees That Grow замёржат в GHC, и макросами в Haskell станет намного удобней пользоваться?

хм-м, а я не в курсе

почему должно стать удобней пользоваться?

А когда станет удобней?( Никогда? ;(

ну, просто я не знаю, как Trees That Grow улучшит макросы, вот мне и интересно

Они уже унифируют AST между HSE и TH и GHC (как мне казалось). Может быть заодно смогут его улучшить, добавив всякие свистелки, чтобы стало удобней... Мне так казалось, но я мог ошибаться

а, я понял

ну это не макросы улучшатся, а HSE, пожалуй

typed th бы и того хватило

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

не, оно делает согласно правилам скоупинга > (\a -> $([|a|])) 3 3

у меня чуть другая ситуация

у меня [| \a -> $(something'that'will'use'a) |]

тогда a <- newName сделай и внутри его используй в лямбде и в something'that'...

в итоге \a заменяется на \a_0 и если я использую [|a|] то это не работает

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

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

+

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

тишина

Привет!

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

че так тихо?

нет задач

В хаскеле есть что-то вроде 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'

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