что ты передаешь как file когда вызываешь runApp

нет, "~/.todos"

а, ну да тильду никто раскрывать не будет

это видать была сессия программы?

а то я думал что это терминал:/

а в чём тогда вопрос?

Уже ни в чём - разобрался, проблема была в том, что пути не резолвятся автоматом и из-за этого writeFile падает не с самой очевидной ошибкой

это видать была сессия программы?

?

я думал что ты вызываешь утилиту ./todos из command line

а там резолв путей делается башем

ну или что вместо шела

баш не делает резолв

и да я из баша вызывал

Вот исходники, если вдруг кому интересно: http://git.home.smt.run/experimental/haskell-todo/blob/develop/src/Main.hs P.S. Был бы рад услышать здоровую критику :)

если в кавычках, то не ресолвит, без кавычек ресолвит

#offtop а у меня todo в vimwiki и мне нравится...

если в кавычках, то не ресолвит, без кавычек ресолвит

и правда, как-то я пропустил этот момент

#offtop а у меня todo в vimwiki и мне нравится...

а у меня в tasks на ведроиде, но это ж для практики

я бы хотел для себя фронтенд к vimwiki на ведроид, но на хаскелле не получится :(

Почему?

ndk и вперёд

Правда не уверен что оно того стоит

а гуй?

FFI и биндинге к джавке

через ndk

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

сейчас вроде все крупные приложения на ndk и плюсах

Так что наверно и хаскел можно прикрутить при желании

Есть кстати ещё вот такая штука: http://eta-lang.org/

о да, расскажите побольше про хаскель и андроид

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

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

Во: https://brianmckenna.org/blog/eta_android

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

а как тогда? haskell наверное умеет компилироваться в байт-код JVM или чё там в андроиде?

но эта будет медленно:(

там вроде надо в объектники и потом особым образом линковать

или как-то так

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

Во: https://brianmckenna.org/blog/eta_android

благодарю, сохранил

Типа JIT и все дела

да не, у меня NP-полная задача =)

JIT наверное для другого

тут просто алгоритм бы вылизать, да поближе к железу

JIT просто оптимизирует код на основе статистики

Т.е. если функцию дёргали только для списка с одним элементом, то он сотворит оптимизированную версию для этого дела

Сэкономив пару тройку вызовов

а как тогда? haskell наверное умеет компилироваться в байт-код JVM или чё там в андроиде?

вот они как писали: "Using native code does not result in an automatic performance increase, but always increases application complexity. If you have not run into any limitations using the Android framework APIs, you probably do not need the NDK." у меня в памяти это было страшнее :)

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

вот они как писали: "Using native code does not result in an automatic performance increase, but always increases application complexity. If you have not run into any limitations using the Android framework APIs, you probably do not need the NDK." у меня в памяти это было страшнее :)

Всё-таки мне кажется, что алгоритмы лучше сразу реализовывать с помощью NDK. Зачем лишняя прослойка в виде виртуальной машины.

JIT просто оптимизирует код на основе статистики

это если профилирующий JIT, как у Явы

а, вы про Яву как раз

надо же для этого JIT код сгенерить такой, который он поймёт. та же ленивость разве не создаёт лишнего оверхэда?

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

А как у хаскеля кстати со стоимостью исключений?

дешевые

или надо цифры?

сразу хочется написать - и тьюринг-полные. но они и так тьюринг-полные

А каким разумным способом можно бенчмаркать стоимость исключений? И делал ли это кто-нибудь? Цифры, конечно, интересно увидеть)

Я просто с джавой сравниваю

проверить разницу throwIO 17 и pure $ Left 17

И там они ооочень дорогие

только наверное надо внутри чего-то разумного их сделать

и потом попробовать вложенные pure $ Left 17

@saksmt с другой стороны doesFileExist использует внутри исключения

там делается (not . isDirectory <$> getFileMetadata file) `catchIOError \_ -> pure False`

что-то в таком духе

