
Oleksandr
02.07.2017
20:38:00
те чуть больше слов
comnon lisp

Oleg
02.07.2017
20:38:17
в SML была просто data, для которой не нужно ничего писать и дерайвить
в CL есть defstruct, ничего там для него писать не надо было дополнительно

Google

Oleg
02.07.2017
20:41:27
это просто в жвм нет ничего по дефолту, а в хачкеле всё должно быть супернастраиваемым

Oleksandr
02.07.2017
20:46:57
интересно, а чего тот же sml не взлетел?
там куча удобных фич, ортогональное (если верить вики) ядро, и это все лет 20 как

Oleg
02.07.2017
20:48:10
Просто не нужно их путать с корпоративно-навязанной хренью типа жавки

Oleksandr
02.07.2017
20:50:10

Oleg
02.07.2017
20:50:51
Джава(Оак), как и го была морально устаревшей в день своего появления
Чуваки использовали лабораторные достижения людей, которые хотели сделать нормальный ООП (self)
И натянули на неё недоязык, который "может, наконец заменить C++".
Заметим, что лозунги за 25 лет не поменялись

Oleksandr
02.07.2017
20:56:38
мда, грустно
такими темпами, что-то типа зависимых типов дойдет в индустрию лет через 50

Oleg
02.07.2017
20:58:42
но про невзлёт ML - на сегодняшний день из всех языков, чья система типов не совсем смешная синтаксис ML не имеют только scala и rust

Mikhail
02.07.2017
20:58:46

Oleg
02.07.2017
20:58:58
ну и ладно, C++

Google

Oleg
02.07.2017
21:00:10
вчера ФП считалось задротсвом и хипстерством, позавчера - ООП
но, как подсказал только что чат, новый день всё равно однажды наступит

Mikhail
02.07.2017
21:00:36

Oleksandr
02.07.2017
21:00:40

Oleg
02.07.2017
21:01:36

Oleksandr
02.07.2017
21:04:26

Oleg
02.07.2017
21:04:52

Oleksandr
02.07.2017
21:05:27

Oleg
02.07.2017
21:05:45
это же чистая приблуда для системы типов с подтипами

Nick
02.07.2017
21:08:01
ML - это machine learning?

Oleksandr
02.07.2017
21:08:06
type key = Key.ord_key
type item = Key.ord_key
list datatype set = LEAF | NODE of { key: key, lt: set, eq: set, gt: set }
val empty = LEAF

Nick
02.07.2017
21:08:09
я думаю там пофиг какой язык, не?

Oleg
02.07.2017
21:08:32
ненене, вот это то, что ты удалил - это то, что в скале
sealed trait X
case class C1 extends X
case class C2 extends Xдля этого в dotty будет новый классный кейворд enum

Daniel
02.07.2017
21:08:45

Nick
02.07.2017
21:08:53
ааа блин
понаделают языков, тьфу

Oleg
02.07.2017
21:10:31
A | B - это такая субтипная сумма типов counterpart with, они чем-то по законам похожи на сумму и произведение типов, но для других целей
т.е. так же как A with B <: A и A with B <: B т.е. работает как наибольший общий подтип

Google

Oleg
02.07.2017
21:12:01
A <: A | B и B <: A | B т.е. работает как наименьший общий надтип
и там соответствующие правила для ковариантности и т.п., все правила есть в статье про DOT

Oleksandr
02.07.2017
21:13:36
блин, неудобно с телефона писать, пока чет напишешь, все уже выше сказано /=

Oleg
02.07.2017
21:14:05
enum ы да, давно пора

A
03.07.2017
05:03:15

Aleksei
03.07.2017
05:11:31

A
03.07.2017
05:14:49
странно, я думал в scala оказываются только после того как попробовали нормальные ML-и, поняли, что работы нет и как компромис выбрали scala

Aleksei
03.07.2017
05:16:25

A
03.07.2017
05:16:54
а

Grigory
03.07.2017
05:17:12

A
03.07.2017
05:18:11
нет

A
03.07.2017
05:18:16
@pomadchin https://gist.github.com/zinenko/b93a70266d5aa4cc3df6aca12bbd13ed
вот такое если размазать по 3 машинкам, то оно быстрее
если по гисту непонятно что там, то это дохрена партиций с разным кол-ом данных, предварительно вычисленным tsquery и всеми необходимыми индексами
там где Seq Scan - значит данных в партиции на одну страничку
и это только 3.5GB

