ML
О да
Size: a a a
2020 November 06
V
Никто не следит за CodeMeshIo кстати ?что там из интересных докладов?
V
я пока только заметил очередной доклад по jit, может больше оптимизаций на подходе..
วโ
непонятно куда её там прикрутить
В смысле, везде и прикрутить
PK
Нужно-нужно. От диалайзера уже воротить начинает, хочется нормальной типизации.
Спасибо, @define_null, что держишь в курсе, это интересно. По jit'у я видел новые коммиты в мастере, видимо развивают дальше.
Вообще, вот, только меня стали захлестывать мысли, что эрланг и бим так и не получат нормальной популярности и развития, и что пока искать другую нишу, как начался какой-то бум 😃
Элексир можно сказать уже выстрелил, новые языки для бима как грибы после дождя плодятся. Вон даже саму vm на расте хотят запилить (хоть и урезанную).
Спасибо, @define_null, что держишь в курсе, это интересно. По jit'у я видел новые коммиты в мастере, видимо развивают дальше.
Вообще, вот, только меня стали захлестывать мысли, что эрланг и бим так и не получат нормальной популярности и развития, и что пока искать другую нишу, как начался какой-то бум 😃
Элексир можно сказать уже выстрелил, новые языки для бима как грибы после дождя плодятся. Вон даже саму vm на расте хотят запилить (хоть и урезанную).
IS
главное чтобы вывод типов был человеческий, а не как в го
MK
главное чтобы вывод типов был человеческий, а не как в го
Ну об этом и речь, с нормальным выводом типов вся статическая типизация отразится только на сигнатурах функций.
MK
И сразу возникает вопрос: а как делать дженерики
ИИ
Нужно-нужно. От диалайзера уже воротить начинает, хочется нормальной типизации.
Спасибо, @define_null, что держишь в курсе, это интересно. По jit'у я видел новые коммиты в мастере, видимо развивают дальше.
Вообще, вот, только меня стали захлестывать мысли, что эрланг и бим так и не получат нормальной популярности и развития, и что пока искать другую нишу, как начался какой-то бум 😃
Элексир можно сказать уже выстрелил, новые языки для бима как грибы после дождя плодятся. Вон даже саму vm на расте хотят запилить (хоть и урезанную).
Спасибо, @define_null, что держишь в курсе, это интересно. По jit'у я видел новые коммиты в мастере, видимо развивают дальше.
Вообще, вот, только меня стали захлестывать мысли, что эрланг и бим так и не получат нормальной популярности и развития, и что пока искать другую нишу, как начался какой-то бум 😃
Элексир можно сказать уже выстрелил, новые языки для бима как грибы после дождя плодятся. Вон даже саму vm на расте хотят запилить (хоть и урезанную).
если есть чем заменить - можно знаменить
ML
И сразу возникает вопрос: а как делать дженерики
Вы такие сложные.
Хотя бы решить вопрос с тем, чтобы в жсон вываливалось что-то подконтрольное - уже неплохо
Хотя бы решить вопрос с тем, чтобы в жсон вываливалось что-то подконтрольное - уже неплохо
AB
Вы такие сложные.
Хотя бы решить вопрос с тем, чтобы в жсон вываливалось что-то подконтрольное - уже неплохо
Хотя бы решить вопрос с тем, чтобы в жсон вываливалось что-то подконтрольное - уже неплохо
меня несколько расстраивает, что для решения примерно вот этого класса вопросов люди пытаются втащить статическую типизацию.
ML
меня несколько расстраивает, что для решения примерно вот этого класса вопросов люди пытаются втащить статическую типизацию.
Почему расстраивает и как еще?
V
Проотвечались. Хотя, это было ожидаемо
AN
Ну в пых цукерберг статичкскую типизацию втащил в своё время, наверное и бим осилят
ИИ
меня несколько расстраивает, что для решения примерно вот этого класса вопросов люди пытаются втащить статическую типизацию.
А для чего великого она еще требуется? Или ты противник?
AN
Краш вм, если в жсон строка вместо числа пришла это будет круто)
IS
меня несколько расстраивает, что для решения примерно вот этого класса вопросов люди пытаются втащить статическую типизацию.
тут вопрос не только в корректности и выводе, но и в скорости бима. если на уровне байткода знать тип, то многое становится проще.
IS
именно то что не дает диалайзер. любой тайпчекер и линтер — это не про перфоманс, а про корректность.
IS
Ну в пых цукерберг статичкскую типизацию втащил в своё время, наверное и бим осилят
ну ерланг много проще пхп. там совсем мрак. собственно пожтому hhvm не обратно совместим.
AB
Почему расстраивает и как еще?
1 - мне не нравятся подходы к разработке, которым нужна статическая типизация, а это как раз является очевидной целью для фб
2 - вопросы "что вывалится в json" можно решать гораздо менее радикальными способами, что в общем повсеместно и делается. у нас обоих есть по примеру - у меня трифт(и еще один парс-трансформ местами), у тебя - ваш парс-трансформ для рекордов.
3 - буквально все системы типов имеют недостатки. они либо недостаточно выразительны, либо слишком сложны в употреблении, самые мейнстримные - и то, и другое вместе.
2 - вопросы "что вывалится в json" можно решать гораздо менее радикальными способами, что в общем повсеместно и делается. у нас обоих есть по примеру - у меня трифт(и еще один парс-трансформ местами), у тебя - ваш парс-трансформ для рекордов.
3 - буквально все системы типов имеют недостатки. они либо недостаточно выразительны, либо слишком сложны в употреблении, самые мейнстримные - и то, и другое вместе.