dev-ua/rust

Chat for Rust developers FAQ: https://gist.github.com/listochkin/c81c198a2b7b044a0dc5

Ivan Ivashchenko

@defuz

Ребята, кто планирует быть завтра на RustFest, дайте знать. :)

Nikita Khomitsevich

@hamsternik

жаль, что в Берлине, а не в Киеве :D

Андрей Листочкин (Andrey Listochkin)

@listochkin

@defuz привет там передавай, у меня с визами лажа, поэтому я не еду

Ivan Ivashchenko

@defuz

@listochkin оу, это печально.( мне компания по-быстрому открыла визу в Испанию. А знаешь кого-нибудь кто едет из Украины/России?

Андрей Листочкин (Andrey Listochkin)

@listochkin

не, не знаю. Я вообще на 120% в рабооте и ни за кем не слежу

Dmitry Gritsay

@d-unseductable

жаль, что в Берлине, а не в Киеве :D

https://twitter.com/RustFest/status/777535515721605120

Kyrylo Yakovenko

@blia

@listochkin накаставал?

Vladyslav Siriniok

@siriniok

Wow, really?

Лісточкін точно щось знав)

Kyrylo Yakovenko

@blia

ну он на скриншоте же :)

Vladyslav Siriniok

@siriniok

та бачу)

але вище він ні слова не сказав про це)

Nikita Khomitsevich

@hamsternik

лол, крутяк :)

без @listochkin не обошлось :D

Vladyslav Siriniok

@siriniok

коли Магомет не їде до гори через візу, то гора їде до Магомета :smile:

Luda Lukashevskaya

@lud4ik

:+1:

Андрей Листочкин (Andrey Listochkin)

@listochkin

я же еще летом говорил уже, что мы делаем следующий РастФест

Dmitry Gritsay

@d-unseductable

Привет! Если есть рубисты, заходите к нам This Week in Ruru 1 :smiley:

Vladyslav Siriniok

@siriniok

@d-unseductable https://gitter.im/dev-ua/ruby-ua

Oleksandr Nikitin

@wizzard0

панове, а хтось бачив пейпери по теорії, що лежить під borrow checking'ом?

Michael Pankov

@mkpankov

@wizzard0 http://plv.mpi-sws.org/rustbelt/ внизу Related Papers

Oleksandr Nikitin

@wizzard0

Ага, спасибо

Unfortunately, none of Rust's safety claims have been formally investigated, and it is not at all clear that they hold.

Вот я пришел к такому же где-то выводу и стало как-то неуютно)))

Michael Pankov

@mkpankov

ещё можно почитать про ATS и Cyclone (языки такие были)

думаю про них-то должны быть статьи

Oleksandr Nikitin

@wizzard0

Мб, мб

Просто все с одной стороны ссылаются на Wadler et al. про LTL, но как-то никакой очевидной связи не видно...

Michael Pankov

@mkpankov

@wizzard0 хз, но тут вот в вики в applications написано "Expressing important properties in formal verification" и там про safety и liveness

а это как раз про раст)

Oleksandr Nikitin

@wizzard0

ссылку, ссылку!

или wikipedia/rust?

Michael Pankov

@mkpankov

https://en.wikipedia.org/wiki/Linear_temporal_logic

Oleksandr Nikitin

@wizzard0

Дадада, дадада, но по ощущениям оно как-то мало общего имеет с имплементацией в Rust, даже майкрософтовский пейпер Uniqueness, Immutability and Safe Parallelism ближе

Обосновать пока не могу, впрочем

Ruslan Shevchenko

@rssh


@online{Patine,
 author = {Eric Reed},
 title = {Patina: A Formalization of the Rust Programming Language.},
 url = { ftp://ftp.cs.washington.edu/tr/2015/03/UW-CSE-15-03-02.pdf},
 datr = {2015-02}
}

Oleksandr Nikitin

@wizzard0

@rssh спасибо

Vitalii

@fix2015

доброго времени суток, помогите в направлении куда двигаться есть такой пакет npm install -g create-react-app

после установки которого ты можешь быстро развернуть приложения

так вот хочу такое же сделать для ангулара но не пойму как сделать выполняющий пакет

а да чтобы развернуть для реакта нужно ввести команду

create-react-app my-app

вот я хочу сделать create-angular-app my-app

Евгений

@GixWay

@fix2015 на сайте https://rustycrate.ru/ есть чат, там помогут активнее

продублируй

Vitalii

@fix2015

@GixWay благодарю

Kyrylo Yakovenko

@blia

@fix2015 поставить скрипту +х?

Vladyslav Siriniok

@siriniok

з раста уже переходять на реакт і ангуляр?

strobe

@strobe

подскажите - higher kinded types в расте планируют добавить, или уже известно что не будет?

Андрей Листочкин (Andrey Listochkin)

@listochkin

@strobe хотят сделать, обсуждают как и при этом не торопятся. Вот тут можно следить: rust-lang/rfcs#324

Where communities thrive

People

Repo info

Activity