Ilya
@sergeysova наши тестовые закрыты, может найду какое-то старое, но пока ничего
Vladimir
Напиши черно красное дерево
Anton
Ну напиши линкед лист на расте
особенно если тебе нужно иметь список обетов и какой нить индекс =)
Vladimir
При интервьювере, глядящем из-за плеча реализуй простенькую FSM типа:
A->A
A--e1-->B
B->B
B-->e2-->C
C->C
C--e3-->A
Что означает e1 в такой текстовой нотации?
Victor
При интервьювере, глядящем из-за плеча реализуй простенькую FSM типа:
A->A
A--e1-->B
B->B
B-->e2-->C
C->C
C--e3-->A
а можно я заюзаю написанный ранее мною крэйт? =) в 6 строчек тогда получится...
Roma
Вообще недостаток раста в том, что у него сильно не оптимально и сложно пишутся структуры основанные на ссылках/указателях
да unsafe внутри фигачишь и в путь %)
Roma
чтобы без refcell'ов
Sergey
Victor
> Меркль Дерево
господи что это?...
Filipp
https://doc.rust-lang.org/reference/visibility-and-privacy.html
здесь смотрю
Roma
Я пропустил фразу "на сейфовом расте"
ну он сейф будет, верифицируешь потом на кокококе
Alex
Какие недостатки в Раст есть?
Я не на столько хорошо его знаю, чтоб видеть недостатки пачками. Есть косяки в тайп-инференс, например, но не критичные. В остальном - I'm in love.
Vladimir
Только алгоритм?
Vladimir
Я к тому, что алгоритм нужно транслировать самому в coq и есть вероятность ошибки?
Vladimir
Andrei
Ну он же Раст не доказывает ?
прямо rust нет, придётся воссоздавать модель на Coq. а потом можно сгенерить исходник на rust (не знаю, правда, есть ли готовый экстрактор и насколько он пригоден).
Alex
а можно я заюзаю написанный ранее мною крэйт? =) в 6 строчек тогда получится...
Тут только на core/std only.
Nikita
Напиши черно красное дерево
А описание и алгоритм прилагается? а то я навскидку не помню как они там маркируются и балансируются
Alex
И че там за косяки в тайпинтерфейсах
[T1, Tunknown] != [Tunknown, T1]
Подробнее - позже. Ща на телефоне.
Anton
Товарисчи, есть вариант сделать проверку посимпатичней?
https://play.rust-lang.org/?gist=ea44609ce40a1bac87182dc6687f3415&version=stable&mode=debug
Vladimir
[T1, Tunknown] != [Tunknown, T1]
Подробнее - позже. Ща на телефоне.
Синтаксис у тебя какой-то странный
Vladimir
А описание и алгоритм прилагается? а то я навскидку не помню как они там маркируются и балансируются
Ну нагугли, в чём проблема
Vladimir
Просто вкинул структуру которой нет в расте, но строится в том числе на указателях
Vladimir
Чтоб понять убогость сейфовых механизмов раста, в этом кейсе
Sergey
Sergey
вот опять
Sergey
бомблю в соседнем чате на эту же тему
Sergey
приходят некие “профессионалы” своего языка/сферы
Sergey
в другой язык
Sergey
и начинают рассказывать как правильно
Sergey
и чем другой язык убог
Sergey
нахуя вы идете в новый язык со своими привычками?
Sergey
головой подумать никак нельзя, что здесь, блядь, другие принципы
Sergey
и строить приложение нужно по другому
Vladimir
Ты дурак?
Vladimir
Ты не понимаешь сути
Sergey
ты влез в левый язык
Sergey
так будь добр изучи его механизмы
Vladimir
Ты СОВЕРШЕННО не понимаешь в чем суть расточата.
расточат это не стековерфлоу «у меня не запускается хелловорлд, напишите мне 2 листа причин».
расточат это не псевдоинтеллектуальные обсуждения на гитхабе.
расточат это не гиттер, IRC или сраный продот.
расточат это место, где люди могут побыть чудовищами — ужасными, бесчувственными,
безразличными чудовищами, которыми они на самом деле и являются.
В го нет дженериков, а мы смеемся.
Код питонистов падает в проде из-за косяков с типизацией, а мы смеемся.
Гоферы две недели не могут решить как писать простого бота в своем продоте, а мы смеемся и просим еще.
Утинная типизация, фризы GC, касты к void* — мы смеемся.
Тупые языки, национализм, дискриминация, ксенофобия, анальное рабство на интерпрайзных галерках,
беспричинная ненависть — мы смеемся.
Жаваскриптер убил своего PMа чтобы не отлаживать легаси — мы смеемся.
Мы бездушно подпишемся под чем угодно, наши предпочтения не основаны на здравом смысле,
бесцельные споры — наша стихия, мы — истинное лицо IT-комьюнити.
Cuno
Anton
и строить приложение нужно по другому
Так чтобы совсем обойтись без указателей не получится, особенно когда дорогие обьекты
Sergey
Так чтобы совсем обойтись без указателей не получится, особенно когда дорогие обьекты
ну давай размажем указатели по всему проекту
Vladimir
Давай
Sergey
ну и нахуй тогда в раст лезть?
Sergey
иди в плюсы
Vladimir
Хочу шарить данные
Vladimir
Что, нельзя указатели?
Berkus
обычно оно таки DAG
Sergey
а не лезь со своими привычками
-__-
Он есть разве что для галочки
Vladimir
Аж 4
Vladimir
Или пять
Sergey
хотя
Vladimir
используй те механизмы, которые дает раст