Aleksei (astynax)
таргеты выбери
A64m
так там надо сконфигурировать с тестами и потом все перезагрузить
кана
и так делать при каждой смене тесты/код?
Aleksei (astynax)
таргеты выбери
где-то там в углу инжнем надо найти меню и выбрать в таргетах test suite
кана
окей
кана
ага
кана
спасибо
кана
работает
Aleksei (astynax)
по умолчанию выбрана только library
Aleksei (astynax)
Для executable и test надо явно выбирать таргеты. В Emacs та же петрушка
кана
Для executable и test надо явно выбирать таргеты. В Emacs та же петрушка
там есть вариант all targets
кана
почему он не по дефолту, например?
кана
есть с ним какие-то проблемы?
Aleksei (astynax)
больше билидить, если что
Aleksei (astynax)
Но по идее таргетов не так уж и много обычно. Два-три
Aleksei (astynax)
Можно было бы умолчательно всё выбранным иметь
Vasiliy
а можете плиз кто-нибудь из емаксеров пошарить свой (или порекомендовать подсмотреть чужой) хаскельный конфиг? (можно в личку)
хочу разгрести сегодня старье и пересобрать все чтобы удобно было
Dmitry
Вот надо бы вообще общую репу (или что-то подобное) настроек сделать, для всех, емаксеров, вимеров, вскодеров etc
Darwin
Вот надо бы вообще общую репу (или что-то подобное) настроек сделать, для всех, емаксеров, вимеров, вскодеров etc
http://dotshare.it/category/vim/rc/
http://dotshare.it/category/emacs/config/
Darwin
Раньше был отличный сайт dotfiles.org, но он почил к прискорбию, это аналог
Dmitry
Ну это да, вот только он же не Haskell-ориентированый
Vasiliy
нашел несколько примеров, вроде https://github.com/jwiegley/haskell-config
думаю мне стоит прочитать для начала вот это https://github.com/serras/emacs-haskell-tutorial
Darwin
Ну это да, вот только он же не Haskell-ориентированый
Туда можно свои конфиги выкладывать и делиться
Darwin
Как я понимаю
Aleksei (astynax)
> Вот надо бы вообще общую репу (или что-то подобное) настроек сделать, для всех, емаксеров, вимеров, вскодеров etc
у меня здоровенный конфиг для Emacs в целом. Не выкладывать же его весь
Darwin
А с хаскелем там разве что http://dotshare.it/category/wms/xmonad/ связано
Cheese
что такое "TEAM WELL-TYPED" в составе IOHK? консультирующее подразделение?
Kirill
IOHK нанимает всех подряд же
Cheese
в данном случае нанимает юр или физ лицо?
Cheese
просто я думал, что "консалтинг" — это услуга, не включающая передачу сотрудников для вывешивания на сайте клиента
Kirill
both :)
Kirill
ну как минимум твиг и фпц имеют контракты вроде как
Kirill
видимо wt тоже
Cheese
если сотрудник числится в двух компаниях, то и две зарплаты получает?
Kirill
а откуда этот team?
Cheese
https://iohk.io/team/
Cheese
мне кажется, если вам продают труд специалиста через третье юрлицо, то как-то нечестно и человека себе присваивать
Denis
тим тут чисто маркетинговый скорее всего, а сотрудники числятся в WT
Cheese
типичная маркетинговая ложь, понятно
Kirill
но данкан главный по девелопменту вроде
Leonid 🦇
Криптоложь
Kirill
там ещё team serokell есть, так что пусть вот пояснят :)
Kirill
@jagajaga напрммер
Leonid 🦇
team ИП Иванов
Cheese
насколько я знаю, Серокель эксклюзивно входит в IOHK, так что ок
Alex
Окей, не бред, я перепутал страну.
Aleksey
программисты, сразу видно
Cheese
хотя, возможно, есть страны, где надо обязательно регистрировать юрлицо, чтобы заниматься своим делом
Leonid 🦇
ИП может нанять сотрудников же
Arseniy
Ну это компании работают контракторами с IOHK
Arseniy
А на сайт пишут так
Arseniy
Для маркетинга
Arseniy
У IOHK практически нет своих собственных разработчиков.
Dmitry
А вот если у меня есть функция: f :: BigStruct -> IO (), и я внутри там делаю вычисление: f bigObj = void $ evaluate $ force bigObj, то компилятор же не догадается удалить вызов этой функции, так ведь? Типа, раз результат этого форсинга никому не нужен, то в /dev/null его.
Dmitry
Я просто хочу померять, сколько времени тратится на ввод/вывод, а сколько -- на само вычисление этого bigObj.
Alex
хотя, возможно, есть страны, где надо обязательно регистрировать юрлицо, чтобы заниматься своим делом
Ист европ почти весь так и делает. А в стране, которую развалили на РФ и ко, ИП как физлицо называлось ПБОЮЛ
Кабачок
Удалить вызов внутри IO? Вообще не должен догадаться, в этом и суть IO
Cheese
Ист европ почти весь так и делает. А в стране, которую развалили на РФ и ко, ИП как физлицо называлось ПБОЮЛ
ПБОЮЛ переименовали в ИП, но суть та же
Cheese
А вот если у меня есть функция: f :: BigStruct -> IO (), и я внутри там делаю вычисление: f bigObj = void $ evaluate $ force bigObj, то компилятор же не догадается удалить вызов этой функции, так ведь? Типа, раз результат этого форсинга никому не нужен, то в /dev/null его.
результат форсинга сохранится в эффекте evaluate, а эффекты не отбрасываются
Cheese
эффекты не отбрасываются, если включены в другие ффекты
Cheese
Ист европ почти весь так и делает. А в стране, которую развалили на РФ и ко, ИП как физлицо называлось ПБОЮЛ
преприниматель как не физлицо называется юрлицо. какие ещё могут быть варианты?
Alexander
а чего у нас из библиотек терминало или т.п. хорошего есть и простого?
Alexander
ну в смысле для repl-like
Leonid 🦇
бинды к readline? :P
Alexander
было же что-то более человеческое?
Alexander
haskeline?
Leonid 🦇
звучит знакомо
Leonid 🦇
http://hackage.haskell.org/package/haskeline-repl вона чо есть
Leonid 🦇
http://hackage.haskell.org/package/haskeline-repl-0.4.0.0/docs/src/System-Console-Repl.html#repl ой
Зигохистоморфный
A64m
еще какой-то repline был или как-то так (не знаю, хорошая ли это идея)
Зигохистоморфный
где-то баг или не правильно оформлено
Aleksei (astynax)
Это умолчательный url для home page просто
Leonid 🦇
хм, вроде у меня нет умолчательного url в этом поле