diff --git a/404.html b/404.html index 19de1a6..a03210c 100644 --- a/404.html +++ b/404.html @@ -1,3 +1,3 @@ -404 Page not found :: nilstriebs blog

404 — Page not found...

Back to home page →
-
\ No newline at end of file +404 Page not found :: nilstriebs blog +

404 — Page not found...

Back to home page →
\ No newline at end of file diff --git a/categories/index.html b/categories/index.html index a679ecc..d646952 100644 --- a/categories/index.html +++ b/categories/index.html @@ -1,3 +1,3 @@ -Categories :: nilstriebs blog

Categories

    -
    \ No newline at end of file +Categories :: nilstriebs blog +

    Categories

      \ No newline at end of file diff --git a/index.html b/index.html index 1ca4590..ef602f2 100644 --- a/index.html +++ b/index.html @@ -1,7 +1,7 @@ -nilstriebs blog

      Item Patterns And Struct Else

      2023-03-17 -:: Nilstrieb
      #rust  -#language-design 
      Bringing more expressiveness to our items
      →

      Box Is a Unique Type

      2022-07-23 -:: Nilstrieb
      #rust  -#unsafe code 
      About better aliasing semantics for Box<T>
      →
      -
      \ No newline at end of file +nilstriebs blog +

      Item Patterns And Struct Else

      2023-03-17 +:: Nilstrieb
      #rust  +#language-design 
      Bringing more expressiveness to our items
      →

      Box Is a Unique Type

      2022-07-23 +:: Nilstrieb
      #rust  +#unsafe code 
      About better aliasing semantics for Box<T>
      →
      \ No newline at end of file diff --git a/page/1/index.html b/page/1/index.html index fec41d5..c29d4a8 100644 --- a/page/1/index.html +++ b/page/1/index.html @@ -1 +1,2 @@ -/ \ No newline at end of file +/ + \ No newline at end of file diff --git a/posts/box-is-a-unique-type/index.html b/posts/box-is-a-unique-type/index.html index a8cf790..e374b02 100644 --- a/posts/box-is-a-unique-type/index.html +++ b/posts/box-is-a-unique-type/index.html @@ -1,5 +1,6 @@ -Box Is a Unique Type :: nilstriebs blog

      Box Is a Unique Type

      2022-07-23 -:: Nilstrieb +Box Is a Unique Type :: nilstriebs blog +

      Box Is a Unique Type

      2022-07-23 +:: Nilstrieb :: 12 min read (2429 words)
      #rust  #unsafe code 

      We have all used Box<T> before in our Rust code. It’s a glorious type, with great ergonomics and flexibility. We can use it to put our values on the heap, but it can do even more @@ -132,6 +133,5 @@ are very strong, and still giving code an option to obtain these seems useful. O If that is not possible, exposing std::ptr::Unique (with it getting boxes aliasing semantics) could be desirable. For this, all existing usages of Unique inside the standard library would have to be removed. We could also offer a std::boxed::UniqueBox that keeps the current semantics, but this would also bring direct aliasing decisions more towards safe code, which I am not a huge fan of. Ownership is enough already.

      I guess what I am wishing for are some good and flexible raw pointer types. But that’s still in the stars…

      For more information about this topic, see https://github.com/rust-lang/unsafe-code-guidelines/issues/326

      Thanks to the nice people on the Rust Community Discord for their feedback on the draft of this post!

      © 2023 Powered by Hugo -:: Theme made by panr
      -
      \ No newline at end of file +Item Patterns And Struct Else
      \ No newline at end of file diff --git a/posts/index.html b/posts/index.html index 10a4c23..e04baf8 100644 --- a/posts/index.html +++ b/posts/index.html @@ -1,7 +1,7 @@ -Posts :: nilstriebs blog

      Item Patterns And Struct Else

      2023-03-17 -:: Nilstrieb
      #rust  -#language-design 
      Bringing more expressiveness to our items
      →

      Box Is a Unique Type

      2022-07-23 -:: Nilstrieb
      #rust  -#unsafe code 
      About better aliasing semantics for Box<T>
      →
      -
      \ No newline at end of file +Posts :: nilstriebs blog +

      Item Patterns And Struct Else

      2023-03-17 +:: Nilstrieb
      #rust  +#language-design 
      Bringing more expressiveness to our items
      →

      Box Is a Unique Type

      2022-07-23 +:: Nilstrieb
      #rust  +#unsafe code 
      About better aliasing semantics for Box<T>
      →
      \ No newline at end of file diff --git a/posts/item-patterns-and-struct-else/index.html b/posts/item-patterns-and-struct-else/index.html index 18c4f89..d2a1952 100644 --- a/posts/item-patterns-and-struct-else/index.html +++ b/posts/item-patterns-and-struct-else/index.html @@ -1,5 +1,6 @@ -Item Patterns And Struct Else :: nilstriebs blog

      Item Patterns And Struct Else

      2023-03-17 -:: Nilstrieb +Item Patterns And Struct Else :: nilstriebs blog +

      Item Patterns And Struct Else

      2023-03-17 +:: Nilstrieb :: 7 min read (1351 words)
      #rust  #language-design 

      Pattern matching⌗

      One of my favourite features of Rust is pattern matching. It’s a simple and elegant way to deal with not just structs, but also enums!

      enum ItemKind {
   Struct(String, Vec<Field>),
@@ -126,6 +127,5 @@ So far we’ve just used tuples. But we can go even further. Structs of stru
   compile_error!("didn't match pattern");
 };

      you’re asking yourself what you just read. meanwhile, i am asking myself what i just wrote. we are very similar.

      © 2023 Powered by Hugo -:: Theme made by panr
      -
      \ No newline at end of file +→
      \ No newline at end of file diff --git a/posts/page/1/index.html b/posts/page/1/index.html index 50a9989..387c1ac 100644 --- a/posts/page/1/index.html +++ b/posts/page/1/index.html @@ -1 +1,2 @@ -/posts/ \ No newline at end of file +/posts/ + \ No newline at end of file diff --git a/tags/index.html b/tags/index.html index b04d8ae..156eb26 100644 --- a/tags/index.html +++ b/tags/index.html @@ -1,3 +1,3 @@ -Tags :: nilstriebs blog

      Tags

      -
      \ No newline at end of file +Tags :: nilstriebs blog +

      Tags

      \ No newline at end of file diff --git a/tags/language-design/index.html b/tags/language-design/index.html index a7fbaf6..4e8b95c 100644 --- a/tags/language-design/index.html +++ b/tags/language-design/index.html @@ -1,5 +1,5 @@ -language-design :: nilstriebs blog

      Item Patterns And Struct Else

      2023-03-17 -:: Nilstrieb
      #rust  -#language-design 
      Bringing more expressiveness to our items
      →
      -
      \ No newline at end of file +language-design :: nilstriebs blog +

      Item Patterns And Struct Else

      2023-03-17 +:: Nilstrieb
      #rust  +#language-design 
      Bringing more expressiveness to our items
      →
      \ No newline at end of file diff --git a/tags/language-design/page/1/index.html b/tags/language-design/page/1/index.html index 50f584f..163fc15 100644 --- a/tags/language-design/page/1/index.html +++ b/tags/language-design/page/1/index.html @@ -1 +1,2 @@ -/tags/language-design/ \ No newline at end of file +/tags/language-design/ + \ No newline at end of file diff --git a/tags/rust/index.html b/tags/rust/index.html index 37adb56..f1c62f3 100644 --- a/tags/rust/index.html +++ b/tags/rust/index.html @@ -1,7 +1,7 @@ -rust :: nilstriebs blog

      Item Patterns And Struct Else

      2023-03-17 -:: Nilstrieb
      #rust  -#language-design 
      Bringing more expressiveness to our items
      →

      Box Is a Unique Type

      2022-07-23 -:: Nilstrieb
      #rust  -#unsafe code 
      About better aliasing semantics for Box<T>
      →
      -
      \ No newline at end of file +rust :: nilstriebs blog +

      Item Patterns And Struct Else

      2023-03-17 +:: Nilstrieb
      #rust  +#language-design 
      Bringing more expressiveness to our items
      →

      Box Is a Unique Type

      2022-07-23 +:: Nilstrieb
      #rust  +#unsafe code 
      About better aliasing semantics for Box<T>
      →
      \ No newline at end of file diff --git a/tags/rust/page/1/index.html b/tags/rust/page/1/index.html index f557f3e..c57861d 100644 --- a/tags/rust/page/1/index.html +++ b/tags/rust/page/1/index.html @@ -1 +1,2 @@ -/tags/rust/ \ No newline at end of file +/tags/rust/ + \ No newline at end of file diff --git a/tags/unsafe-code/index.html b/tags/unsafe-code/index.html index 6907769..5541e95 100644 --- a/tags/unsafe-code/index.html +++ b/tags/unsafe-code/index.html @@ -1,5 +1,5 @@ -unsafe code :: nilstriebs blog

      Box Is a Unique Type

      2022-07-23 -:: Nilstrieb
      #rust  -#unsafe code 
      About better aliasing semantics for Box<T>
      →
      -
      \ No newline at end of file +unsafe code :: nilstriebs blog +

      Box Is a Unique Type

      2022-07-23 +:: Nilstrieb
      #rust  +#unsafe code 
      About better aliasing semantics for Box<T>
      →
      \ No newline at end of file diff --git a/tags/unsafe-code/page/1/index.html b/tags/unsafe-code/page/1/index.html index ff89e7c..a5fa0a8 100644 --- a/tags/unsafe-code/page/1/index.html +++ b/tags/unsafe-code/page/1/index.html @@ -1 +1,2 @@ -/tags/unsafe-code/ \ No newline at end of file +/tags/unsafe-code/ + \ No newline at end of file