Cheese
Cheese
Anonymous
объясняю суть тасков с codeforces.com: тебе дают задачу математического характера, ты скидываешь код, который ее решает, ее запускают 100 раз с разными данными (каждый ран называется тестом), проверяя ответ и длительность вычисления ответа
Anonymous
если на каком-то этапе она дает неверный ответ или работает дольше положенного, проверка останавливается
Anonymous
завел структуру, в каждом поле находится количество деревьев с определенным возрастом, каждые 10 лет это структура "смещается", т.к. деревься стареют
Anonymous
хз я думал тут кто-нибудь, да решает асм'ы
Cheese
никто не хочет разбираться с чужим кодом с нуля и бесплатно
Cheese
если у тебя есть конкретный вопрос, здесь ответят
Cheese
попробуй сам сгенерить тестовые данные
Cheese
воспользуйся QuickCheck
Cheese
точнее, вообще погонять побольше тестов
Cheese
объясняю суть тасков с codeforces.com: тебе не раскрывают тестовые данные, чтобы ты научился самостоятельно тестировать свой код
Anonymous
самая мерзкая часть работы
Anonymous
всегда отлаживаю методом пристального взгляда
Евгений
А потом в конторе один человек пишет код, а другой читает
Cheese
QuickCheck крайне простая и полезная штука
Timofey
офигеть, codeforce живёт на ghc-7.8.3
Timofey
Стак этот комплятор и ставить-то уже не умеет
Andrei
как не умеет? снапшот с ним взял и вперёд.
Andrei
https://www.stackage.org/lts-2.22
Anonymous
пофиксил до тайм лимита на 26, можете не хвалить
Timofey
2.22 - это 7.8.4
Timofey
а 7.8.3 - это 0.7, с ошибкой вида
Timofey
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
Timofey
итог - фтопку codeforce, мне влом такие древние версии компилятора ручками ставить.
Ilya
Timofey
эта задачка - явно из тех, что "карандаш и бумага быстрее клавиатуры и экрана"
Андрей
IC
Cheese
Андрей
типа написать корректный генератор аст дерева для грамматики, в которой очень многое зависит от контекста
IC
Андрей
ты сидишь такой, ковыряешься, а потом понимаешь, что этот тест того не стоит
Ilya
IC
Cheese
математику проверять проще, чем структуру кода, вебчик, логирование и пр.
Ilya
либо математика, либо языкоспецифичные задачи остаются
Yura
А можно как-то из type class узнать ассоциированный тип?
кана
да
кана
ассоциированый тип в классе по моему выглядит так будто это просто сахарок для отдельного инстанса, поправьте если не прав
кана
то есть если есть
class C a where
type CT a
instance C Int where
type CT Int = Float
то
f :: CT Int -> Float
f = id
Yura
class Foo a where
type T a :: (* -> *) -> * -> *
Yura
ага
кана
f :: Foo a => T a -> Int
A64m
да
Anonymous
IC
вот я и против использования демидовича для набивания рук в хаскеле
IC
это две совсем разные задачи. первая решается в голове / на бумаге.
Ilya
Anonymous
ну быстрое в том плане, что просто 10 мин потратил и забыл
Aleksei (astynax)
"Быстрое в написании", значит?
Ilya
Зигохистоморфный
как не зайди, а тут одно и тоже мусолят
Зигохистоморфный
Зигохистоморфный
и какой еще кодеварс?
Ilya
Зигохистоморфный
ну так давай-те ка это в хаскель фор бегинерс
Андрей
Андрей
нагрузка на мозг качает мозг
Зигохистоморфный
не пиши на хаскел, это возврат в 24 годы
Евгений
Зигохистоморфный
вообще не пиши на фп) это тоже возврат в прошлое
Anonymous
переименовываем конфу в го?
Зигохистоморфный
с бородатых годов ничерта не поменялось и половина пейперов не сделано или сделано через жопу
Aleksei (astynax)
Aleksei (astynax)
Не то что будущего
Anonymous
ничего нет
Евгений
Зигохистоморфный
вообще еще что написано как мат модели и прочее в 70-90-х еще на 30 лет вперед реализовывать
Евгений
На стандард мле писать это такое, конечно
Кабачок
Только недавно вспоминал
Кабачок
Кто там говорил что у жабы строчки в 80 символов не уменьшаются? А как вам это? https://github.com/emgucv/emgucv/blob/3be85ff6bfbbf0e23305e655ca278a9ecb4a1466/Emgu.CV/PInvoke/CvInvokeImgproc.cs#L1119
Aleksei (astynax)
> многие все еще строки 80-ю символами ограничивают
это я
Евгений
Я в 130 делаю