From bb912b081ed339e4a5419bd3d2ffd7465f2f72d3 Mon Sep 17 00:00:00 2001 From: nodist Date: Mon, 27 Jul 2026 17:17:56 -0400 Subject: bottom up redesign --- docs/language/ownership.md | 44 -------------------------------------------- 1 file changed, 44 deletions(-) delete mode 100644 docs/language/ownership.md (limited to 'docs/language/ownership.md') diff --git a/docs/language/ownership.md b/docs/language/ownership.md deleted file mode 100644 index 26eebe1..0000000 --- a/docs/language/ownership.md +++ /dev/null @@ -1,44 +0,0 @@ -# Ownership - ---- - -# Copying - -## Assignment - -# Moving - -## Assignment is not allowed for movable types that are not shared - -## To And From Functions - -# Passing - -## References - -References are automatically taken if the function signature specifies ref - -```text -int_array : Array[I64] $ () -float_array : Array[F64] $ () -@ 0 .. 2 {[x] - ([%ref x; y] x `push y + 1) `sync (int_array, x) - ([%ref x; y] x `push y + 1) `sync (float_array, F64 $ x) -} -`log int_array // Array[I64] $ (1; 2; 3) -`log float_array // Array[F64] $ (1.0; 2.0; 3.0) -``` - -#### Functions that take references cannot be called with ``async` - -# Shared Types - -# Locking - -Prevent modification until a mutation occurs - -## References - -# Mutating - -Unlock a lock or shared target and prevents modification to everything except the lock target -- cgit v1.2.3