G
Здесь я соглашусь, спецификация низкоуровневых вещей особенно важна в низкоуровневом программировании
Size: a a a
2020 January 26
G
Борроу-чекер часто тупил
G
Хотя у Go вроде как канкаренси в язык впилено, это можно считать фичей.
Да
M
Хотя у Go вроде как канкаренси в язык впилено, это можно считать фичей.
Можно, но это временно, пока у всех остальных не появиться что то подобное. Хотя у многих и так или акторы или файберы или STM как в Haskell.
Я бы не сказал, что это что то эксклюзивное. Так же как и классы в Java скоро это перестанет быть фишкой и что тогда?
Я бы не сказал, что это что то эксклюзивное. Так же как и классы в Java скоро это перестанет быть фишкой и что тогда?
JC
И заживем
MS
> C is the most portable programming language.
Соглашусь, но это временная проблема.
> C has a spec.
Тоже временная проблема.
> C has many implementations.
Опять же, временная проблема. У Rust уже есть несколько реализаций.
> Cargo is mandatory.
Временная проблема.
> Concurrency is generally a bad thing.
Нет аргументов.
> Safety.
Существует c2rust, с помощью которого можно транслировать Си-код в небезопасный Rust, а потом идиоматизировать его руками. Не думаю, что ошибок будет в будущем больше с Rust.
> Consider Go, which has had a lot of success in supplanting C for many problems.
Golang - скорее замена скриптовым языкам, не C/C++.
Соглашусь, но это временная проблема.
> C has a spec.
Тоже временная проблема.
> C has many implementations.
Опять же, временная проблема. У Rust уже есть несколько реализаций.
> Cargo is mandatory.
Временная проблема.
> Concurrency is generally a bad thing.
Нет аргументов.
> Safety.
Существует c2rust, с помощью которого можно транслировать Си-код в небезопасный Rust, а потом идиоматизировать его руками. Не думаю, что ошибок будет в будущем больше с Rust.
> Consider Go, which has had a lot of success in supplanting C for many problems.
Golang - скорее замена скриптовым языкам, не C/C++.
Ну насчёт нескольких реализаций ты немного лукавишь
MS
Рабочая пока только одна и в обозримом будущем так и останется.
JC
Мозила как раз уволила разраба cranelift или как там это называется
G
Ну насчёт нескольких реализаций ты немного лукавишь
https://github.com/thepowersgang/mrustc
Реализация ещё как минимум одна есть, про рабочесть я ничего не гооврил)
Реализация ещё как минимум одна есть, про рабочесть я ничего не гооврил)
AV
Low-pause GC is a feature. Этого у Go не отнять.
Этого добились весьма специфичными решениями с понятными tradeoff
MS
https://github.com/thepowersgang/mrustc
Реализация ещё как минимум одна есть, про рабочесть я ничего не гооврил)
Реализация ещё как минимум одна есть, про рабочесть я ничего не гооврил)
Борровчекера нет, проект не развивается. Ну такое.
__
AV
> Хотя у многих и так или акторы или файберы или STM как в Haskell.
STM это уже все же примитивы синхронизации и коммуникации в concurrent программе, так то аналог это обычный forkIO и зеленые треды, с той разницей, что работают разные правила вытестения.
STM это уже все же примитивы синхронизации и коммуникации в concurrent программе, так то аналог это обычный forkIO и зеленые треды, с той разницей, что работают разные правила вытестения.
AT
Этого добились весьма специфичными решениями с понятными tradeoff
Так я ж не спорю. К тому же у Java есть целых два. Это ж был ответ какие фичи они каждый год выкатывают.
M
Этого добились весьма специфичными решениями с понятными tradeoff
У nim даже меньше пауза если верить бенчмаркам. У последних GC в Java ZGC и Shenandoah вроде как тоже не более 100 мс =) Но это все равно дофига!
внимание реклама
AssemblyScript гарантирует не более 2мс задержку для GC (в одном потоке), который кстати используется только для циклических ссылок, то есть довольно редко.
Как такое возможно, можно прочитать в этом пейпере:
https://github.com/dcodeIO/purerc/blob/master/papers/Bacon03Pure.pdf
внимание реклама
AssemblyScript гарантирует не более 2мс задержку для GC (в одном потоке), который кстати используется только для циклических ссылок, то есть довольно редко.
Как такое возможно, можно прочитать в этом пейпере:
https://github.com/dcodeIO/purerc/blob/master/papers/Bacon03Pure.pdf
M
А то тут мне вменяют, что я недостаточно пушаю AS =)
JC
Nim же фронтэнд, или у них есть нативная кодогенерация?
M
Nim же фронтэнд, или у них есть нативная кодогенерация?
Не, они только в C транслируют вроде
МБ
JC
Ну там статейка, которой шесть лет