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

Но @A64m_qb0 должен радоваться, что символ сэкономлен

да, (a, b) -> было бы ужасно

Так и знал

Вот так срыв покровов.

остаётся мнение WT или IOHK послушать, чтобы обе стороны были..

твиг то скорее к снойману тяготит?

У фандепов a b -> c это (a, b) -> c

вот, спасибо

уважаемые мэйнтейнеры katip, а не могли бы пояснить отсутствие последнего в stackage?

я думаю что меинтейнеров катип тут нету, а вот взять и собрать PR каждый может

А, вот оно что, спасибо

я как-то не задумывался что последнего релиза в стакане нету, могу попробовать собрать, но это не точно, мне обычно лень stack дома использовать

Там только еще надо будет пример подправить и доку немного

а может другие либы с катипом не собирается

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

А рантайм GHC не собирает информацию вроде: сколько какой тред исполнялся? А то непонятно кто тормозит

А рантайм GHC не собирает информацию вроде: сколько какой тред исполнялся? А то непонятно кто тормозит

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

Надо почитать про него. Но в идеале хотелось бы обойтись без него

есть threadscope, есть ghc-events-analyze (правда он может сгнил уже)

для них билдить с профилировкой не надо эвентлога достаточно

http://www.well-typed.com/blog/2014/02/ghc-events-analyze/

Спасбо! Поиграюсь

А рантайм GHC не собирает информацию вроде: сколько какой тред исполнялся? А то непонятно кто тормозит

ghc-events же и eventlog

прикольная штука

его ещё можно как дешёвый трейсер использон

https://github.com/Fuuzetsu/ghc-prof-aeson-flamegraph есть

это про другое

это методы, а не треды

а, ну да

Сап двач, нуждаюсь в хелпе по небольшому таску (http://codeforces.com/gym/101845/problem/A), написал настолько же небольшой код

но он вылетает на 5 тесте))

хз мозги не работают, но хочу уже избавиться от него

бтв он скорее всего будет по времени падать, но это уже другая проблема, в общем буду рад любой помощи

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

(борется с желанием использовать лексику из /pr, а то и из /s)

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

да, надо

но он вылетает на 5 тесте))

что проверяет 5 тест?

объясняю суть тасков с codeforces.com: тебе дают задачу математического характера, ты скидываешь код, который ее решает, ее запускают 100 раз с разными данными (каждый ран называется тестом), проверяя ответ и длительность вычисления ответа

если на каком-то этапе она дает неверный ответ или работает дольше положенного, проверка останавливается

завел структуру, в каждом поле находится количество деревьев с определенным возрастом, каждые 10 лет это структура "смещается", т.к. деревься стареют

хз я думал тут кто-нибудь, да решает асм'ы

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

если у тебя есть конкретный вопрос, здесь ответят

попробуй сам сгенерить тестовые данные

воспользуйся QuickCheck

точнее, вообще погонять побольше тестов

объясняю суть тасков с codeforces.com: тебе не раскрывают тестовые данные, чтобы ты научился самостоятельно тестировать свой код

самая мерзкая часть работы

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

А потом в конторе один человек пишет код, а другой читает

QuickCheck крайне простая и полезная штука

офигеть, codeforce живёт на ghc-7.8.3

Стак этот комплятор и ставить-то уже не умеет

как не умеет? снапшот с ним взял и вперёд.

https://www.stackage.org/lts-2.22

пофиксил до тайм лимита на 26, можете не хвалить

2.22 - это 7.8.4

а 7.8.3 - это 0.7, с ошибкой вида

No setup information found for ghc-7.8.3 on your platform. This probably means a GHC bindist has not yet been added for OS key 'linux64'. Supported versions: ghc-7.8.4, ghc-7.10.1, ghc-7.10.2, ghc-7.10.3, ghc-8.0.1, ghc-8.0.2, ghc-8.2.1, ghc-8.2.2, ghc-8.4.1, ghc-8.4.2, ghc-8.4.3

итог - фтопку codeforce, мне влом такие древние версии компилятора ручками ставить.

завел структуру, в каждом поле находится количество деревьев с определенным возрастом, каждые 10 лет это структура "смещается", т.к. деревься стареют

вряд ли так получится пройти тесты на больших N, ведь тебе придётся накрутить 10^14 смещений этой структурки

ERROR: S client not available

эта задачка - явно из тех, что "карандаш и бумага быстрее клавиатуры и экрана"

QuickCheck крайне простая и полезная штука

ну есть кейсы когда мозг очень клинит

объясняю суть тасков с codeforces.com: тебе дают задачу математического характера, ты скидываешь код, который ее решает, ее запускают 100 раз с разными данными (каждый ран называется тестом), проверяя ответ и длительность вычисления ответа

бесят такие. если бы я хотел решать математику, я бы взял задачник по математике. при чём тут код?

ну есть кейсы когда мозг очень клинит

что имеешь в виду?

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

QuickCheck крайне простая и полезная штука

но лучше взять hedgehog

ты сидишь такой, ковыряешься, а потом понимаешь, что этот тест того не стоит

бесят такие. если бы я хотел решать математику, я бы взял задачник по математике. при чём тут код?

ну вебчик писать такие задачи не помогают, это правда

ну вебчик писать такие задачи не помогают, это правда

писали бы mathforce сразу или там codedemidovich

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

либо математика, либо языкоспецифичные задачи остаются

А можно как-то из type class узнать ассоциированный тип?

да

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

то есть если есть class C a where type CT a instance C Int where type CT Int = Float то f :: CT Int -> Float f = id

class Foo a where type T a :: (* -> *) -> * -> *

ага

f :: Foo a => T a -> Int

то есть если есть class C a where type CT a instance C Int where type CT Int = Float то f :: CT Int -> Float f = id

то есть вот тут наверное будет то же самое, что и сделать просто: class C a type family CT a instance C Int type instance CT Int = Float

да

бесят такие. если бы я хотел решать математику, я бы взял задачник по математике. при чём тут код?

руку набить я в хаскеле всего месяц+, хочется написать что-то быстрое

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

это две совсем разные задачи. первая решается в голове / на бумаге.

вряд ли так получится пройти тесты на больших N, ведь тебе придётся накрутить 10^14 смещений этой структурки

Да это понятно, просто хотел лобовое решение для начала написать. А вообще, я еще думаю насчет быстрого решения, т.к. 10^14 итераций даже на плюсах больше секунды возьмут.

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

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

Да это понятно, просто хотел лобовое решение для начала написать. А вообще, я еще думаю насчет быстрого решения, т.к. 10^14 итераций даже на плюсах больше секунды возьмут.

Если очень грубо, то они займут 10^5 сек

руку набить я в хаскеле всего месяц+, хочется написать что-то быстрое

На хаскеле не пишут быстрое. По крайней мере по началу. Пишут красивое :)

ну быстрое в том плане, что просто 10 мин потратил и забыл

"Быстрое в написании", значит?