doesFileExist :: FilePath -> IO Bool doesFileExist path = do (not <$> pathIsDirectory path) `catchIOError` \ _ -> return False

поиск по стоимости исключений ничего не показывает

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

о каком дорого/дешево можно говорить, если мы полезли к фс ?

разве что подъем из свопа

о каком дорого/дешево можно говорить, если мы полезли к фс ?

удваиваю

я думаю вопрос в целом, а не про данную ситуацию

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

если ты в IO, то вполне нормально

всякие ExceptT поверх IO очень часто выглядят странно

о каком дорого/дешево можно говорить, если мы полезли к фс ?

Именно поэтому надо делать разумные бенчмарки. Например, в IO без ФС/OS(хотя это надо ещё подумать, как без OS)/интернета/etc. и отдельно со всякими функциями типа doesFileExist, чтобы понять, насколько большой процент от времени занимают исключений. Отдельным вопросом интересно про асинхронные исключения, потому что не очевидно, что стоимость будет одинаковая.

асинхронные это другой мир

на safe-point тред проверяет не "положили" ли в него исключение, и если да, то идёт в ветку с хендрлерами

ЕМНИП

Dependent Types in Haskell: Theory and Practice https://arxiv.org/abs/1610.07978

Q Q: Здравствуйте, подскажите пожалуйста мне 36 , память и вообще мышление не так остро работают как прежде. Хочу уйти в онлайн профессии , где можно работать по удаленке. Рассматривал позиции seo,smm , директоров, но сейчас все это упростилось , что эти профессии не востребованы и платят не много, я уже не говорю про дизайнеров, всех этих профессий , закат наступил в 2014 году, да безусловна ассы своего дела востребованы Но это ассы, к которым я себя не отношу. И из всех "онлайн профессий" я так понял , возможно я ошибаюсь поправьте меня если не так являются программисты, даже плохой программист получает не плохо. Но этих видов программистов тысячи.  Теперь собственно вопросы: Какую именно специализацию выбрать, чтобы было бы поменьше изучения и стабильная востребованность И второй вопрос есть, ли что нибудь, чтобы ты пришел одновременно работал бы программистом и обучался этому в команде по удаленке? P.s / понимаю сейчас будет много флуда, но Гугл ответов не дал

Q Q: Здравствуйте, подскажите пожалуйста мне 36 , память и вообще мышление не так остро работают как прежде. Хочу уйти в онлайн профессии , где можно работать по удаленке. Рассматривал позиции seo,smm , директоров, но сейчас все это упростилось , что эти профессии не востребованы и платят не много, я уже не говорю про дизайнеров, всех этих профессий , закат наступил в 2014 году, да безусловна ассы своего дела востребованы Но это ассы, к которым я себя не отношу. И из всех "онлайн профессий" я так понял , возможно я ошибаюсь поправьте меня если не так являются программисты, даже плохой программист получает не плохо. Но этих видов программистов тысячи.  Теперь собственно вопросы: Какую именно специализацию выбрать, чтобы было бы поменьше изучения и стабильная востребованность И второй вопрос есть, ли что нибудь, чтобы ты пришел одновременно работал бы программистом и обучался этому в команде по удаленке? P.s / понимаю сейчас будет много флуда, но Гугл ответов не дал

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

Ну, это канал про хаскель, а значит тут сидят самые умные и крутые альфа-программисты.

Ну, это канал про хаскель, а значит тут сидят самые умные и крутые альфа-программисты.

Да

@seogud Навыки? Математика? Логика?

шо за хуйня?

Поменьше изучения - это в питон. Но там с востребованностью плохо, в России, по крайней мере. Востребованность есть в JS и PHP, но на них писать - себя не любить. Готовых решений у меня нет.

Джава же какая-нибудь

В интерпрайз или андроид писать

Так понял, что не принципиально именно программистом. Игроделы жалуются, что хорошего (выше среднего) моделлера днём с огнём не сыщешь.

Игроделы мало платят, и моделлер должен быть ещё и художником

Кем раньше то был, 36 лет до этого?