может, образы от stack подойдут?

хочется странного.. нет ли случайно докеризованных ghc + cabal, чтобы билдить под линукс так, как это сделано в stack?

https://hub.docker.com/r/elemir/haskell/

https://hub.docker.com/r/elemir/haskell/

спасибо!!

а официальный чем не подходит https://hub.docker.com/_/haskell/ ?

data Tree a = Tree Int a [Tree]

Интересно, не заготовку ли под некий dsl для rule engine'а пишете? С возможным ускорением поиска правил через hash map

Нет, я круд пишу :(

а официальный чем не подходит https://hub.docker.com/_/haskell/ ?

О, он ожил!!1

а официальный чем не подходит https://hub.docker.com/_/haskell/ ?

спасибо!!

у нас есть инструмент для построения графика зависимости времени выполнения от какого-нибудь параметра?

или надо просто criterion несколько раз запустить?

у нас есть инструмент для построения графика зависимости времени выполнения от какого-нибудь параметра?

типа такого https://github.com/purescript/purescript-free#benchmarks ?

типа такого https://github.com/purescript/purescript-free#benchmarks ?

да

успели первую альфу 8.6 в июне сделать Sat Jun 30 21:26:34 UTC 2018 даже несколько часов в запасе еще оставалось

хаскель изменился до неузнаваемости, конечно > for_ [0, 10_000 .. 100_000] \i -> print i

хаскель изменился до неузнаваемости, конечно > for_ [0, 10_000 .. 100_000] \i -> print i

?

типа такого https://github.com/purescript/purescript-free#benchmarks ?

а для Хаскеля?

хаскель изменился до неузнаваемости, конечно > for_ [0, 10_000 .. 100_000] \i -> print i

огого

вот теперь заживем

?

литералы для разрядов и доллар не нужен перед лямбдой

успели первую альфу 8.6 в июне сделать Sat Jun 30 21:26:34 UTC 2018 даже несколько часов в запасе еще оставалось

когда релиз ждать?

в сентябре, наверное

можно начинать ждать

литералы для разрядов и доллар не нужен перед лямбдой

и перед do наверное тоже

можно начинать ждать

Ещё ждём сноймана с лтс 8.4

и перед do наверное тоже

да

Ещё ждём сноймана с лтс 8.4

это где-то через неделю обещали вроде

хаскель изменился до неузнаваемости, конечно > for_ [0, 10_000 .. 100_000] \i -> print i

Это хорошо?

ну, конечно хорошо

Разделители разрядов мне тоже понравились

А доллар, видимо по \ определяется

главное изменение до неузнаваемости - тайплевел пролог больше не пролог

Now you can do in Haskell without dollars! Успешно избегаем успех!

главное изменение до неузнаваемости - тайплевел пролог больше не пролог

Это как?

> Quantified class constraints have been proposed many years ago to raise the expressive power of type classes from Horn clauses to the universal fragment of Hereditiary Harrop logic. хорновские дизъюнкты - это пролог

А доллар, видимо по \ определяется

не только, это теперь тоже корректный хаскель replicateM_ 10 do print "bang!"

В конкретно этом случае с долларом как-то лучше: replicateM_ 10 $ print "bang!". Хотя это уже вкусовщина.

да всегда с долларом лучше

> Quantified class constraints have been proposed many years ago to raise the expressive power of type classes from Horn clauses to the universal fragment of Hereditiary Harrop logic. хорновские дизъюнкты - это пролог

И что это даёт простым людям?

Зависит от уровня простоты человека

И что это даёт простым людям?

библиотеки получше

непосредственно "простой человек" эту фичу, наверное, использовать не будет

для простого человека есть значительная фича deriving via

также надо отметить, что альфа вроде не ломает все либы с дженериками, хотя соотвествующее решение (не ломать) еще комитет не прошло

надеюсь в хаскеле не будет проблемы питона с 2/3

надеюсь в хаскеле не будет проблемы питона с 2/3

Есть проблема 1/4

Три мажора и давай до свидания.

Но это проблема не в языке, а в либах.

Хотя с ускорением релизов придётся поддерживать не на три назад, а на пять-шесть.

Три мажора и давай до свидания.

да ладно поддерживается только последняя версия

и в языке и в либах

Ну не знаю, я 7.10 ещё не дропнул.

и.е. оно на три версии обычно собирается, не более того

ну баги в 7.10 никто исправлять не будет

так же как баги в непоследней версии либ

Я про то, что последняя версия либ обычно работает с непоследними компиляторами.

собирается

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

вообще?

Ну может кто-то сможет вспомнить редчайшие исключения

в ghc было полтора бекпорта, когда старый перестал вообще работать на новых убунтах

да, бекпортили единичные фиксы для убунты и виндовс, когда все переставало работать вообще, в других случаях не бекпортили

ну и насчет продления собираемости либ - вот гхц так и продолжает политику собираемости двумя релизами и head, никто до 4 релизов не продлил после перехода на полугодовые. ну и это не первые полугодовые релизы гхц

а, да, ну и конечно фича 8.6 в которой самое загадочное - почему это не фича 5.00 Prelude> :doc map 'map' @f xs@ is the list obtained by applying @f@ to each element of @xs@, i.e., > map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn] > map f [x1, x2, ...] == [f x1, f x2, ...]

а, да, ну и конечно фича 8.6 в которой самое загадочное - почему это не фича 5.00 Prelude> :doc map 'map' @f xs@ is the list obtained by applying @f@ to each element of @xs@, i.e., > map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn] > map f [x1, x2, ...] == [f x1, f x2, ...]

надеюсь они догадались сделать ключик чтобы в :info это сразу выскакивало?

