
Pavel
22.05.2017
08:48:04
прикольно, вроде бы в том же ML там если не так отформатировать код (а это делалось руками), там это порождало ошибки
пробел не доставил - все ошибка

Oleg
22.05.2017
08:48:49
компиляции?

Pavel
22.05.2017
08:48:55
да

Google

Nick
22.05.2017
08:50:21
ну меня лично смущают куски кода с большой вложенностью, особенно когда есть авто переносы, то это ад

Pavel
22.05.2017
08:51:11
если такой синтаксис сделают, то нужно и форматтер встраивать чтобы везде стиль был збс

Oleg
22.05.2017
08:51:17
да
Ну так а в чём проблема.

Nick
22.05.2017
08:51:51

Pavel
22.05.2017
08:51:51
ну так это ошибка на ровном месте, которое тянет твое время

Nick
22.05.2017
08:51:56
по этому поводу я бы не парился совершенно

Oleg
22.05.2017
08:52:50

Pavel
22.05.2017
08:53:20
а кстати можно и на рантайм нарваться
даже не на ошибку, а допустим на неправильную логику

Oleg
22.05.2017
08:53:53

Nick
22.05.2017
08:53:54
с фигурной скобкой такие ж проблемы

Pavel
22.05.2017
08:53:54
scalafmt итак уже повсюду
у нас вот допустим два проекта, второй поновее туда мы впилили scalafmt, а тот который постарше - нет, чтобы историю не портить

Oleg
22.05.2017
08:54:05
Хотяяяя, ладно было

Google

Nick
22.05.2017
08:54:11

Oleg
22.05.2017
08:54:20
вложенные do блоки, та же херня, что и в питоне

Pavel
22.05.2017
08:55:06
чтобы историю не херить, в той же идеи есть же крутые аннотации где каждую строчку можно посмотреть кто и когда менял
scalafmt затрет все нахер

Nick
22.05.2017
08:55:26

Oleg
22.05.2017
08:55:26

Nick
22.05.2017
08:55:37
ну будет у тебя последняя запись связанная с scalafmt
предыдущие то никуда не денутся
кстати а укого есть git hooks со scalafmt?

Pavel
22.05.2017
08:57:31

Oleg
22.05.2017
08:58:06

Pavel
22.05.2017
08:58:06

Nick
22.05.2017
08:58:18
я понимаю
в тои же идеи можно посмотреть историю каждой строчки с момента появления(как и в git)

Oleg
22.05.2017
08:58:44

Nick
22.05.2017
09:00:18
а вообще зачем смотреть history? чтоб наити виновного и дать ему по шее? )

Pavel
22.05.2017
09:00:26
как минимум)
ну или как минимум узнать почему так

Nick
22.05.2017
09:00:51
ну так scalafmt ничего не поменяет ж
ну будет у тебя еще коммит в истории, ничего страшного)

Google

Oleg
22.05.2017
09:01:07

Pavel
22.05.2017
09:01:35
ну вот я применяю

Nick
22.05.2017
09:01:40
я git blame юзал только для того, чтобы узнать сколько кода моего

KrivdaTheTriewe
22.05.2017
09:02:08

Oleg
22.05.2017
09:02:13

Nick
22.05.2017
09:02:39

Pavel
22.05.2017
09:02:48
помоему не должно быть смешно когда ты видишь говнокод)

Nick
22.05.2017
09:02:54

Pavel
22.05.2017
09:03:02
с которым тебе нужно еще и работать

KrivdaTheTriewe
22.05.2017
09:05:04

Oleg
22.05.2017
09:06:04

Mikhail
22.05.2017
09:06:28

KrivdaTheTriewe
22.05.2017
09:06:44

Nick
22.05.2017
09:07:29

Oleg
22.05.2017
09:07:37

KrivdaTheTriewe
22.05.2017
09:08:19

Nick
22.05.2017
09:08:30

KrivdaTheTriewe
22.05.2017
09:09:33
есть подозрение, что сняли так, так как рыжая акритса погибла

Oleg
22.05.2017
09:09:35

KrivdaTheTriewe
22.05.2017
09:10:21

Google

