Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Read CSV Files Using Polars in Rust
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Tips and Traps¶
LazyCsvReader is more limited compared to CsvReader. CsvReader support specifying schema while LazyCsvReader does not.
An empty filed is parsed as
null
instead of an empty string by default. And there is no way to change this behavior at this time. Please refer to this issue
Memory Layout of Enum in Rust
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Tips & Traps¶
The closest thing to describe Rust Enum is tagged Union. The Rust compiler adds an extra (up to) 8 bytes to the enum to store the discriminator. This is used to identify the variant currently stored in the enum. However, Rust does NOT guarantee that the memory layout of an enum is always a tag followed by a union. Instead, the Rust compiler retains the freedom to optimize the layout of types so that the code can be more memory efficient.
Polyglot Runtimes
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
WebAssembly
MetaCall
OpenFaaS
Tips on MetaCall
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Google Summer of Code 2021: Implementing a WebAssembly Loader for MetaCall
Google Summer of Code 2021: Development of Jupyter Kernel for MetaCall
Verify Rust Code
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Easily verify your Rust in CI with Kani and Github Actions
From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework