@scala_ru

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

A64m
02.02.2018
12:19:51
это какие фя?
SML например

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
https://github.com/twitter/reasonable-scala грядет!
Я каждый раз когда читаю ридми у меня бомбит :)

после строк про 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
"Inner and local classes, traits and objects." даже джава уже не получается
Какое-то очень узкое подмножество остаётся. Как-то не верится, что у твиттера скаловский код в него влезает

Vadim
02.02.2018
14:04:34
ну цели же явно прописаны

и там нету "сделать убогий но быстрый компилятор"

Alexey
02.02.2018
14:10:17
и там нету "сделать убогий но быстрый компилятор"
прям как фейсбук и вк с php поступили

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

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

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

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

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

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
как в расте чтоб с памятью работать
Говорят в kotlin native планируют так сделать

Luger
02.02.2018
15:01:26
KrivdaAllStars
02.02.2018
15:01:30
Говорят в kotlin native планируют так сделать
и доп грамматику , надеюсь добавят на уровне языка

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
по нему можно скользить, грациозно и легко

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 - годнота или нет?

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

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