вон у нового фронтэндщика 50 коммитов из которых 2/3 - добавил точку с запятой
Я тоже так люблю
Алексей
Alexander
хрень которая выстраивает очередь мержа запускает CI и бисекстит изменения если что-то ломается и мержит что не ломается
Алексей
https://github.com/bors-ng/bors-ng — мержилка для PR
Nikolai
ого, круто
Denis
зачем bors для хаскеля?
Алексей
PR мержить
Denis
ну так гитхаб же позволяет мерджить только отребейженные на мастер бранчи
Denis
знаем что 1) отребейжено 2) тайпчекается и CI прошло
Denis
что еще надо?
Nikolai
не все ребейзят, наверное
Алексей
CI прошло — полчаса-час. Идея в том чтобы сказать борсу «мержь!» и уйти заниматься своими делами. Как он там мержит я понял, честно гооря, не вполне
Denis
там все равно ждать, если он CI на бисекты запускает
Denis
и ждать скорее всего дольше
Denis
я чего-то не понял профит из описания на сайте и гитхабе
Алексей
По моему да. Зато не надо помнить про то, что надо нажать кнопочку
Алексей
И CI ещё через пень-колоду работает
Alexander
@catamorphism это плохо работает
Alexander
если много человекав
Alexander
жмякнут двое на update branch а примет все равно только одного
Alexander
а CI долгая
Алексей
Если б CI быстро работал быстро отлично бы работало, но он, увы, медленный
Denis
мы обычно делаем squash+rebase когда фича закончена в бранче
Алексей
bors, собака, _всегда _делает мерж
Denis
squash потому что не хочется лишние конфлиты разрешать, а rebase - чтобы в линейную историю все превратить
Alexander
да, раньше у нас было требование гита + squash merge
Alexander
или rebase
Alexander
а с борсом всегда мерж
Denis
а squash merge как делали?
Denis
я забыл как это в гите делать
Alexander
на гитхабе кнопка
Denis
а, я думал в CLI как-то делали
Alexander
ещё и CLI делать : ]
Alexander
вообще на гитхабе ревью и от него CI так что чтобы уменьшать число движений то из его интерфейса
Alexander
команду гита соотвествующую я на память не помню
Denis
я гитом сто лет пользуюсь, но когда спагетти из бранчей вырастают, то все равно заканчивается матюками
Denis
я чего спрашиваю, мне вчера нужно было
Denis
сделал как-то не так, оно нафигачило кучу лишних мердж коммитов
Denis
четыре бранча мерджили, как-то путанно получилось
Roman
привет, кто-нибудь может порекомендовать хорошую ссылку про curry-howard correspondence?
Зигохистоморфный
вики
Roman
нет, там плохо все
Roman
конкретно про соответствие зависимых типов
Зигохистоморфный
hott?
Denis
привет, кто-нибудь может порекомендовать хорошую ссылку про curry-howard correspondence?
https://www.youtube.com/watch?v=jVyz3lWH2bA
Vitaly
привет, кто-нибудь может порекомендовать хорошую ссылку про curry-howard correspondence?
M. H. Sørensen, P. Urzyczyn. Lectures on the Curry—Howard Isomorphism.
Elsevier, 2006.
Roman
Anton
привет, кто-нибудь может порекомендовать хорошую ссылку про curry-howard correspondence?
https://www.cs.cmu.edu/~fp/courses/15317-f09/schedule.html (конкретнее https://www.cs.cmu.edu/~fp/courses/15317-f09/lectures/04-pap.pdf)
Roman
Denis
спасибо, гляну
В том докладе мельком упоминается вообще, но с необычного для докладов ракурса, мне понравилось. Плюс Рональда как IT-стендап можно слушать. Не уверен что поможет, но все равно рекомендую.
Зигохистоморфный
http://simonmar.github.io/posts/2017-10-17-hotswapping-haskell.html
Alexander
а кто внимательно следит, что там изменилось с 7.10?
Alexander
вроде уже тогда все было, чтобы проделать вышеописанное
Roman
Зигохистоморфный
а тем временем hie уже работает под саблайм https://github.com/haskell/haskell-ide-engine/issues/334
Влод
ну я так понимаю больше всё таки вскод например развивают?
Влод
и видимо фичи на уровне показать документацию (которой нигде нет) и подсветить ошибку
никто наверное уже не мечтает о подстановки сущности подходящей по типу
Кабачок
> We are currently focusing on using the Language Server Protocol as the interface via which we talk to clients.
Кабачок
То есть теоретически подойдет все, что умеет в LSP.
Влод
а, это общий протокол?
Кабачок
Да.
Зигохистоморфный
очень годное решение этот протокол
Зигохистоморфный
ошибки и типы подсвечивает
Зигохистоморфный
даже годнее чем на vscode плагин этот
Quet
под емакс его нет что ли?
Anonymous
есть но в разработке
Anonymous
lsp-haskell называется
Quet
ага.. ну значит с интеро валить рано
Anonymous
что за интеро?
Misha
Интеро научился работать за конечное время?
Quet
но вообще требовать чтобы какой-то хаскельный проект работал за конечное время.....
Зигохистоморфный
та помоему на имакс лучше всех ща hie сделан
Quet
та помоему на имакс лучше всех ща hie сделан
настолько хорошо сделан что в ридми емакс даж не упоминают? )
Misha
Я в emacs пользуюсь только haskell-interactive если в проекте меньше 50 модулей, иначе из консоли стэком собираю чтобы избежать жутких лагов
Misha
хз как люди живут с intero на больших проектах, он же там по 2 минуты каждое действие делает
Misha
flycheck аналогично
Кабачок
настолько хорошо сделан что в ридми емакс даж не упоминают? )
Просто поддержка имакс это что-то само собой разумеющееся.