A64m
ходит в курилку за компанию
Зигохистоморфный
не
Зигохистоморфный
я таким не страдаю
A64m
> алкоголь, наркотики, курение и даже, может быть, кофе
Зигохистоморфный
функциональный наркоман
A64m
> надо не прямо спрашивать, видишь у человека опухшую физиономию - спрашиваешь: "не хочешь пойти на кухню, опохмелиться?"
Kirill
восхитительный вопрос для собеседования
Anonymous
А вот как правильно отвечать на:
"а почему вы хотите именно в нашу компанию?"?
A64m
10 минут от дома
Alexander
Когда меня спрашивают, почему я хочу уйти с текущего места работы, я обычно отвечаю, что не хочу вовсе, но открыт новым предложениям.
Alexander
Потому что если бы все было настолько плохо, что я бы хотел уйти, я бы ушел даже и просто - вникуда
Alexander
А вот вопроса "почему вы хотите к нам" мне, кажется, не задавали
Alexander
интересно есть хоть 1 докладчик?
Да вот, думаю заявиться с докладом, но в голову не приходит нормальных тем. Опасаюсь, что буду знать тему хуже, чем любой из слушателей.
Alexander
Фри монады - низзя
Про STM все и так все знают
Почему расширяемые эффекты зло, уже здесь обсудили (а кроме Пурсы я еще с ними страдаю в рамках библиотеки freer)
DSLи всякие строить хаскеллисты все как один умеют
В продвинутый тайп левел я не могу
Различные дизайн паттерны, - да кому они нужны, фигак-фигак и mtl-style
Про движок текстовой адвенчуры рассказывать, - так скажут, что продакшн хотят, а не развлекалочки
Про текущую хаскельную кодобазу рассказывать, - так она у всех одинаковая серванты, аесоны, да прочий опалай
Мог бы про пурскриптовский клон reflex-dom под названием Specular рассказать, так он не мой, да еще и толком практики не выработаны
Или про то, как я оптимизял свою STM либу, так ведь она все равно в 6 раз медленнее, засмеют
Alexander
Не совсем ОК. Там автор изобретает новый подход, чтобы скрыть weakdynamic. Эта концепция все ж неудобная, протаскивать разные типы через view и controller - та еще боль. Автор придумал Cell - фактически, стейтфул ячейку с динамическими обновлениями
Alexander
Ну и еще автор слишком умный, я не успеваю за ним
zool
может и глупый вопрос, но почему "фри монады - низзя"?
Евгений
Евгений
Я правда не заметил чтобы обсудили
Alexander
То, как приходилось страдать? И что в Пурсе они ни с того, ни с сего могли начать дублироваться, и ты такой: ыыыы, ну где, где ошибка?! (Я подозреваю, там баг компилера был). Или как ты, такой, хочешь вызвать новую функцию, а она с новым эффектом, - ну и понеслось, весь стек вызовов обновляешь... Просто сугубо технические подробности я вряд ли хорошо расскажу, алгебраично оно там или не очень
Но вообще, спасибо за поддержку :)
Alexander
может и глупый вопрос, но почему "фри монады - низзя"?
Так ведь @qnikst сказал, что они не нужны
кана
То, как приходилось страдать? И что в Пурсе они ни с того, ни с сего могли начать дублироваться, и ты такой: ыыыы, ну где, где ошибка?! (Я подозреваю, там баг компилера был). Или как ты, такой, хочешь вызвать новую функцию, а она с новым эффектом, - ну и понеслось, весь стек вызовов обновляешь... Просто сугубо технические подробности я вряд ли хорошо расскажу, алгебраично оно там или не очень
Но вообще, спасибо за поддержку :)
"а она с новым эффектом, - ну и понеслось, весь стек вызовов обновляешь"
кана
так это никуда не уходит с tagless final
Alexander
Тогда и он не нужен
Alexander
Это боль
Leonid 🦇
A64m
кто это?
Leonid 🦇
Ну скалист который эту тему толкал против курильщиков-алкоголиков
A64m
это-то не его реплика
Leonid 🦇
It's not clear that dependent types even are types. Does a zero-length list offer a different methods than a list that contains some elements? Does the compiler magically eliminate the 'remove()' method and then add it back when you add some elements?
The entire domain is highly dubious and the people researching it are often of ill repute.
Leonid 🦇
Хакерньюз
A64m
a66ath
@lonokhov ссылку
Leonid 🦇
https://news.ycombinator.com/item?id=17258680
Alexander
Что за текстовая адвенча? Рогалик?
Не рогалик, просто адвенча, похожая на Зорк. Ну то есть, саму игру делать было лень, поэтому я движок только делал, но не завершил еще. Просто там прикольно получилось.
Aleksei (astynax)
Да и не "текстовые" рогалики, это уже TUI. "Текстовые", это Zork упомянутый :)
Dmitry
Ну я не знаю, когда прохожу рогалики, у меня там постоянные адвенчи -- то зелья заканчиваются, то монстры начинаются.
Aleksei (astynax)
Всё же принято разделять RPG и Quests/Adventures :) (позанудствовал)
Dmitry
Да я так, приклаываюсь, извините :)
Dmitry
Хаскель
Принимайте в канал. Сегодня третий день натягиваю Атом и haskell-ide-engine на 7 Винду.
Dmitry
А ведь мог бы за полдня поставить линукс и за полдня поднять vim + hie.
IC
А что, хабр уже вышел на международный рынок?..
https://pbs.twimg.com/media/DfHUwCUXcAAPlyp?format=jpg
Хаскель
Ну вот что-то меня кумарит идея ставить линукс. До последнего обновления Хачикелль можно попинать как отдых, в перерыве между Ф и Сисярпом, а так ребутить надо будет.
Евгений
Поставил линуск @ ушёл работать хаскелистом
Andrew
А ведь мог бы за полдня поставить линукс и за полдня поднять vim + hie.
Я вот хотел про вим подсказать, но рука дернулась к другому чату)))
undefined
Принимайте в канал. Сегодня третий день натягиваю Атом и haskell-ide-engine на 7 Винду.
HIE под винду в текущем виде не работет, нужно патчить
Andrew
Хаскель
Мне достаточно далеко удалось HIE протащить. Можно сказать, что оно даже заработало так, как я хотел - запускать отдельно стоящий файл без "проекта".
Хаскель
Застрял на том, что если MissingH кабалом ставить, то HIE ругается на пути типа F:\Program files, хотя должно быть очевидно C:\Program files
undefined
Это какие-то совсем уж необычные кейсы для HIE, удачи в это начинании!
Хаскель
Что ж тут необычного? Вполне со страницы в Гитхабе. Не под 2000 же Винду ставлю :).
Алексей ayaye :)
Принимайте в канал. Сегодня третий день натягиваю Атом и haskell-ide-engine на 7 Винду.
я сломался и поставил vs code. на wiki отписался о деталях
undefined
Что ж тут необычного? Вполне со страницы в Гитхабе. Не под 2000 же Винду ставлю :).
Я про "отдельно стоящий файл" и установку пакетов cabal'ом
Хаскель
О, уже завёл. Умора! Повезло, что есть диск F.
Хаскель
Проект делать сложно, я изнежен Вижуал Студией. Надо столько всего в cmd набирать...
Хаскель
Раз пока работает, можно поинтересоваться, как делать таки идиоматически правильно.
Евгений
Послушаешь людей и немного стыдно становится, что я find | grep'ом до сих пор по коду лазею
Хаскель
Вот я накатил с сайта максимальный пакет. Дальше Стеком делаю проект, и внутри есть ссылка на MissingH. Через Стек всё работает. А WinGHC MissingH не видит. Что я делаю не так?
Хаскель
Ну мы тоже не белоручки. Вчера разыскал, где сидит строка F:\Program Files и поменял на C:\Program Files, но он, сцуко, хэш считает и принимать отказался.
Dmitry
А хеш чо?
Dmitry
Обновляй
Хаскель
А как? Я чайник.
undefined
Раз пока работает, можно поинтересоваться, как делать таки идиоматически правильно.
stack new project_name simple
undefined
И в каталоге project_name/src/Main.hs будет тот же один файл
Хаскель
Это я знаю. А потом добавляем в .cabal MissingH и билдим, а потом stack exec project_name-exec, и всё работает.
Хаскель
Но если открыть этот файл или целиком проект в Атоме с HIE, оно не видит MissingH.
Хаскель
И если через WinGHC открыть Main, он тоже не увидит MissingH
Хаскель
А если через кабал установить MissingH, то все всё видят.
Хаскель
Что-то я не так делаю.
undefined
Нужно HIE запускать в стэковском окружении
Хаскель
О! Вот оно! Нужные слова. А как?
И ещё: можно сделать, чтобы при stack new оно не тянуло полчаса с AWS?
undefined
stack new должен тянуть один раз. Можно делать stack --resolver=lts-XX.X new, а можно прибить гвоздями резолвер где-то в %STACK_ROOT%
undefined
точнее в %STACK_ROOT\global-project\stack.yaml
undefined
Теперь про окружение, у hie должна быть настройка "custom wrapper", ты ее видишь
undefined
?