@scala_ru

Страница 685 из 1499
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
да
Ну так а в чём проблема.

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
Oleg
22.05.2017
08:54:20
вложенные do блоки, та же херня, что и в питоне

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

scalafmt затрет все нахер

Nick
22.05.2017
08:55:26
Nick
22.05.2017
08:55:37
ну будет у тебя последняя запись связанная с scalafmt

предыдущие то никуда не денутся

кстати а укого есть git hooks со scalafmt?

Pavel
22.05.2017
08:57:31
в том же гите, ты хотел сказать?
нет, в идее, я смотрю аннотации в идее ибо она там их показывает вне зависимости от version control

Pavel
22.05.2017
08:58:06
ну будет у тебя последняя запись связанная с scalafmt
ты наверное не совсем понимаешь о чем я, сча покажу

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
а вообще зачем смотреть history? чтоб наити виновного и дать ему по шее? )
за всю мою личную историю использования git blame, он ни разу не применялся ни для того, ни для другого

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

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

Oleg
22.05.2017
09:02:13
я git blame юзал только для того, чтобы узнать сколько кода моего
мы для того, чтобы хихикать над говнокодерами

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
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/

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://habrahabr.ru/post/329176/
Эта статья наверняка добавит популярности языку))

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

Nikolay
22.05.2017
10:20:23
а почему бы это под languageFeature не засунуть?
можно по расширению файлов определять. с кудрявыми скобками - File.scala, с отступами - File.py

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
s2la
S5a

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
S5a
озадачил

Страница 685 из 1499