# Vale's First Prototype for Immutable Region Borrowing

**URL:** <https://ziggit.dev/t/vales-first-prototype-for-immutable-region-borrowing/1149>\
**Category:** News\
**Tags:** language\
**Created:** [July 12, 2023, 5:43am UTC](https://ziggit.dev/t/vales-first-prototype-for-immutable-region-borrowing/1149 "2023-07-12T05:43:21Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![gonzo](https://ziggit.dev/user_avatar/ziggit.dev/gonzo/32/54_2.png) [@gonzo](https://ziggit.dev/u/gonzo)\
**Post date:** [July 12, 2023, 5:43am UTC](https://ziggit.dev/t/vales-first-prototype-for-immutable-region-borrowing/1149/1 "2023-07-12T05:43:21Z")

</div>

I found this interesting in itself, although I have not tried Vale myself.

[https://verdagon.dev/blog/first-regions-prototype](https://verdagon.dev/blog/first-regions-prototype)

---

<div class="post-metadata">

**Author:** ![AndrewCodeDev](https://ziggit.dev/letter_avatar_proxy/v4/letter/a/278dde/32.png) [@AndrewCodeDev](https://ziggit.dev/u/AndrewCodeDev)\
**Post date:** [July 12, 2023, 7:38am UTC](https://ziggit.dev/t/vales-first-prototype-for-immutable-region-borrowing/1149/2 "2023-07-12T07:38:44Z")

</div>

I’m really enjoying all the experimentation with memory usage and ownership ideas that have been popping up lately. It’s going to take a lot of good ideas before anything can finally stand as a replacement to what we currently have, but some people are trying in earnest!

I’ll keep an eye on this - like the article mentioned, they need to figure out how to use inline stuff and not rely extensively on the heap, but it’s an interesting problem.

---

<div class="post-metadata">

**Author:** ![Sze](https://ziggit.dev/user_avatar/ziggit.dev/sze/32/496_2.png) [@Sze](https://ziggit.dev/u/Sze)\
**Post date:** [July 19, 2023, 5:36pm UTC](https://ziggit.dev/t/vales-first-prototype-for-immutable-region-borrowing/1149/3 "2023-07-19T17:36:16Z")

</div>

It seems interesting, so far I only took a quick glance at it.  
It reminds me a bit of the modes stuff, in these blog posts:

> **[Oxidizing OCaml: Locality](https://blog.janestreet.com/oxidizing-ocaml-locality/)**
>
> OCaml with Jane Street extensions is available from our public opam repo. Only a slice of the features described in this series are currently implemented.

> **[Oxidizing OCaml: Rust-Style Ownership](https://blog.janestreet.com/oxidizing-ocaml-ownership/)**
>
> OCaml with Jane Street extensions is available from our public opam repo. Only a slice of the features described in this series are currently implemented.

What seems nice to me, about these modes is that they are orthogonal to the types and thus the type system doesn’t become overly complex. But so far I have only observed it from the outside and not played with these ideas / experimental features. OCaml with these additions seems nicer to me than Rust, but I guess that doesn’t say a lot since I haven’t really used either of them.