Представь, что Option — это коллекция, в которой может быть либо 0, либо 1 элемент)

Undefined behavior and unsafe code guidelines https://www.ralfj.de/blog/2017/07/14/undefined-behavior.html

https://users.rust-lang.org/t/cute-python-like-comprehensions/11895

гадость

https://users.rust-lang.org/t/cute-python-like-comprehensions/11895

Отличная штука 👍

comp-rs/README.md at master · goandylok/comp-rs https://github.com/goandylok/comp-rs/blob/master/README.md

Отличная штука 👍

вот этот вот скаловский let _ <- ... меня раздражает

https://github.com/tomaka/rouille

Симпатичный

но запускает по процессу на соединение

(

Еще один недопиленный микрофреймворк

но запускает по процессу на соединение

Прям по процессу? Оо

Прям по процессу? Оо

(

Если верить докам

Упрт

https://github.com/tomaka/rouille

Наканецта ещё один фреймворк, так жс победим!

Это старый

Так, а новые есть?

вот новый наверное https://github.com/ubnt-intrepid/susanoo/

вот новый наверное https://github.com/ubnt-intrepid/susanoo/

Ееееееее, наканецта!

Правда ему уже третья неделя пошла

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

В коммьюнити не поймут, уважать не будут

господа, а кто-нибудь пользовался IPFS? может, есть API к нему уже готовый на rust?

ой я с ним играться буду скоро

https://github.com/rschulman/rust-ipfs-api https://github.com/dignifiedquire/rust-ipfs-api если погуглить то вот нашел

вот первое я тоже нашел и взгрустнул

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

го сами продолжим 😈

в таком случае первый выглядит намного лучше)

парни, а можно как-то из https://docs.serde.rs/syn/enum.Ty.html узнать размер типа?

Это узнает размер самого Ty, а не типа который он представляет

парни, а можно как-то из https://docs.serde.rs/syn/enum.Ty.html узнать размер типа?

Вполне возможно что никак, на сколько я понимаю Син работает с синтаксическим деревом, там нет таких понятий как размер типа

Да, так и есть. я просто создал таблицу стандартных и атрибут для кастомных

смотрит на объявления локальных пременных и их размеры

в Rust есть один unsized тип — [T], но его размер всегда точно известен в runtime

это зависит от реализации, когда как удобнее. я незнаю как в rustc

можно, очень просто

также как и остальные, только размер не захардкоженый

в Rust есть один unsized тип — [T], но его размер всегда точно известен в runtime

а, ещё str

можно, очень просто

но rustc всёравно не разрешает

https://doc.rust-lang.org/book/first-edition/unsized-types.html

Интересно, по какому принципу тут отсортированы языки? Вроде как по скорости, но свифт в среднем быстрее джабки, а стоит левее

у свифта сверху какая-то непонятная штука. может из-за неё

у свифта сверху какая-то непонятная штука. может из-за неё

У плюсов тоже

у свифта сверху какая-то непонятная штука. может из-за неё

Это fastest program time по идее

у свифта сверху какая-то непонятная штука. может из-за неё

just a random statistical outliers

объясните сишнику что такое зависимые типы и зачем они мне нужны пж

объясните сишнику что такое зависимые типы и зачем они мне нужны пж

я смотрю тут есть люди которые в этих вещях разбираются

dependent types ?

да

а вообще

объясните сишнику что такое зависимые типы и зачем они мне нужны пж

Могу слабо объяснить - можно задавать типы которые верны только если соблюдается какое-то логическое выражение от значений, это позволяет (в теории) большее количество инвариантов программы засунуть в них и быть уверенным (в теории и если тебе тайпчекер вывел эти типы а не завис) что эти инварианты выполняются. Типа тип tuple в котором всегда первый элемент меньше второго.

Но я не видел чтобы это на практике применялось и не интересовался

ясно

можно туториалы по Idris почитать

там вроде все разьяснено

Почему в мэйнстрим ЯП не включат эти зависимые типы?

Почему в мэйнстрим ЯП не включат эти зависимые типы?

хотят, и даже по частям включают, но это не так просто

в сях вообще невозможно )

в сях вообще невозможно )

Для си есть статические анализаторы

эмм, это не то

Почему с типчиками так много носятся если в итоге они снижают скорость разработки? 🤔

эмм, это не то

Понятно что си это RAM-машина, там сложно

Но можно ограничить множество допустимых операций

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

у свифта сверху какая-то непонятная штука. может из-за неё

Это усы, означают размах данных

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

ну в тайп чекерах тоже кучи эвристик (стратегий доказательств), то что реализовано через эвристики не означает что под этим всем не взяты строгие аксиомы вывода типов

самый примитивный варант с зав типами (на скалке ибо идрис не знаю) trait T { type Out def v: Out } def f(t: T): t.Out = { t.v } val t1 = new T{ type Out = Int override val v: Int = 42 } val t2 = new T{ type Out = String override val v: String = "42" } f(t1) //42: t1.Out f(t2) //"42": t2.Out тип результата зависит от переменной (т.е. возникает связь между переменной с конкретным физическим значением и типом, который существует только в компиляции)

в сях вообще невозможно )

ну можно хотябы формально верифицировать https://wiki.sel4.systems/FrequentlyAskedQuestions#What_does_seL4.27s_formal_verification_mean.3F

Си можно тоже моделировать аксиоматически, как RAM-машину у которой осуществляется переход между состояниями s -> s' = f(s) где f это наша программа, а s это вся память, но размерность большая и поэтому не работают практические реализации, приходится сильно упрощать

Которые NASA использует https://www.google.com/search?q=nasa+static+c+analysis&oq=nasa+static+c+analysis например coverity

ну можно хотябы формально верифицировать https://wiki.sel4.systems/FrequentlyAskedQuestions#What_does_seL4.27s_formal_verification_mean.3F

ой да бросьте! каст в void *, и понеслась)

В наса верифицируют

чтобы это верифицировать, касты должны быть выкинуты

Верно, там заставляют пруфать что все функции тотальные, завершаются за ограниченное время

Coverity сейчас вроде как самый серьёзный

https://scan.coverity.com/