У нас есть Rust, поэтому C++ больше не нужен.

[swizard]

Просто чудесный пост у thesz, наглядно демонстрирующий мой лозунг из сабжа.

Давайте пройдёмся по пунктам:
> Большое неудобство, однако, составляет отсутствие подсказок компилятора в сообщении об ошибке

Rust прекрасно всё подсказывает, вплоть до того, что явно указывает как именно тебе надо исправить код, чтобы всё заработало.
> но сама необходимость

Comments

[yorool_gui]

Все так. Но увы, на hh.ru например вакансии на Rust искать чуть менее чем бесполезно :-(

[swizard]

Тем не менее, вакансии есть :)

Популярность языков, к сожалению, ортогональна здравому смыслу. Я уже на эту тему жаловался по поводу js :)

Re: Популярность языков... ортогональна здравому смыслу

[mpd]

Куда катиться мир!!! :-(

Re: Популярность языков... ортогональна здравому смыслу

[wizzard0]

в смысле? )

[thesz]

>А в Rust отсутствует возможность "неправильно" создать объект.

В Rust объект - это значение, или изменяемый кусок памяти? Если последнее, то увы.

>Ведь его же создавали люди, которые много программировали на C++ :)

Его создавали люди, которые мало программировали на Хаскеле, иначе бы его не было.

Надо мне собраться с силами. :(

[swizard]

> В Rust объект - это значение, или изменяемый кусок памяти? Если последнее, то увы.

Физически это кусок памяти, разумеется. Но Rust нельзя напрямую с памятью под переменными работать вне unsafe-блоков, и в языке, соответственно, есть гарантия на то, что любое прочитанное значение обязательно было до этого корректно инициализированно.

> Его создавали люди, которые мало программировали на Хаскеле

Хаскель в этом плане тоже устарел. В том же purescript head и tail возвращают Maybe :)

[thesz]

>Хаскель в этом плане тоже устарел. В том же purescript head и tail возвращают Maybe :)

Вопрос библиотеки. В ghc достигается добавление ключика.

>любое прочитанное значение обязательно было до этого корректно инициализированно.

Корректно или согласованно?

Моя проблема в C++ как раз в согласованности инициализации. Типа, программу разобрал, но таблицу символов не положил.

В том же Хаскеле у меня может быть фантомный тип с тем, что я сделал со значением. И я могу требовать наличие AST и таблицы символов одновременно.

[swizard]

> В том же Хаскеле у меня может быть фантомный тип с тем, что я сделал со значением.

Если что, в Rust ты тоже можешь это сделать, там есть фантомные типы. Даже session types (и даже без монад, кстати, чисто на ownership-е).

[zlokk]

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

[maxim]

Да.

[metaclass]

Можно, только когда это начнет, несмотря на все системы типов и прочее ебаться с сегфолтами и Access Violation - дампы можно будет только на помойку выкинуть, а не в отладчике открыть и посмотреть.

[swizard]

А в чём проблема с отладчиком? Я лично дебажил раст и через gdb, и через lldb.

[4da]

Чо там с кроссплатформенным гуем под раст?

[kika]

У раста есть своя библиотека для гуя, довольно прикольная по идее - relm. Это реализация идей Elm в расте для нативного гуя, но к сожалению, базируется она на GTK+ и поэтому выглядит как говно везде, кроме линукса с гномом, который сам выглядит как говно, поэтому на его фоне незаметно.
Есть еще conrod(?) который вообще с нуля вроде как написан, но я его не пользовался.
Было бы удивительно если бы кто-нибудь уже не запилил бы какой-нибудь Qt.rs или что-то подобное. И если бы мне надо было бы написать коммерческое гуеприложение на расте, я бы взял конечно его (если оно есть).

[swizard]

Понятия не имею, честно говоря :)

Но ведь на расте спрограммирован servo, значит, можно предположить, что какой-то кросплатформенный гуй у раста есть.

[wizzard0]

Есть обертка для dear imgui, это немного специфический вид гуя, но для некоторых подойдет.

[ext_4138593]

По русски -- "идиоматический" :)

[swizard]

Точно, спасибо =)