
Александр
02.02.2018
11:26:14

Vitaliy
02.02.2018
11:26:44
Да. Польский ресурс. Пишут на английском

A64m
02.02.2018
12:19:51

Alex
02.02.2018
12:20:05
я думал его окамл поглотил

Google

Alex
02.02.2018
12:21:04
хотя да изабелла на нем

Nikita
02.02.2018
12:22:07
ваш sml пожрал окамл

A64m
02.02.2018
12:22:08

Alex
02.02.2018
13:03:26
ваш sml пожрал окамл
нет, не пожрал. окамл — это такая вещь в себе, сам-себе-референсная-реализация. В отличие от смл.

Oleg
02.02.2018
13:04:09
хаскелл тоже был, помнится, таким сдандартом, у которого было много реализаций
до сих пор из какого-то уважения к предкам пишут "portability" в доках

KrivdaAllStars
02.02.2018
13:53:40

Denis
02.02.2018
13:54:49
после строк про HKT и имплиситы

Vadim
02.02.2018
13:56:34
не вижу этих строк

Denis
02.02.2018
13:57:28
https://github.com/twitter/reasonable-scala/blob/master/docs/language.md#types
https://github.com/twitter/reasonable-scala/blob/master/docs/language.md#definitions

Google

Denis
02.02.2018
13:57:46
про ридми наврал

KrivdaAllStars
02.02.2018
13:58:20
создаётся впечатление, что котлин пишут

Daniel
02.02.2018
13:58:48
"Multiple parameter lists" т.е. каррирование тоже в лес

Gregory
02.02.2018
14:01:21
а stdlib они тоже переписать хотят?

Daniel
02.02.2018
14:01:43
"Inner and local classes, traits and objects." даже джава уже не получается

Oleg
02.02.2018
14:01:48
rslib

Vadim
02.02.2018
14:03:04
а зачем stdlib переписывать?

Alexey
02.02.2018
14:03:17
там всё на имлиситах

Daniel
02.02.2018
14:03:21
учитывая, что у них почти всё на скалке, интересно как они в прод этот компиллятор утащат
или это лишь первый этап исследования

Gregory
02.02.2018
14:04:02

Doge
02.02.2018
14:04:10

Vadim
02.02.2018
14:04:34
ну цели же явно прописаны
и там нету "сделать убогий но быстрый компилятор"

Alexey
02.02.2018
14:10:17

Vadim
02.02.2018
14:15:07
ну даже если так) оно разве ушло дальше них?

Alexey
02.02.2018
14:18:34
Ну вроде как да, опен сорс все дела

Mikhail
02.02.2018
14:21:25

Oleksandr
02.02.2018
14:26:00
спрашивается, чего твиттер не сделал свой типизированный руби в 2008 ?

Oleksiy
02.02.2018
14:27:12
Говоришь, как будто скала - не типизированый руби.

Google

Oleksandr
02.02.2018
14:28:30

sherzod
02.02.2018
14:58:02
почему нет языка без боли, на котором можно писать легко и приятно, как правду говорить?

Alexey
02.02.2018
14:58:56

Alex
02.02.2018
14:58:58
у всех своя боль

Alexey
02.02.2018
14:59:14
Но это слишком сильное утверждение

Aleksey
02.02.2018
14:59:35
Пора делать новую скалу. Без скобочек и сабтайпинга.

Alex
02.02.2018
14:59:51
так это окамл получится

Aleksey
02.02.2018
14:59:52
Без гц и с линейными типами.

KrivdaAllStars
02.02.2018
15:00:06
как в расте чтоб с памятью работать

Oleksandr
02.02.2018
15:00:11

Alex
02.02.2018
15:00:36
есть вон http://disciple.ouroborus.net/

Aleksey
02.02.2018
15:00:45

Алексей
02.02.2018
15:00:54

Igor
02.02.2018
15:01:02

Luger
02.02.2018
15:01:26

KrivdaAllStars
02.02.2018
15:01:30

Igor
02.02.2018
15:02:08

Alex
02.02.2018
15:04:52
ну где имплициты там и капабилитэ

Александр
02.02.2018
15:38:36
Jetbrains вон язык сделали чтобы IDE продавать
нужно делать язык для продвижения фреймворков

Google

Igor K
02.02.2018
15:42:16
js уже есть

A64m
02.02.2018
15:46:15

Nick
02.02.2018
16:09:41

Alex
02.02.2018
16:27:56

Nikita
02.02.2018
16:32:51

Alex
02.02.2018
16:43:42
И?

Oleg
02.02.2018
17:14:56

Kirill
02.02.2018
17:15:55
депрессивный пятничный скалач

Grigory
02.02.2018
17:17:08

Alex
02.02.2018
17:23:51
как говорил Витгенштейн про свои попытки создания идеального языка, "по идеально гладкому льду невозможно ходить"

sherzod
02.02.2018
17:25:30
по нему можно скользить, грациозно и легко

Nick
02.02.2018
17:28:17

Alexey
02.02.2018
17:28:53

sherzod
02.02.2018
17:29:02
и до ближайшей стенки

Nick
02.02.2018
17:29:04
Думаю при очень низких температурах по льду можно ходить

Alexey
02.02.2018
17:29:33

Nick
02.02.2018
17:29:55
Идеально гладкий
А не скользкий

Alexey
02.02.2018
17:30:05
Ну да, очепятка
В голове

Google

Nick
02.02.2018
17:30:14
Вообще скользит вроде тонкая плёнка воды
Но эт не точно, я не физик

Alex
02.02.2018
17:30:25
да, тает от давления вроде
Осознав просчеты своей философии логического анализа, заявленной в «Трактате», Витгенштейн выступил с ее решительной критикой. В стремлении к идеальному языку «мы оказываемся на скользкой поверхности льда, где нет никакого трения и условия в известном смысле идеальны, но именно потому мы не можем двигаться. Мы хотим идти: в таком случае нам необходимо трение. Назад, на грубую почву!» – так сформулировал философ отход от прежних позиций. Разочаровавшись в идее абсолютного, или совершенного, логического языка, Витгенштейн обращается к обычному, естественному языку, к реальной речевой деятельности людей.

sherzod
02.02.2018
17:32:13
Это случайно не друг Рассела который погиб на войне?

Alex
02.02.2018
17:32:54
вроде дружили, но умер он после войны

sherzod
02.02.2018
17:34:21
а возможно, Пападимитриу наверное добавил красок в Логикомиксе
или я добавил красок в памяти
ну да, он разочаровался в логике, логика это набор тавтологий
мне кажется к схожим мыслям приходят люди даже весьма и весьма не сведующие в ней, вроде меня

Alex
02.02.2018
17:41:57
ну у нас скользит компьютер, проблема скорее поставить его на нужную лыжню
и чтобы не слишком сильно врезался

Александр
02.02.2018
18:09:29

Sergey
02.02.2018
19:41:19
?

V
02.02.2018
19:44:11
привет, ребята
https://github.com/databricks/scala-style-guide - годнота или нет?

Oleg
02.02.2018
19:45:56

V
02.02.2018
19:46:43
и куда податься простому человеку за стайлгайдом?