@scala_ru
Oleksandr07.07.2017
09:05:52
09:05:52
поправить можно было бы, "5 минут" всегда можно найти на саму правка. но боюсь, что собираться скаламета и тестироваться будет раз в 10 дольше чем времени потратится на саму правку - и это меня всегда останавливает в таких проектах. у меня аллергия на такое (
там бот настроен, который сам собирает и тестит все
Oleg07.07.2017
09:06:15
09:06:15
Oleksandr07.07.2017
09:06:16
09:06:16
но надо PR сделать для триггера
GoogleOleg07.07.2017
09:06:25
09:06:25
или на красно-чёрном
Mikhail07.07.2017
09:07:09
09:07:09
там бот настроен, который сам собирает и тестит все
так у себя же на тачке тоже надо сначало все собрать и протестить, по хорошему то)Oleksandr07.07.2017
09:07:27
09:07:27
так у себя же на тачке тоже надо сначало все собрать и протестить, по хорошему то)
"по-хорошему", ага?бот на то и бот, чтобы работать)
Oleg07.07.2017
09:10:17
09:10:17
'Robot' was first applied as a term for artificial automata in a 1920 play R.U.R. by the Czech writer, Karel Čapek. However, Josef Čapek was named by his brother Karel as the true inventor of the term robot.[6][7] The word 'robot' itself was not new, having been in Slavic language as robota (forced laborer), a term which classified those peasants obligated to compulsory service under the feudal system widespread in 19th century Europe
Mikhail07.07.2017
09:15:18
09:15:18
KrivdaTheTriewe07.07.2017
09:20:03
09:20:03
A07.07.2017
09:21:49
09:21:49
?
GoogleA07.07.2017
09:22:12
09:22:12
а почему хомяк подыхает?
Андрей07.07.2017
09:22:21
09:22:21
Потому что go не нужен
Nick07.07.2017
09:22:23
09:22:23
упаль
AlekseyA07.07.2017
09:22:48
09:22:48
хомяк не падает, он паникует
Oleksandr07.07.2017
09:22:57
09:22:57
там почти то же самое, что делает компилятор
может даже совсем то же самое)
KrivdaTheTriewe07.07.2017
09:24:22
09:24:22
net menya v go chate
KrivdaTheTriewe07.07.2017
09:26:52
09:26:52
а про build тебя что смутило вчера ? оно таки работало
Nick07.07.2017
09:31:15
09:31:15
https://www.change.org/p/%D0%B7%D0%B0%D0%BA%D0%BE%D0%BD%D0%BE%D0%B4%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D0%BE-%D0%B7%D0%B0%D0%BF%D1%80%D0%B5%D1%82%D0%B8%D1%82%D1%8C-%D0%B8%D1%81%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5-%D0%BC%D0%B5%D1%82%D0%BE%D0%B4%D0%BE%D0%BB%D0%BE%D0%B3%D0%B8%D0%B8-%D1%83%D0%BF%D1%80%D0%B0%D0%B2%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F-%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82%D0%B0%D0%BC%D0%B8-scrum-%D0%B2-%D1%80%D0%BE%D1%81%D1%81%D0%B8%D0%B8
Grigory07.07.2017
09:32:38
09:32:38
надо ЯП запретить, они пропагандируют латинницу а не русские языки. (ну запретить все кроме кириллистических)
Alexey07.07.2017
09:34:06
09:34:06
1С резко станет популярен
KrivdaTheTriewe07.07.2017
09:34:09
09:34:09
надо ЯП запретить, они пропагандируют латинницу а не русские языки. (ну запретить все кроме кириллистических)
да проще препроцессор на скалу сделать , а символы @# ~=]] везде одинаковыеו=÷|GoogleAlexey07.07.2017
09:34:36
09:34:36
я как то общался с одним из создателей этого говна, вот он тот еще ненавистник латиницы
KrivdaTheTriewe07.07.2017
09:35:09
09:35:09
я как то общался с одним из создателей этого говна, вот он тот еще ненавистник латиницы
ну там есть смысл в кириллице в 1сMikhail07.07.2017
09:35:34
09:35:34
импортозамещение
Nikolay07.07.2017
09:36:10
09:36:10
я как то общался с одним из создателей этого говна, вот он тот еще ненавистник латиницы
Как можно ненавидеть латиницу?Alexey07.07.2017
09:36:18
09:36:18
ну там есть смысл в кириллице в 1с
да суть то была в том, что я сидел себе писал на джавке, а он такой подходит и говорит, вот сидишь ты в России и пишешь на английскомтип надо это ваще запретить
лал
Grigory07.07.2017
09:39:20
09:39:20
GRIGORYю
Oleg07.07.2017
09:40:11
09:40:11
грегорианский календарь еще зло*
а я где-то видел длинный рассказ от некоего православного священника, что это так. Что есть некий ново-юлианский и он ништяк
Oleg07.07.2017
09:43:54
09:43:54
похоже на Агду
A07.07.2017
09:46:39
09:46:39
что такое агда
AnatolyGoogle
Евгений07.07.2017
09:47:42
09:47:42
а напомните пожалуйста библиотеку для скалы, в которой был оператор <|_|>
про нее ещё статья на Хабре была
Mikhail07.07.2017
09:49:11
09:49:11
type Йогурт
type Хлебушек
type Ложка
type Еда
type СтоловыйПрибор
type ЛибоЛибо[То,Другое]
type Наетость
type ЧтотоПошлоНеТак
def кушать[Е <: Еда : СтоловыйПрибор](еда: Е)(implicit хлебушек: Хлебушек):ЛибоЛибо[Наетость, ЧтотоПошлоНеТак]
Евгений07.07.2017
09:49:12
09:49:12
не уверен.
AdminERROR: S client not available
Nikolay07.07.2017
09:53:33
09:53:33
Mikhail07.07.2017
09:58:42
09:58:42
Просто ЧтоТоНеТак
мне больше нравится более литературная форма. И поговорки будут в тему: "В синопсисе
Хуй
написано, а там числа лежат"
Daniel07.07.2017
10:05:44
10:05:44
пятничный вопрос
а есть системы типов, соответствующие темпоральной логике?
Grigory07.07.2017
10:08:51
10:08:51
есть мю счисление // а на счет системы типов хороший вопрос :D
Daniel07.07.2017
10:25:53
10:25:53
summon @clayrat @odomontois
Alex07.07.2017
10:26:20
10:26:20
есть мнение что FRP реализация такой системы
например http://ect.bell-labs.com/who/ajeffrey/papers/plpv12.pdf
а вообще есть модальные системы типов
Daniel07.07.2017
10:27:38
10:27:38
спасибо
есть мнение что FRP реализация такой системы
например http://ect.bell-labs.com/who/ajeffrey/papers/plpv12.pdf
мнение, но соответствие никто не пытался установить?Alex07.07.2017
10:27:59
10:27:59
апдейтанул
могу всю пачку статей кинуть но их все равно читать никто не будет :)
Daniel07.07.2017
10:28:40
10:28:40
всю не надо, пока только ликбез хочу)
Alex07.07.2017
10:28:59
10:28:59
есть кстати даже код
GoogleAlex07.07.2017
10:29:03
10:29:03
https://github.com/agda/agda-frp-ltl
https://github.com/agda/agda-frp-js/
вот слайды еще https://www.slideshare.net/SergeiWinitzki/temporal-logic-and-functional-reactive-programming
Daniel07.07.2017
10:31:14
10:31:14
шикарно!
Alex07.07.2017
10:33:13
10:33:13
по модальным типам вообще есть много макулатуры, но там трешак типа предпучков и фреймов Крипке
недавно как-то Ликата сотоварищи показывали как их 2-категорно в HoTT запихать
http://dlicata.web.wesleyan.edu/pubs/lsr17multi/lsr17multi-ex.pdf во
Daniel07.07.2017
10:38:10
10:38:10
с хотт я пока не осилю, но тоже спасибо)
Alex07.07.2017
10:39:01
10:39:01
да я тоже пока не осиливаю :)
когда их коллекционирую, всегда вспоминаю цитату из Носова
"Мишка такой человек — ему обязательно надо, чтоб от всего была польза. Когда у него бывают лишние деньги, он идёт в магазин и покупает какую-нибудь полезную книжку. Один раз он купил книгу, которая называется «Обратные тригонометрические функции и полиномы Чебышева». Конечно, он ни слова в этой книжке не понял и решил прочитать её потом, когда немножечко поумнеет. С тех пор эта книга лежит у него на полке — ждёт, когда он поумнеет."
Mikhail07.07.2017
11:13:53
11:13:53
нормально у меня сейчас плагин скаламетовскую аннотацию развернул. удалил нахрен весь файл в котором кнопульку нажал слева со всем, что там было) хорошо хоть в идее есть локалхистори автоматическая)
Aleksei07.07.2017
11:20:39
11:20:39
я сча на серваке набрал rm -rf ~ из под рута лол
Grigory07.07.2017
11:22:37
11:22:37
идею надо было ставить на сервер
Aleksei07.07.2017
11:25:33
11:25:33
самовыпил натуральный, там ключи лежали кек
Daniel07.07.2017
11:26:07
11:26:07
тебя увольняют что ль?
Mikhail07.07.2017
11:26:07
11:26:07
я сча на серваке набрал rm -rf ~ из под рута лол
если вовремя нажать ctrl+c и если успеют пострадать только системные файлы - то их можно просто с другой машины скопировать по быстренькому туда) лет 7 назад я такое на тестовом сервере провернул)Aleksei07.07.2017
11:26:44
11:26:44
не, самовыпил меня с сервака )
Открыть в Telegram