Хотя раньше вроде натыкался

А, нашёл, Nat жеж

посоны

го кто нибудь из вас сделает лисп

на расте

го

уже сделали

минималистичный язык

уже сделали

сириусли?

=> crates.io

https://github.com/JunSuzukiJapan/macro-lisp

https://crates.io/crates/lisp ЛОЛ

а, фигня

https://news.ycombinator.com/item?id=15293578

https://github.com/JunSuzukiJapan/macro-lisp

блэт

моя жизнь уже не будет прежней)

аррр

что эта скотина от меня хочет error[E0277]: the trait bound `Category<'_>: diesel::Queryable<(diesel::types::Integer, diesel::types::Text, diesel::types::Text, diesel::types::Text, diesel::types::Text, diesel::types::Nullable<diesel::types::Timestamp>, diesel::types::Nullable<diesel::types::Timestamp>), _>` is not satisfied --> src/main.rs:214:10 | 214 | .load::<Category>(&connection) | ^^^^ the trait `diesel::Queryable<(diesel::types::Integer, diesel::types::Text, diesel::types::Text, diesel::types::Text, diesel::types::Text, diesel::types::Nullable<diesel::types::Timestamp>, diesel::types::Nullable<diesel::types::Timestamp>), _>` is not implemented for `Category<'_>`

я понимаю что какой-то имплементации не хватает, но КАКОЙ

Queryable

ну сделано вот так

#[derive(Queryable)] // #[table_name = "categories"] pub struct Category { pub cat_id: i32, pub username: String, pub cat: String, pub reference: String, pub part: String, pub created_at: Option<NaiveDateTime>, pub updated_at: Option<NaiveDateTime>, }

https://github.com/rust-lang/rust/blob/master/src/librand/isaac.rs /// The ISAAC algorithm is generally accepted as suitable for /// cryptographic purposes, but this implementation has not be /// verified as such. Prefer a generator like `OsRng` that defers to /// the operating system for cases that need high security. а есть проверенный isaac генератор? а как мне самому проверить если нет? что тут имеется в виду под 'has not be verified as such'?

мне кажется использование енумерации в std вместо примитива упростит компилятор и логичнее для пользователя

тебе кажется

ИМХО, в расте это наследие из других языков

нет нужды

На самом деле это стремно было бы, еслиб был встроенный энам

встроенный в компилятор а не в стд либу

1 == 1 = Bool::True

ну он в стд либе и должен быть

pub use Bool::*

И вот они в топлевеле

ну он в стд либе и должен быть

Так про это и говорю, что они не могут заканчиваться стд либо, ибо все ифы по сути сводятся к bool (по крайней мере так первоначально было)

pub use Bool::*

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

а насчет упрощения, то с этим enum bool нужно научить компилятор эмитить енамы с размером в 1 бит

bool все равно байт занимает, не?

в llvm он эмитится как i1

покрайней мере так было до мира

Но занимает байт

значит можно как то пачку булов сделать? ))

ну блин тут зависит от бэкенда

значит можно как то пачку булов сделать? ))

низя

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

Всё на енамах

жиза

Имхо бул это по сути некая утилитарная вещь, с системой типов раста, ты работаешь с чем-то типа Option вместо

А вообще идея все примитивные типы выкинуть была бы крутой

еслиб прям все

i32 = I<32>

Int<32> тогда уж

ну пусть так х)

И тогда лучше вместо Int<32> Int<4>,

ну тут хз что лучше

Было бы круто, размеры в битах это по сути архаизм

мне бы вообще было бы лучше Int<128,256> например

Было бы круто, размеры в битах это по сути архаизм

а зачем его изначально вводили?

в пределах 128 256 чтоб был

а с битами можно вообще оставить только Int () = Int<0> bool = Int<1>

x)

а зачем его изначально вводили?

потому что минимальная единица измерения в программировании бит

и например в том же ллвм есть типы i1

+ это в первую очередь ориентировалось как платформонезависимая по размеру фигня

Ну маппить типы раста на типы LLVM напрямую — именно та ошибка, которую сделал Керниганн с Ритчи при проектировании Си

Архаизмы PDP-11 живы до сих пор

да никто не мапил

Вообще все эти штуки довольно спорные

хз будь тут бул на енамах

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

я б раст вообще посчитал каким-то гавном

+

Да-да, в этом проблема

я б раст вообще посчитал каким-то гавном

Крестовики бы ничего не поняли и начали бы орать про оверхэд хд

Я б первый орал

Жаваскриптчиков вообще хватил бы удар — у них чем больше типов — тем медленнее код

А тут базовые примитывы в stdlib

енамами

Уххх

Универсальность типов - это суперудобно для тех кто уже знаком с этим. Но блин это так "не канонично" после сишки

даже паскаль для меня был говном изза такой хуйни х)

я считал, что проверка границ "по дефолту" - говно х)