1 fix for the tests and 1 fix for the compiler.

LuxLang · Nov 20, 2024 · 233406b · 233406b
1 parent 02aa5b3
commit 233406b
Show file tree

Hide file tree

Showing 72 changed files with 813 additions and 768 deletions.
diff --git a/documentation/bookmark/ai__artificial_intelligence/application.md b/documentation/bookmark/ai__artificial_intelligence/application.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [Never Buy a Stock Photo Again: How to Create Stunning Images with Midjourney AI](https://blog.temaki.ai/how-to-create-photography-midjourney/)
 0. [Solo: Launch your website and business](https://soloist.ai/)
 0. [gencraft: The world's most powerful AI photo and art generation engine](https://gencraft.com/)
 0. [SalesGPT - Your Context-Aware AI Sales Assistant](https://github.com/filip-michalsky/SalesGPT)

diff --git a/documentation/bookmark/business/growth.md b/documentation/bookmark/business/growth.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [My 9 Favorite Growth Frameworks](https://www.elenaverna.com/p/my-9-favorite-growth-frameworks)
+
diff --git a/documentation/bookmark/compilation/target/rust.md b/documentation/bookmark/compilation/target/rust.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [Java Bindings for Rust: A Comprehensive Guide](https://akilmohideen.github.io/java-rust-bindings-manual/)
 0. [Rust compiler-as-a-library](https://xy2.dev/blog/hacking-rustc/)
 0. [Actually Portable Executables with Rust and Cosmopolitan Libc](https://ahgamut.github.io/2022/07/27/ape-rust-example/)
 0. [Rust's Rules Are Made to Be Broken](https://blog.warp.dev/rules-are-made-to-be-broken/)

diff --git a/documentation/bookmark/design/ui__user_interface/animation.md b/documentation/bookmark/design/ui__user_interface/animation.md
@@ -1,6 +1,6 @@
 # Reference
 
-0. []()
+0. [Math for Game Programmers: Fast and Funky 1D Nonlinear Transformations](https://youtu.be/mr5xkf6zSzk)
 0. [How to animate multiplayer cursors](https://liveblocks.io/blog/how-to-animate-multiplayer-cursors)
 0. [Lottie](https://lottiefiles.com/what-is-lottie)
 0. https://easings.net/

diff --git a/documentation/bookmark/design/ux__user_experience.md b/documentation/bookmark/design/ux__user_experience.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Laws of UX: a collection of best practices that designers can consider when building user interfaces](https://lawsofux.com/)
+
diff --git a/documentation/bookmark/economics/capitalism.md b/documentation/bookmark/economics/capitalism.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [The biggest problem with capitalism? Not enough capitalists](https://fortune.com/2020/11/21/capitalism-entrepreneurship-economic-inequality-us-bureaucracy/)
+
diff --git a/documentation/bookmark/falsehood.md b/documentation/bookmark/falsehood.md
@@ -1,5 +1,6 @@
 # List
 
+0. [Falsehoods Programmers believe about DOIs](https://pardalotus.tech/posts/2024-10-02-falsehoods-programmers-believe-about-dois/)
 0. [More falsehoods programmers believe about time; “wisdom of the crowd” edition](https://infiniteundo.com/post/25509354022/more-falsehoods-programmers-believe-about-time)
 0. [Falsehoods programmers believe about prices](https://gist.github.com/rgs/6509585)
 
diff --git a/documentation/bookmark/food/cooking.md b/documentation/bookmark/food/cooking.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [Cooklang – Recipe Markup Language](https://cooklang.org/)
+   0. [Why Recipe Standard is Important](https://cooklang.org/blog/04-why-recipe-standard/)
+
diff --git a/documentation/bookmark/law.md b/documentation/bookmark/law.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [PlainSite: The world's complexity in plain sight](https://www.plainsite.org/)
 0. [Even lawyers don’t like legalese](https://news.mit.edu/2023/new-study-lawyers-legalese-0529)
 0. [OpenFisca: The most widely adopted free and open-source engine to write rules as code](https://openfisca.org/en/)
 0. [Poor writing, not specialized concepts, drives processing difficulty in legal language](https://www.sciencedirect.com/science/article/pii/S0010027722000580)

diff --git a/documentation/bookmark/mathematics/number/quaternion.md b/documentation/bookmark/mathematics/number/quaternion.md
@@ -0,0 +1,5 @@
+# Reference
+
+0. [Quaternions to Homogeneous Points, Lines, and Planes](https://youtu.be/dSe7eg8Dj98)
+0. [Math in Game Development Summit: A Visual Guide to Quaternions and Dual Quaternions](https://youtu.be/en2QcehKJd8)
+
diff --git a/documentation/bookmark/open_source.md b/documentation/bookmark/open_source.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [a16z Podcast | An Open Source Business Model That Works](https://youtu.be/y93sPJ0XYKQ)
 0. [Collective Code Construction Contract](https://rfc.zeromq.org/spec/42/)
 0. [Source Code Is Not Enough: The fine print in FOSS promises](https://fuzzypixelz.com/blog/source-code-is-not-enough/)
 0. [StarTrack](https://github.com/seladb/StarTrack-js)

diff --git a/documentation/bookmark/open_source/funding.md b/documentation/bookmark/open_source/funding.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [Drips: a decentralized toolkit for rewarding open source projects within your ecosystem](https://www.drips.network/)
 0. [Sustain: Holding a space for conversations about sustaining Open Source](https://sustainoss.org/)
 0. [Awesome OSS Monetization v1.1](https://github.com/PayDevs/awesome-oss-monetization)
 0. [The Reality of Depending on True Fans](https://kk.org/thetechnium/the-reality-of/)

diff --git a/documentation/bookmark/physics.md b/documentation/bookmark/physics.md
@@ -1,4 +1,5 @@
 # Reference
 
+0. [Assumptions of Physics](https://assumptionsofphysics.org/)
 0. [Physics heresy: Projectiles don’t actually make parabolas](https://bigthink.com/starts-with-a-bang/projectiles-dont-make-parabolas/)
 
diff --git a/documentation/bookmark/science.md b/documentation/bookmark/science.md
@@ -1,5 +1,7 @@
 # Reference
 
+0. [ResearchHub](https://www.researchhub.com/)
+   0. [35 - The Network State Conference 2023 - Patrick Joyce - Research Hub](https://youtu.be/5ysl02t6l30)
 0. [Invisible College](https://invisible.college/)
 0. [Beware the Man of Many Studies: Low-quality literatures mean meta-analyses are frequently worse than single studies](https://cremieux.substack.com/p/beware-the-man-of-many-studies)
 
diff --git a/documentation/bookmark/security/privacy.md b/documentation/bookmark/security/privacy.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [Privacy4Cars](https://privacy4cars.com/)
 0. [Invidious: Invidious is an open source alternative front-end to YouTube](https://invidious.io/)
 0. [Freetube is the best way to watch YouTube: Customize YouTube to work exactly the way you want it to](https://www.popsci.com/diy/youtube-alternative-freetube/)
 0. [NO2DIGITALID](https://bigbrotherwatch.org.uk/campaigns/no2digitalid/)

diff --git a/documentation/bookmark/society/dating.md b/documentation/bookmark/society/dating.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [The Lean Dating Manifesto](https://pixelmetry.com/2019/11/29/lean-dating-manifesto/)
+
diff --git a/documentation/bookmark/type_theory/blindness.md b/documentation/bookmark/type_theory/blindness.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Algebraic blindness](https://github.com/quchen/articles/blob/master/algebraic-blindness.md)
+
diff --git a/documentation/bookmark/writing.md b/documentation/bookmark/writing.md
@@ -1,4 +1,5 @@
 # Reference
 
+0. [Chiastic structure](https://en.wikipedia.org/wiki/Chiastic_structure)
 0. [The Punctuation Guide](https://www.thepunctuationguide.com/)
 
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
@@ -120,12 +120,12 @@
 
 (.def# general
        (.is# Quality
-             0b)
+             ..universal)
        ..public)
 
 (.def# special
        (.is# Quality
-             (..not ..abstraction))
+             ..existential)
        ..public)
 
 (.def# Natural
@@ -5887,6 +5887,7 @@
       {#Left ..wrong_syntax})))
 
 (the Eval
+  ... TODO: Use the currently-commented definition.
   ... (.type# "eval")
   (type (-> ..Type ..Code
             (Meta Any))))

diff --git a/stdlib/source/library/lux/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/compiler/language/lux/analysis.lux
@@ -118,20 +118,17 @@
        ..equivalence)
 
 (template.with [<name> <tag>]
-  [(the .public <name>
-     (template.macro (<name> provenance content)
-       [{<tag> provenance content}]))]
+  [(template.the .public (<name> provenance content)
+     [{<tag> provenance content}])]
 
-  [[when ..#When]])
+  [[when @type.#When]])
 
-(the .public unit
-  (template.macro (unit provenance)
-    [{@type.#Simple provenance {@type.#Simple_Unit}}]))
+(template.the .public (unit provenance)
+  [{@type.#Simple provenance {@type.#Simple_Unit}}])
 
 (template.with [<name> <tag>]
-  [(the .public <name>
-     (template.macro (<name> provenance value)
-       [{@type.#Simple provenance {<tag> value}}]))]
+  [(template.the .public (<name> provenance value)
+     [{@type.#Simple provenance {<tag> value}}])]
 
   [[bit @type.#Simple_Bit]
    [natural @type.#Simple_Natural]
@@ -146,14 +143,13 @@
 (every .public (Reification c)
   [c (List c)])
 
-(the .public coercion
-  (template.macro (_ @ value)
-    [(|> 1
-         {@type.#Local}
-         {@type.#Variable_Reference}
-         {@type.#Reference @}
-         {@type.#Abstraction @ (list)}
-         {@type.#Application @ value})]))
+(template.the .public (coercion @ value)
+  [(|> 1
+       {@type.#Local}
+       {@type.#Variable_Reference}
+       {@type.#Reference @}
+       {@type.#Abstraction @ (list)}
+       {@type.#Application @ value})])
 
 (the .public (reified [abstraction inputs])
   (-> (Reification Term)
@@ -177,12 +173,10 @@
       [abstraction inputs])))
 
 (template.with [<name> <tag>]
-  [(the .public <name>
-     (syntax.macro (_ [provenance ?list.any
-                       content ?list.any])
-       (pure (list (` (.<| {@type.#Reference (, provenance)}
-                           <tag>
-                           (, content)))))))]
+  [(template.the .public (<name> ,provenance ,content)
+     [(.<| {@type.#Reference ,provenance}
+           <tag>
+           ,content)])]
 
   [[variable {@type.#Variable_Reference}]
    [constant {@type.#Constant_Reference}]
@@ -191,11 +185,10 @@
    [foreign  reference.foreign]])
 
 (template.with [<name> <tag>]
-  [(the .public <name>
-     (template.macro (<name> provenance content)
-       [(.<| {@type.#Complex provenance}
-             {<tag>}
-             content)]))]
+  [(template.the .public (<name> provenance content)
+     [(.<| {@type.#Complex provenance}
+           {<tag>}
+           content)])]
 
   [[variant @type.#Complex_Variant]
    [tuple   @type.#Complex_Tuple]])
@@ -327,7 +320,8 @@
 (the .public seed
   (Operation Natural)
   (function (_ lux)
-    {try.#Success [lux (its @type.#seed lux)]}))
+    {try.#Success [(revised @type.#seed ++ lux)
+                   (its @type.#seed lux)]}))
 
 (the (located provenance)
   (-> Provenance

diff --git a/stdlib/source/library/lux/compiler/language/lux/phase.lux b/stdlib/source/library/lux/compiler/language/lux/phase.lux
@@ -178,16 +178,15 @@
 
 (the .public (update transform)
   (for_any (_ state)
-    (-> (-> state state)
+    (-> (Change state)
         (Operation state Any)))
   (function (_ state)
     {try.#Success [(transform state) []]}))
 
 (the .public (localized get set transform)
   (for_any (_ state state' it)
-    (-> (-> state state') (-> state' state state) (-> state' state')
-        (-> (Operation state it)
-            (Operation state it))))
+    (-> (-> state state') (-> state' (Change state)) (Change state')
+        (Change (Operation state it))))
   (function (_ operation)
     (function (_ state)
       (let [old (get state)]
@@ -200,9 +199,8 @@
 
 (the .public (temporary transform)
   (for_any (_ state it)
-    (-> (-> state state)
-        (-> (Operation state it)
-            (Operation state it))))
+    (-> (Change state)
+        (Change (Operation state it))))
   (function (_ operation)
     (function (_ state)
       (when (operation (transform state))

diff --git a/stdlib/source/library/lux/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -341,7 +341,7 @@
       (monad.let phase.monad
         [_ (typeA.inference @type.Natural)
          @ analysis.provenance]
-        (pure (analysis.natural @ (++ (.universe#))))))]))
+        (pure (analysis.natural @ (n.% 10 (++ (.universe#)))))))]))
 
 (the when
   Handler

diff --git a/stdlib/source/library/lux/compiler/language/lux/phase/translation/js/runtime.lux b/stdlib/source/library/lux/compiler/language/lux/phase/translation/js/runtime.lux
@@ -40,12 +40,11 @@
    ["[0]" translation (.only)
     ["[0]" script]]
    [///
-    [reference
-     [register (.only Register)]]
     [meta
      [archive (.only Output Archive)
       ["[0]" registry (.only Registry)]
-      ["[0]" unit]]]]]])
+      ["[0]" unit]]]
+    ["@[0]" type (.only Register)]]]])
 
 (every .public Anchor
   [Register Text])

diff --git a/stdlib/source/library/lux/compiler/language/lux/phase/translation/lua/runtime.lux b/stdlib/source/library/lux/compiler/language/lux/phase/translation/lua/runtime.lux
@@ -37,12 +37,11 @@
    ["[0]" translation (.only)
     ["[0]" script]]
    ["//[1]" /// (.only)
-    [reference
-     [register (.only Register)]]
     [meta
      [archive (.only Output Archive)
       ["[0]" registry (.only Registry)]
-      ["[0]" unit]]]]]])
+      ["[0]" unit]]]
+    ["@[0]" type (.only Register)]]]])
 
 (every .public Anchor
   [Register Label])

diff --git a/stdlib/source/library/lux/compiler/language/lux/phase/translation/python/runtime.lux b/stdlib/source/library/lux/compiler/language/lux/phase/translation/python/runtime.lux
@@ -41,12 +41,11 @@
    ["[0]" synthesis]
    ["[1][0]" translation]
    [///
-    [reference
-     [register (.only Register)]]
     [meta
      [archive (.only Output Archive)
       ["[0]" registry (.only Registry)]
-      ["[0]" unit]]]]]])
+      ["[0]" unit]]]
+    ["@[0]" type (.only Register)]]]])
 
 (every .public Anchor
   Register)

diff --git a/stdlib/source/library/lux/compiler/language/lux/phase/translation/reference.lux b/stdlib/source/library/lux/compiler/language/lux/phase/translation/reference.lux
@@ -14,12 +14,10 @@
   ["[0]" phase (.use "[1]#[0]" monad)]
   ["[0]" translation]
   [///
-   ["[0]" reference (.only Reference)
-    [register (.only Register)]
-    ["[0]" variable (.only Variable)]]
    [meta
     [archive (.only Archive)
-     ["[0]" unit]]]]])
+     ["[0]" unit]]]
+   ["@[0]" type (.only Register Variable Reference)]]])
 
 (the .public (artifact [module artifact])
   (-> unit.ID Text)
@@ -59,19 +57,19 @@
     (-> (System expression)
         Variable expression))
   (when variable
-    {variable.#Local register}
+    {@type.#Local register}
     (..local system register)
 
-    {variable.#Foreign register}
+    {@type.#Foreign register}
     (..foreign system register)))
 
 (the .public (reference system archive reference)
   (for_any (_ anchor expression declaration)
     (-> (System expression) Archive Reference
         (translation.Operation anchor expression declaration expression)))
   (when reference
-    {reference.#Constant value}
+    {@type.#Constant_Reference value}
     (..constant system archive value)
 
-    {reference.#Variable value}
+    {@type.#Variable_Reference value}
     (phase#pure (..variable system value))))
diff --git a/stdlib/source/library/lux/compiler/language/lux/phase/translation/ruby/runtime.lux b/stdlib/source/library/lux/compiler/language/lux/phase/translation/ruby/runtime.lux
@@ -41,12 +41,11 @@
    ["[0]" translation (.only)
     ["[0]" script]]
    [///
-    [reference
-     [register (.only Register)]]
     [meta
      [archive (.only Output Archive)
       ["[0]" unit]
-      ["[0]" registry (.only Registry)]]]]]])
+      ["[0]" registry (.only Registry)]]]
+    ["@[0]" type (.only Register)]]]])
 
 (every .public Anchor
   Register)

diff --git a/stdlib/source/library/lux/data/format/json.lux b/stdlib/source/library/lux/data/format/json.lux
@@ -62,15 +62,14 @@
    [Number  Decimal]
    [String  Text]])
 
-(every .public JSON
-  (Rec JSON
-    (Variant
-     {#Null    Null}
-     {#Boolean Boolean}
-     {#Number  Number}
-     {#String  String}
-     {#Array   (List JSON)}
-     {#Object  (Dictionary String JSON)})))
+(every .public (JSON _)
+  (Variant
+   {#Null    Null}
+   {#Boolean Boolean}
+   {#Number  Number}
+   {#String  String}
+   {#Array   (List (JSON _))}
+   {#Object  (Dictionary String (JSON _))}))
 
 (template.with [<name> <type>]
   [(every .public <name>
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,4 @@
		# Reference

		0. [My 9 Favorite Growth Frameworks](https://www.elenaverna.com/p/my-9-favorite-growth-frameworks)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,4 @@
		# Reference

		0. [Laws of UX: a collection of best practices that designers can consider when building user interfaces](https://lawsofux.com/)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,4 @@
		# Reference

		0. [The biggest problem with capitalism? Not enough capitalists](https://fortune.com/2020/11/21/capitalism-entrepreneurship-economic-inequality-us-bureaucracy/)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,4 @@
		# Reference

		0. [The Lean Dating Manifesto](https://pixelmetry.com/2019/11/29/lean-dating-manifesto/)
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,4 @@
		# Reference

		0. [Algebraic blindness](https://github.com/quchen/articles/blob/master/algebraic-blindness.md)