thảo luận Nhật kí tự học lập trình Rust - phát triển ứng dụng Desktop (Both CLI + GUI)

duykhanh471 đã nói:

Chắc kệ mấy ông đó thôi bác, Thread này là nhật kí tự học chứ cũng không phải là bàn ưu nhược điểm của một ngôn ngữ. Chủ yếu là làm được sản phẩm gì chứ mấy ổng cũng toàn chửi qua chửi lại nhìn mắc mệt

Nhấp để mở rộng...

• organize-cli (https://codeberg.org/duykhanh471/organize-cli) (Phần mềm này có thể coi là bản Rust hóa của bản GitHub - manrajgrover/organize-cli: Organize your files, imagine cleaning up your downloads in an instant (https://github.com/ManrajGrover/organize-cli))
• tranggen-rs (https://codeberg.org/duykhanh471/tranggen-rs) (static site generator)

• organize-cli vẫn chưa hỗ trợ lọc tệp theo kiểu tệp, ngày giờ như bản viết bằng JS của nó.
• tranggen-rs vẫn chưa hỗ trợ được serve (live server) và build file vẫn chưa tự động cập nhật internal links như của markdown và chưa tự động chuyển hình ảnh và các thứ khác sang thư mục build - sẽ cập nhật tiếp.

• Với các function trả về Result thì mọi người thực hiện test sao ạ? Mình thì tính test là .is_ok() rồi chạy hiện kết quả chương trình.
• Với chương trình organize-cli, mình tin là có thể tối ưu thêm rất nhiều xử lý số lượng tệp lớn. Ví dụ như dùng giữa String và str (Mình vẫn đang gặp vấn đề về lifetime). Nếu được mình có thể xin nhận xét code từ các bác được không? Mình cảm ơn trước ạ

duykhanh471 đã nói:

Cập nhật ngày 9/8

Đã viết xong organize-cli (Mất hẳn một ngày để nhận ra lỗi sai của mình) và cập nhật thêm cho tranggen-rs (Tạo static page).

Đường dẫn

• organize-cli (https://codeberg.org/duykhanh471/organize-cli) (Phần mềm này có thể coi là bản Rust hóa của bản GitHub - manrajgrover/organize-cli: Organize your files, imagine cleaning up your downloads in an instant (https://github.com/ManrajGrover/organize-cli))
• tranggen-rs (https://codeberg.org/duykhanh471/tranggen-rs) (static site generator)

Vấn đề

• organize-cli vẫn chưa hỗ trợ lọc tệp theo kiểu tệp, ngày giờ như bản viết bằng JS của nó.
• tranggen-rs vẫn chưa hỗ trợ được serve (live server) và build file vẫn chưa tự động cập nhật internal links như của markdown và chưa tự động chuyển hình ảnh và các thứ khác sang thư mục build - sẽ cập nhật tiếp.

Một lỗi khá khó hiểu (trong tranggen-rs), hoặc do mình đần là mình không thể chạy config cho tệp .toml dù đã làm theo hướng dẫn và thậm chí kiểm tra thêm

Một số vấn đề khác muốn tham khảo ý kiến từ các bác, xin phép tag các bác ạ và cảm ơn các bác trước: @Konstante, @small-lambda, @dtb11288

• Với các function trả về Result thì mọi người thực hiện test sao ạ? Mình thì tính test là .is_ok() rồi chạy hiện kết quả chương trình.
• Với chương trình organize-cli, mình tin là có thể tối ưu thêm rất nhiều xử lý số lượng tệp lớn. Ví dụ như dùng giữa String và str (Mình vẫn đang gặp vấn đề về lifetime). Nếu được mình có thể xin nhận xét code từ các bác được không? Mình cảm ơn trước ạ

Nhấp để mở rộng...

dtb11288 đã nói:

theo ý của mình thì tùy vào mục đích của bạn mà mình viết test thôi, nếu bạn chỉ quan tâm hàm ko phát sinh lỗi thì cứ assert!(a.is_ok()) hoặc cứ unwrap thôi, test mà, bận tâm gì đâu, còn nếu muốn ra kết quả chính xác thì unwrap rồi assert hoặc matching assert_eq(result, Ok(abc))

Nhấp để mở rộng...

dtb11288 đã nói:

còn cái organize kia thì theo ngu ý của mình, bạn build trước cái đống desination path trước, đặt trong 1 cái HashMap<FileType, String> (String hay PathBuf) gì đó, rồi bạn chỉ cần get(&AUDIO).unwrap(), kiểu vậy, đỡ phải gọi lại hàm set_dst mỗi file

Nhấp để mở rộng...

duykhanh471 đã nói:

Nhưng giả sử function của mình thực hiện tạo file và không trả về kết quả. nó chỉ kiểu Result<(), std::io:Error> thì mình muốn kiểm tra xem tệp mình tạo đã chính xác chưa kể cả khi trả về Ok(()) thì thường trong trường hợp đó bạn xử lý thế nào

Nhấp để mở rộng...

duykhanh471 đã nói:

Nhưng giả sử function của mình thực hiện tạo file và không trả về kết quả. nó chỉ kiểu Result<(), std::io:Error> thì mình muốn kiểm tra xem tệp mình tạo đã chính xác chưa kể cả khi trả về Ok(()) thì thường trong trường hợp đó bạn xử lý thế nào

Mình chưa thử cái này bao giờ, để mình đọc lại xem

Nhấp để mở rộng...

File in std::fs - Rust

An object providing access to an open file on the filesystem.

doc.rust-lang.org

Maxxxx đã nói:

Hóng, cũng mới học Rust vài ngày. Thấy chỗ Option<T> này hay ho, giống Maybe trong TY

Nhấp để mở rộng...

duykhanh471 đã nói:

T mất gần 1 tháng rưỡi để ngấm được đến chương 15 của The Book, thấy mình thất bại v. Phải mất một thời gian dài mới hiểu được một chút á bác.

Nghịch lâu rồi nhưng chưa dùng Generic bao giờ T_T, mới nghịch đến Trait với impl cho các Struct khác nhau. Mà Option<T> ý bác là sao, ý là chỉ dừng lại ở kết quả trả về hay bác còn làm những kiểu impl phức tạp hơn ) newbie rust nên bác gạch đá các thứ oke nha

Nhấp để mở rộng...

match s.pop() {
  None -> println!("None")
  Some(x) -> println("Handle {x}")
}

Maxxxx đã nói:

Mình cũng newbie rust.
Chỗ Option<T>, mình thấy hay là nó giúp mình có thể xử lý những trường hợp mà giá trị của nó có thể là null (nil). Ví dụ mình có 1 stack s của các giá trị integer, khi stack rỗng, thì s.pop() sẽ không có giá trị.

C-like:

match s.pop() {
  None -> println!("None")
  Some(x) -> println("Handle {x}")
}

Ref: std::option - Rust (https://doc.rust-lang.org/std/option/index.html)

Nhấp để mở rộng...

I will get down-vote for sure but it's trivial this book and also the series "category theory for programmers". It's actually not very far from the content of several first pages of any book on set theory or logics.
I find the ubiquitous idea is that "category theory" is more prestigous than "set theory", and some programmers, instead of seriously learning mathematics, think that learning category theory would fill up their lack of knowledge (in mathematics). It's quite contrary since category theory alone (i.e. without context) is trivial.

Let's be honest: read this book and the series of the author, and try to use the acquired knowledge to prove some (even simple) mathematical theorems.

Nhấp để mở rộng...

and some programmers, instead of seriously learning mathematics, think that learning category theory would fill up their lack of knowledge (in mathematics). It's quite contrary since category theory alone (i.e. without context) is trivial.

Nhấp để mở rộng...

High applauds for this part.

Category Theory, by design, attempts to be more general, more basic and more abstract.

1. You cannot learn the more abstract stuff first. You have to learn the special cases first- i.e. Calculus, Set Theory, Analysis, etc. You do not start studying Physics with General Relaitivity or Quantum Mechanics because they are more general. You learn them after long years of studuying special Physics of fluid motion, Newton's Law. One should not think that one can simply get a "shortcut" to the most general thing there is, without learning the special cases.

2. A lot of more general sciences are indeed special cases. When you are asked to find the set of points in a certain domain where the derivative of a function cannot be found, you are not actually doing Set Theory. You are doing Calculus.

I believe that the notion one can learn the abstract cases just by studying the abstract science is laughably wrong. They better study Theology. Shouting out "Monad is a monoid in a category of endofunctors" doesn’t teach you Math.

However, let me end this comment and rant with a book suggestion.

Please read "Seven Sketches of Composionality" if are looking for books to learn Category Theory.

Nhấp để mở rộng...

Con Heo Không Mập đã nói:

Topic hay, chấm hóng, mới bắt đầu nhảy vào Rust mấy ngày gần đây do nghỉ lễ ngồi xem vid của Primeagen quá nhiều. Lội voz không thấy nhiều thread bàn về Rust nên còm phát đá thớt. Bác chủ thớt hay chuyển thread này qua thành kiểu hội anh em Rust đi bác .

Nhấp để mở rộng...

mr.fly1112 đã nói:

Năm nay ổng chuyển qua code Golang rồi đấy thím. Kêu là muốn đổi gió.

Nhấp để mở rộng...

duykhanh471 đã nói:

Cập nhật ngày 9/8

Đã viết xong organize-cli (Mất hẳn một ngày để nhận ra lỗi sai của mình) và cập nhật thêm cho tranggen-rs (Tạo static page).

Đường dẫn

• organize-cli (https://codeberg.org/duykhanh471/organize-cli) (Phần mềm này có thể coi là bản Rust hóa của bản GitHub - manrajgrover/organize-cli: Organize your files, imagine cleaning up your downloads in an instant (https://github.com/ManrajGrover/organize-cli))
• tranggen-rs (https://codeberg.org/duykhanh471/tranggen-rs) (static site generator)

Vấn đề

• organize-cli vẫn chưa hỗ trợ lọc tệp theo kiểu tệp, ngày giờ như bản viết bằng JS của nó.
• tranggen-rs vẫn chưa hỗ trợ được serve (live server) và build file vẫn chưa tự động cập nhật internal links như của markdown và chưa tự động chuyển hình ảnh và các thứ khác sang thư mục build - sẽ cập nhật tiếp.

Một lỗi khá khó hiểu (trong tranggen-rs), hoặc do mình đần là mình không thể chạy config cho tệp .toml dù đã làm theo hướng dẫn và thậm chí kiểm tra thêm

Một số vấn đề khác muốn tham khảo ý kiến từ các bác, xin phép tag các bác ạ và cảm ơn các bác trước: @Konstante, @small-lambda, @dtb11288

• Với các function trả về Result thì mọi người thực hiện test sao ạ? Mình thì tính test là .is_ok() rồi chạy hiện kết quả chương trình.
• Với chương trình organize-cli, mình tin là có thể tối ưu thêm rất nhiều xử lý số lượng tệp lớn. Ví dụ như dùng giữa String và str (Mình vẫn đang gặp vấn đề về lifetime). Nếu được mình có thể xin nhận xét code từ các bác được không? Mình cảm ơn trước ạ

Nhấp để mở rộng...

• Phần test thì phụ thuộc vào bác muốn làm gì, chứ is_ok chỉ là function hỗ trợ kiểm qua nhanh result type hay không thôi. Có thể kiểm tra exists của file đc rồi, và đặt niềm tin vào OS sẽ handle move file đúng.
• Phần code Rust thì nên làm 1 Error tổng để handle các error con của bác, dùng From trait implement cho các error mà mình muốn handle. Sau này cần thì check type Error cũng dễ. Kiểu như

pub enum MyError {
    AError(AError),
    BError(BError),
}

impl From<AError> for MyError {
    fn from(value: AError) -> Self { Self::AError(value) }
}

fn example_fn() -> Result<(), MyError> {
    let result = fn_will_raise_a_error()?;
    Ok(result)
}

drmundo đã nói:

• Phần test thì phụ thuộc vào bác muốn làm gì, chứ is_ok chỉ là function hỗ trợ kiểm qua nhanh result type hay không thôi. Có thể kiểm tra exists của file đc rồi, và đặt niềm tin vào OS sẽ handle move file đúng.
• Phần code Rust thì nên làm 1 Error tổng để handle các error con của bác, dùng From trait implement cho các error mà mình muốn handle. Sau này cần thì check type Error cũng dễ. Kiểu như

Mã:

pub enum MyError {
    AError(AError),
    BError(BError),
}

impl From<AError> for MyError {
    fn from(value: AError) -> Self { Self::AError(value) }
}

fn example_fn() -> Result<(), MyError> {
    let result = fn_will_raise_a_error()?;
    Ok(result)
}

- Về String và str, bạn nên dùng &str là tốt nhất, vụ conflict lifetime thì thường do có nhiều hơn 1 lifetime trong 1 function, fix bằng cách declare rõ ràng lifetime là được rồi.

- Tip để improve Rust code, lúc bạn declare 1 function nào đó, thì bạn cứ nghĩ là parameter đó có cần thiết phải có type đó ko? Ví dụ nếu bạn phân vân giữa String và &str -> thì bạn sẽ hỏin có thật sự cần String ko, nếu ko thì cứ dùng &str thôi. Hoặc Vec<T> và &Vec<T> thì bạn cứ nghĩ là có thật sự cần Vec<T> ko, hay mình chỉ cần đọc data -> &Vec<T> là được rồi. Từ đó các function của bạn sẽ đc tinh gọn.

Nhấp để mở rộng...

drmundo đã nói:

- Về String và str, bạn nên dùng &str là tốt nhất, vụ conflict lifetime thì thường do có nhiều hơn 1 lifetime trong 1 function, fix bằng cách declare rõ ràng lifetime là được rồi.

Nhấp để mở rộng...

drmundo đã nói:

• Phần test thì phụ thuộc vào bác muốn làm gì, chứ is_ok chỉ là function hỗ trợ kiểm qua nhanh result type hay không thôi. Có thể kiểm tra exists của file đc rồi, và đặt niềm tin vào OS sẽ handle move file đúng.

Nhấp để mở rộng...

Con Heo Không Mập đã nói:

Topic mới tạo có 1 2 tháng mà bác chủ thớt đổi ngôn ngữ rồi hả

Nhấp để mở rộng...

duykhanh471 đã nói:

Khoan đã, nó lên là String khi khả năng xử lý lifetime chứ bác, trừ khi các giá trị mình lấy vào trong một function hoặc trả ra thì mình mới để &str, còn lại luôn là String khi đóng trong Enum hoặc tạo Struct

Phần này thì mình gần đây mới học được là mọi người thường hay trả về giá trị theo kiểu Result<(), một kiểu Error bất kì tại đây

Nhấp để mở rộng...

let res: Result<(), MyError> = fn_random();
match res {
    Ok(()) => println!("Good"),
    Err(MyError:AError) => println!("Handle AError here"),
    Err(e) => println!("Unexpected Error {:?}", e),
}

// Hoặc ví dụ web app
pub enum WebAppError {
    BadRequest(String),
    InternalServerError,
}
// Send Error to CLient
match some_error {
    WebAppError::BadRequest(reason) => res.status_code(400).text(reason),
    WebAppError::InternalServerError => res.status_code(500).text("Oh no")
}