Nick
22.05.2017
09:10:50

Oleg
22.05.2017
09:12:12

KrivdaTheTriewe
22.05.2017
09:14:22
Но вот про разбор Скала нейтив примеров я бы с удовольствием посмотрел, потому что я пока не понимаю, куда это впилить (
https://habrahabr.ru/post/329176/

Nick
22.05.2017
09:15:38

KrivdaTheTriewe
22.05.2017
09:16:21
жалко его в нашем чате нет(

Aleksei
22.05.2017
09:18:15
так пригласи - будет

Nick
22.05.2017
09:20:37
могу позвать

Alexander
22.05.2017
09:20:59
Дмитрий Митин? Что-то он из телеграма выпилился, видать.

Nikolay
22.05.2017
09:24:47

Aleksei
22.05.2017
09:28:38
я тоже помню что был

Alex
22.05.2017
09:36:14
в идрисочате есть, но судя по статусу неделю не заходил уже

Daniel
22.05.2017
10:08:37
Кто-нибудь пользовался https://okmeter.io ? Интересны негативные отзывы.

Nikolay
22.05.2017
10:20:23

Oleg
22.05.2017
10:44:11
File.pyla
ZigohistomorphicPrepromorphism.scaskell

Google

Oleg
22.05.2017
10:46:22
ZigohistomorphicPrepromorphismAbstractFactory.jaskell

Alex
22.05.2017
10:47:08
" .whitescala"

Oleksandr
22.05.2017
10:48:23
https://habrahabr.ru/post/329176/
val indN_naddSm_eq_S_naddm = NatInd.induc(n :-> (m ~>: ( add(n)(succ(m)) =:= succ(add(n)(m)) )))
val hyp1 = "n+Sm=S(n+m)" :: (m ~>: ( add(n)(succ(m)) =:= succ(add(n)(m)) ))
val lemma = indN_naddSm_eq_S_naddm(m :~> succ(m).refl)(n :~> (hyp1 :-> (m :~>
IdentityTyp.extnslty(succ)( add(n)(succ(m)) )( succ(add(n)(m)) )( hyp1(m) )
))) !: n ~>: m ~>: ( add(n)(succ(m)) =:= succ(add(n)(m)) )
val lemma1 = IdentityTyp.extnslty(succ)( add(n)(succ(n)) )( succ(add(n)(n)) )( lemma(n)(n) )
val indN_naddn_eq_2n = NatInd.induc(n :-> ( add(n)(n) =:= double(n) ))
val hyp = "n+n=2*n" :: ( add(n)(n) =:= double(n) )
val lemma2 = IdentityTyp.extnslty( m :-> succ(succ(m)) )( add(n)(n) )( double(n) )(hyp)
indN_naddn_eq_2n(zero.refl)(n :~> (hyp :->
IdentityTyp.trans(Nat)( add(succ(n))(succ(n)) )( succ(succ(add(n)(n))) )( double(succ(n)) )(lemma1)(lemma2)
)) !: n ~>: ( add(n)(n) =:= double(n) )
выглядит пугающе


Alex
22.05.2017
10:48:50
надо просто ключевые слова на юникод символы поменять

Oleg
22.05.2017
10:48:51
$#^||=[~].scarl

Alex
22.05.2017
10:48:55
и будет .scagda

Oleksandr
22.05.2017
10:48:56
extnslty
ну нахера так делать
ну назовите вы уже полностью

Nikolay
22.05.2017
10:49:07
в телеграме еще страшнее
кто-нибудь кстати пользуется обновленным scastie?

Oleg
22.05.2017
10:50:35

Nikolay
22.05.2017
10:51:13
s2la

Oleg
22.05.2017
10:51:46

Aleksei
22.05.2017
10:52:09
не взлетел

Nikolay
22.05.2017
10:52:17
чет да

Aleksei
22.05.2017
10:52:26
открыл консоль =)

Nikolay
22.05.2017
10:52:41
running крутится, ничего не происходит

Aleksei
22.05.2017
10:52:47
ога

Oleksandr
22.05.2017
10:52:53
same

Nikolay
22.05.2017
10:53:06