нет конечно

ERROR: S client not available

а, да, ну и конечно фича 8.6 в которой самое загадочное - почему это не фича 5.00 Prelude> :doc map 'map' @f xs@ is the list obtained by applying @f@ to each element of @xs@, i.e., > map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn] > map f [x1, x2, ...] == [f x1, f x2, ...]

по сути хугл (новый), встроенный в ghci?

раз уж в новом всё равно поиска по типам нет, зачем он тогда будет нужен с этим :doc

хаскель изменился до неузнаваемости, конечно > for_ [0, 10_000 .. 100_000] \i -> print i

как в пурсе, можно $ не ставить

раз уж в новом всё равно поиска по типам нет, зачем он тогда будет нужен с этим :doc

в новом ghc и поиск по типам встроенный

и правда заживём теперь

Prelude> _ :: [Int] -> Int <interactive>:15:1: error: * Found hole: _ :: [Int] -> Int * In the expression: _ :: [Int] -> Int In an equation for `it': it = _ :: [Int] -> Int * Relevant bindings include it :: [Int] -> Int (bound at <interactive>:15:1) Valid hole fits include head :: forall a. [a] -> a last :: forall a. [a] -> a length :: forall (t :: * -> *) a. Foldable t => t a -> Int maximum :: forall (t :: * -> *) a. (Foldable t, Ord a) => t a -> a minimum :: forall (t :: * -> *) a. (Foldable t, Ord a) => t a -> a product :: forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a sum :: forall (t :: * -> *) a. (Foldable t, Num a) => t a -> a Valid refinement hole fits include foldl1 (_ :: Int -> Int -> Int) where foldl1 :: forall (t :: * -> *) a. Foldable t => (a -> a -> a) -> t a -> a foldr1 (_ :: Int -> Int -> Int) where foldr1 :: forall (t :: * -> *) a. Foldable t => (a -> a -> a) -> t a -> a foldl (_ :: Int -> Int -> Int) (_ :: Int) where foldl :: forall (t :: * -> *) b a. Foldable t => (b -> a -> b) -> b -> t a -> b foldr (_ :: Int -> Int -> Int) (_ :: Int) where foldr :: forall (t :: * -> *) a b. Foldable t => (a -> b -> b) -> b -> t a -> b const (_ :: Int) where const :: forall a b. a -> b -> a ($) (_ :: [Int] -> Int) where ($) :: forall a b. (a -> b) -> a -> b fail (_ :: String) where fail :: forall (m :: * -> *) a. Monad m => String -> m a return (_ :: Int) where return :: forall (m :: * -> *) a. Monad m => a -> m a pure (_ :: Int) where pure :: forall (f :: * -> *) a. Applicative f => a -> f a ($!) (_ :: [Int] -> Int) where ($!) :: forall a b. (a -> b) -> a -> b id (_ :: [Int] -> Int) where id :: forall a. a -> a head (_ :: [[Int] -> Int]) where head :: forall a. [a] -> a last (_ :: [[Int] -> Int]) where last :: forall a. [a] -> a asTypeOf (_ :: [Int] -> Int) (_ :: [Int] -> Int) where asTypeOf :: forall a. a -> a -> a (!!) (_ :: [[Int] -> Int]) (_ :: Int) where (!!) :: forall a. [a] -> Int -> a until (_ :: ([Int] -> Int) -> Bool) (_ :: ([Int] -> Int) -> [Int] -> Int) (_ :: [Int] -> Int) where until :: forall a. (a -> Bool) -> (a -> a) -> a -> a foldl1 (_ :: ([Int] -> Int) -> ([Int] -> Int) -> [Int] -> Int) (_ :: [[Int] -> Int]) where foldl1 :: forall (t :: * -> *) a. Foldable t => (a -> a -> a) -> t a -> a foldr1 (_ :: ([Int] -> Int) -> ([Int] -> Int) -> [Int] -> Int) (_ :: [[Int] -> Int]) where foldr1 :: forall (t :: * -> *) a. Foldable t => (a -> a -> a) -> t a -> a

> Valid refinement hole fits include как у больших прям

круто

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

агдо?

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

Потому что энтропия не может убывать

надо бы наконец выучить го

(да, выдача подсказывателя не с дефолтными настройками)

на ICFP стоял студент с этой фичей поиска исправления по типу. у него это то ли курсовая, то ли дипломная была

я вижу хаскель это механизм получения научных работ

в том числе

Потому что энтропия не может убывать

У замкнутой системы. И то, статистически.

?

у нас есть инструмент для построения графика зависимости времени выполнения от какого-нибудь параметра?

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

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

бедапечаль. все зависимости линейные. значит, просто починить алгоритм не получится, надо профилировать

бедапечаль. все зависимости линейные. значит, просто починить алгоритм не получится, надо профилировать

Вроде @qnikst что-то говорил раньше про складирование результатов в эластик и у твига статья даж чтоли была если не вру

Tweag I/O - Tracking performance over the entire software lifecyle https://www.tweag.io/posts/2017-09-06-hyperion.html

Вроде @qnikst что-то говорил раньше про складирование результатов в эластик и у твига статья даж чтоли была если не вру

а это точно мне? я отлаживаю парсер на аттопарсеке одного смешного языка

Ну построй график гнуплотом или ещё чем

спасибо, я уже решил задачу одним критерионом

Или задача найти коробочное решение целиком?

Ещё лучше

задача — разобраться, что тормозит в парсере, и ускорить

сейчас я выяснил, что парсер хотя бы линейный

есть какие-нибудь халявные рекомендации по отладке аттопарсеков?