> с intero > flycheck аналогично flyckeck - это просто интерфейс для произвольных чекеров. Если чекер медленный - подсветка ошибок тоже будет медленной. И intero в emacs тоже использует flycheck для отображения ошибок

У мну стоит проверка при сохранении, в среднем ошибки секунды через три появляются на рабочей репе (она бооольшая и с кучей TH). Чекаю через haskell-stack-ghc (этот чекер встроен во флайчек) - в целом работает. А так всё равно stack build --fast --file-watch в терминале запущен - показывает картину в целом

Для хобби-проектов юзаю интеро.

О, --file-watch тема флаг, хотел такой но руки не дошли стэк ман почитать. Спасибо :)

я тоже это юзаю)

Почему --file-watch, а не ghcid например?

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

@xgrommx, протокол ничего не подсвечивает, это же протокол

О, --file-watch тема флаг, хотел такой но руки не дошли стэк ман почитать. Спасибо :)

только надо юзать вместе с --fast - на больших проектах без этого тяжко. Ещё --file-watch можно вместе с test юзать - тогда ещё и тесты будут перезапускаться. А если тестировать вместе с Tasty, то тесты ещё и выборочно будут перезапускаться - только те, что "упали в прошлый раз". Также иногда удобно делать stack build --file-watch --exec foo -- args, тогда после успешной пересборки будет запускаться foo args. Только stack не умеет убивать уже запущенный процесс перед ребилдом, что немного мешает, когда разрабатываешь какой-нибудь вебчик и хочешь, чтобы сервер перезапускался после пересборки

кто на ZuriHac '18?

Я

я

там же с 6 декабря регистрация?

Да

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

=)

На самом деле Контроля там никакого Так что можно и не регаться ахах

=))

а есть какие-то генерализации для названий функторов?

mappable?

а есть какие-то генерализации для названий функторов?

типо там, n-функтор контравариантный по аргументам 1, ... n

мультифунктор может

по аналогии с мультикатегорией

https://en.wikipedia.org/wiki/Functor#Bifunctors_and_multifunctors

м, а с чем связано название профунктора?

функтор для профессионалов!

серьезный такой, профессиональный функтор. недетский

надо Bénabou спросить который их придумал

для программистов?

и то не для всех

для прокрастинаторов, кои вместо "делания фич", код абстрагируют, панимаешь

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

https://www.youtube.com/watch?v=biQKcTmsIwY вот этот дедок

не, этот функтор продакшен реди, можно использовать в проде.

интересно есть ли какое-то соглашение по обозначению мультифункторов с разной вариантностью, как для тензоров

В проде можно использовать только Data.Monoid (Product), точка!

И получать за это Data.Monoid (Sum)

Sum $ 1000000

или fail в монаде

интересно есть ли какое-то соглашение по обозначению мультифункторов с разной вариантностью, как для тензоров

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

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

докоза = 22

class Monad m => MonadSuccess m where avoid :: m ()

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

не знаю, что это :(

не знаю, что это :(

когда в начале коварианты потом контраварианты

class Monad m => MonadSuccess m where avoid :: m ()

монада не нужна

С монадой всё становится лучше!

Опять же do avoid

type family Avoid (s :: k) :: Constraint where Avoid Success = 'True ~ 'False Avoid x = ()

я починил

Ха!

Норм! Надо принт на футболку

слишком сложно на мой вкус

ой опять чето учить

ой опять чето учить

всегда будет, что учить - такова судьба хаскелиста

век живи век учись

всё равно дураком помрешь

Живу без ласки, боль свою затая, Всегда учиться — судьба моя...

ну, скоро фичи для добавления кончатся, язык стабилизируется.

хаха

АХАХА

язык стабилизируется

фичи кончатся

ахахахаха

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

ну а какие есть значительные фичи которые еще не добавлены/не ведется работ по добавлению?

Success не добавлен до конца

это баг

ну а какие есть значительные фичи которые еще не добавлены/не ведется работ по добавлению?

линейные типы — это только начало

начало чего?

существует OVER9000 разных потенциальных фич для системы типов

ну, это или мелочи, или что-то несовместимое с имеющимся

линейные типы — это мелочи?

Живу без ласки, боль свою затая, Всегда учиться — судьба моя...

Мне как раз недавно приходили в голову такие условно автобиографические строки Да я шут, я циркач, так что же! Все чмырят, что пишу на Clojure...

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

как насчёт time/space complexity в типах?

как насчёт dependent types?

завтипы запланированы

да, но сколько времени они будут стабилизироваться?

лет 5-10

и к этому времени мы захотим что-нибудь ещё