λ
Т-34 85
не могу я мыслить по-другому, видя snake_case и синтаксис раста. Я вообще думать перестаю
А вам сколько лет?
Size: a a a
2020 March 01
Т8
Есть языки с достаточной мощностью и выразительностью. Нет дяденьки, кто бы в них инвестировал
у них сишный синтаксис? Перформанс близкий к си?
Т8
А вам сколько лет?
это не имеет значения
G
Т-34 85
у них сишный синтаксис? Перформанс близкий к си?
На F* реализовали верифицированный TLS стек. Для моих задач это вполне достаточно
G
Ребята из ATS говорят, что да, скорость, сравнимая с Си (но я не проверял)
NL
Ребята из ATS говорят, что да, скорость, сравнимая с Си (но я не проверял)
Выполнения. Но не написания кода |-)
G
Выполнения. Но не написания кода |-)
А скорость написания кода выше или ниже по-твоему?
G
Поддержки IDE можно считать, что нет, это максимально печально
G
(Поэтому я и перешёл на F*)
NL
А скорость написания кода выше или ниже по-твоему?
Ниже раз в 10 минимум. Очень тяжело писать.
λ
Т-34 85
это не имеет значения
Ну как это. От этого чуть ли не напрямую зависит ваша способность к обучению и необходимость этим заниматься.
Т8
Ребята из ATS говорят, что да, скорость, сравнимая с Си (но я не проверял)
betterc++ - быстрота, относительная безопасность, сишный синтаксис, C API основной
G
Ниже раз в 10 минимум. Очень тяжело писать.
А в каком плане тяжело?
Т8
Ну как это. От этого чуть ли не напрямую зависит ваша способность к обучению и необходимость этим заниматься.
я не хочу отвыкать от сишного синтаксиса. Можете называть это "синдромом утёнка"
λ
Т-34 85
я не хочу отвыкать от сишного синтаксиса. Можете называть это "синдромом утёнка"
Но это ведь очень полезно
Т8
Но это ведь очень полезно
rust хорош, но зашёл не туда, получив фатальный недостаток. Увы...
G
Т-34 85
rust хорош, но зашёл не туда, получив фатальный недостаток. Увы...
"Фатальный недостаток" в синтаксисе? Лол
λ
Т-34 85
rust хорош, но зашёл не туда, получив фатальный недостаток. Увы...
Какой фатальный недостаток? Неужели синтаксис?
NL
А в каком плане тяжело?
Родить одну строчку занимало примерно час, потому что требовало гугления, поиска похожего кода в гитхабе и библиотечном коде (на ATS написано мало, но есть) и документации (я пробовал реализовать
Это при том, чтобы вкатиться, нужно было прочитать по линейной логике пейпер от Вадлера, чтобы хоть что-то понимать.
https://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste-revised.pdf
A*).Это при том, чтобы вкатиться, нужно было прочитать по линейной логике пейпер от Вадлера, чтобы хоть что-то понимать.
https://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste-revised.pdf
G
Родить одну строчку занимало примерно час, потому что требовало гугления, поиска похожего кода в гитхабе и библиотечном коде (на ATS написано мало, но есть) и документации (я пробовал реализовать
Это при том, чтобы вкатиться, нужно было прочитать по линейной логике пейпер от Вадлера, чтобы хоть что-то понимать.
https://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste-revised.pdf
A*).Это при том, чтобы вкатиться, нужно было прочитать по линейной логике пейпер от Вадлера, чтобы хоть что-то понимать.
https://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste-revised.pdf
Папир я почитаю, папиры я люблю. Ну, в общем, не удивительно, ведь язык экспериментальный