Aleksei
03.07.2017
05:26:07
Кстати а раз уж мы про машин лернинг ты говорили, а какие годные ресурсы на данную тему есть? Курсы там какие онлайн может? Есть у кого ссылками поделиться?

The mirror
03.07.2017
05:28:57

Polina
03.07.2017
05:29:29
https://www.coursera.org/learn/machine-learning

Google

Aleksei
03.07.2017
05:31:30
спасибо
ох е моё, 10 недель это очень обязывающе

Dmitry
03.07.2017
05:34:43
Здоров. Краем глаза увидел тут. А что на ML работы нет?
"странно, я думал в scala оказываются только после того как попробовали нормальные ML-и, поняли, что работы нет и как компромис выбрали scala" - вот за это просто глаз зацепился
поясните, плиз

Aleksei
03.07.2017
05:36:42
Это частное мнение, сказананное в обезличенном тоне, я бы не стал принимать его за истину, ибо не указан ни один источник.

A
03.07.2017
05:37:07
https://moikrug.ru/vacancies?q=f%23¤cy=rur
https://moikrug.ru/vacancies?q=ocaml¤cy=rur
https://moikrug.ru/vacancies?q=haskell¤cy=rur

Admin
ERROR: S client not available

A
03.07.2017
05:37:13
везде нулёк

Aleksei
03.07.2017
05:37:43
вакансии мой круг о да

A
03.07.2017
05:37:54
?
hh ?
как разнци где?
хоть в газете
на php / ruby есть работа, на ML нет

Aleksei
03.07.2017
05:38:46
https://functional.works-hub.com/

A
03.07.2017
05:40:51
а если нет вариантов ехать за бугор?

The mirror
03.07.2017
05:41:19
удаленка же есть

A
03.07.2017
05:41:25
когда я говорю нет работы я имею ввиду очень мало

The mirror
03.07.2017
05:41:30
21 век на дворе

Google

Aleksei
03.07.2017
05:42:19
нет вариантов ехать за бугор != (нет работы || очень мало работы)

A
03.07.2017
05:43:30
ладно, ладно, работы для ML - ка много, в скалисты попадают осознанно, я был неправ, извините

S
03.07.2017
05:45:42
А как можно в языкнейм попасть неосознанно?

Dima
03.07.2017
05:46:09
будто скала, такой прям мейнстрим, работой завалили.
нужно максимальное количество рабочих предложений работаешь на джаве, питоне, пхп в конце концов 1С

S
03.07.2017
05:46:19
Приходишь на биржу труда: охранник / продавец / скала-программист?

A
03.07.2017
05:46:50
я в руби оказался просто потому что оказался

Dima
03.07.2017
05:46:50
ну вот сейчас например котлин пиарят, а ведь кто-то в него попадет не осознанно)
несмотря на то что это кривая скала

Polina
03.07.2017
05:47:47
?

A
03.07.2017
05:47:52
сейчас вот куча всего перепробовал и понял, что все эти фриманадки в прод я смогу писать только в скале, до ML - я я недорос уровнем знания математики

Aleksei
03.07.2017
05:51:10
Я из явы попал. Мне синтаксис понравился, а там понеслось поехало.

S
03.07.2017
05:51:58
Ну теркат это тоже математика. Я бы сказал машинное обучение попроще - там ведь матстат в основном, плюс оче много рутины - чистка/подготовка данных. Хотя лан, я с дивана это говорю.

Dima
03.07.2017
05:54:19
обычно из джавы на скала мигрируют, хотя встречал ребят кто из питона на скала пересели

The mirror
03.07.2017
05:55:56
я год писал бекенд на котлине, угорел по таким высокоуровневым языкам, scala - очевидный путь дальнейшего развития

Юрий
03.07.2017
05:56:53
ого, год на котлине
это с какой версии протащили в прод его?

A
03.07.2017
05:57:27
он из JB наверно, с версии 0.0.1 )

Dima
03.07.2017
05:58:31
в мейнстриме все языки сейчас становятся похожими на скала)

The mirror
03.07.2017
05:59:33