Телеграмм чат группы clojure

2020 July 16

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Т.е. идея в том, что пока у языка нет финансово закоммиченных юзеров, можно спокойно найти правильную архитектуру и хороший кор

источник

10:05пожаловаться #1

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Язык академический, никто не спорит.
Но в конце концов, всё хорошее, что у нас есть пришло из академических языков.
И каждый раз, когда очередной лисполюб, вроде Хикки приходил на конференции, обязательно какой-то фанат фортрана/жавы рассказывал ему, какой он не прагматичный

источник

10:07пожаловаться #2

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Так что для того, чтобы новые кложуры рождались, нужно умерить своё желание обидеть энтузиастов

источник

10:08пожаловаться #3

A

Aleksey @cheatex in Clojure — русскоговорящее сообщество

Oleg ℕizhnik

Т.е. идея в том, что пока у языка нет финансово закоммиченных юзеров, можно спокойно найти правильную архитектуру и хороший кор

По языку была куча туториалов, куча докладов на конфах, есть какие-то либы. Кто-то где-то сриптик в пайплан положил, кто-то бинарничик к нгинксу. Этих всех людей резко кинули за борт, им надо объяснять начальству что мааленький эксперимент за 1-2 года устарел развивать его надо только большой миграцией.

источник

10:09пожаловаться #4

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Aleksey @cheatex

По языку была куча туториалов, куча докладов на конфах, есть какие-то либы. Кто-то где-то сриптик в пайплан положил, кто-то бинарничик к нгинксу. Этих всех людей резко кинули за борт, им надо объяснять начальству что мааленький эксперимент за 1-2 года устарел развивать его надо только большой миграцией.

Никто никого не кидал

источник

10:10пожаловаться #5

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Они все сидят вот сейчас прямо в чате завтипов и пробуют второй идрис

источник

10:10пожаловаться #6

A

Aleksey @cheatex in Clojure — русскоговорящее сообщество

Это ровно то что со скалой провернули 2.6-2.8. На анонсе 2.9 я ливнул хотя был изрядным фанатом, кажтеся продолжили в том же духе.

источник

10:11пожаловаться #7

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Опять вы делаете выводы о вещах, в которых пока не очень много опыта.

источник

10:11пожаловаться #8

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Aleksey @cheatex

Это ровно то что со скалой провернули 2.6-2.8. На анонсе 2.9 я ливнул хотя был изрядным фанатом, кажтеся продолжили в том же духе.

Нет, наконец придумали как сделать так, чтобы никого не кидать

источник

10:12пожаловаться #9

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Но на самом деле многие фанаты с 2.8, одним из которых я был, спокойно прожили до 2.13 и продолжают жить

источник

10:13пожаловаться #10

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Я понимаю, что вам не нравится. Но есть достаточное количество людей, которые более толерантно относятся к обратной несовместимости.
Вот в скала 3 специально изменили архитектуру для этого.
А в языках с зависимыми типами это просто существенно более серьёзная задача, и её ещё предстоит решить.

источник

10:15пожаловаться #11

A

Aleksey @cheatex in Clojure — русскоговорящее сообщество

Oleg ℕizhnik

Я понимаю, что вам не нравится. Но есть достаточное количество людей, которые более толерантно относятся к обратной несовместимости.
Вот в скала 3 специально изменили архитектуру для этого.
А в языках с зависимыми типами это просто существенно более серьёзная задача, и её ещё предстоит решить.

Coq вроде уже лет 15 ничего не ломает и даже не очень специфицированный язык тактик доказывает примерно то же самое от версии к версии. Или у меня слишком радужная картина?

источник

10:21пожаловаться #12

A

Aleksey @cheatex in Clojure — русскоговорящее сообщество

Разрабы языка приоритезируют свой комфорт над комфортом пользователей. Результат ожидаем.

источник

10:23пожаловаться #13

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Aleksey @cheatex

Coq вроде уже лет 15 ничего не ломает и даже не очень специфицированный язык тактик доказывает примерно то же самое от версии к версии. Или у меня слишком радужная картина?

Это очень смешно. Каждая версия Coq обратно несовместима с предыдущими.
Все популярные библиотеки вроде mathcomp/ssreflect имеют обязательное требование кокретной версии Coq

источник

10:27пожаловаться #14

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Это постоянная боль, спросите Антона Трунова или других посетителей его курса.
Мало того, может ломаться даже не при переходе с 8.9 на 8.10 а при переходе с 8.10.1 на 8.10.2

источник

10:29пожаловаться #15

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Я думаю, всем, кто хоть раз пробовал что-то доказывать очевидно, что в завтипных языках обратная совместимость чрезвычайно трудная задача

источник

10:30пожаловаться #16

A

Aleksey @cheatex in Clojure — русскоговорящее сообщество

Oleg ℕizhnik

Это очень смешно. Каждая версия Coq обратно несовместима с предыдущими.
Все популярные библиотеки вроде mathcomp/ssreflect имеют обязательное требование кокретной версии Coq

Фигасе. А как их эпичные достижения вроде С компилятора живут?

источник

10:31пожаловаться #17

Oℕ

Oleg ℕizhnik in Clojure — русскоговорящее сообщество

Aleksey @cheatex

Фигасе. А как их эпичные достижения вроде С компилятора живут?

Вы про compcert?

источник

10:31пожаловаться #18

A

Aleksey @cheatex in Clojure — русскоговорящее сообщество