build site

uiua-lang · Jun 21, 2024 · 9201f62 · 9201f62
1 parent bf3e51a
commit 9201f62
Show file tree

Hide file tree

Showing 64 changed files with 7,512 additions and 6 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,8 +1,6 @@
 .vscode
 .idea
 /target
-/docs
-/site/blog/*.html
 site/dist
 /uiua-modules
 

diff --git a/Cargo.toml b/Cargo.toml
@@ -147,3 +147,6 @@ members = ["site", "tests_ffi"]
 
 [profile.dev]
 incremental = true
+
+[profile.release]
+opt-level = 's'
diff --git a/docs/404.html b/docs/404.html
@@ -0,0 +1,43 @@
+<!DOCTYPE html>
+<html>
+
+<head>
+ <meta charset="utf-8">
+ <title>Uiua</title>
+ <script type="text/javascript">
+ // Single Page Apps for GitHub Pages
+ // MIT License
+ // https://github.com/rafgraph/spa-github-pages
+ // This script takes the current url and converts the path and query
+ // string into just a query string, and then redirects the browser
+ // to the new url with only a query string and hash fragment,
+ // e.g. https://www.foo.tld/one/two?a=b&c=d#qwe, becomes
+ // https://www.foo.tld/?/one/two&a=b~and~c=d#qwe
+ // Note: this 404.html file must be at least 512 bytes for it to work
+ // with Internet Explorer (it is currently > 512 bytes)
+
+ // If you're creating a Project Pages site and NOT using a custom domain,
+ // then set pathSegmentsToKeep to 1 (enterprise users may need to set it to > 1).
+ // This way the code will only replace the route part of the path, and not
+ // the real directory in which the app resides, for example:
+ // https://username.github.io/repo-name/one/two?a=b&c=d#qwe becomes
+ // https://username.github.io/repo-name/?/one/two&a=b~and~c=d#qwe
+ // Otherwise, leave pathSegmentsToKeep as 0.
+ var pathSegmentsToKeep = 0;
+
+ var l = window.location;
+ l.replace(
+ l.protocol + '//' + l.hostname + (l.port ? ':' + l.port : '') +
+ l.pathname.split('/').slice(0, 1 + pathSegmentsToKeep).join('/') + '/?/' +
+ l.pathname.slice(1).split('/').slice(pathSegmentsToKeep).join('/').replace(/&/g, '~and~') +
+ (l.search ? '&' + l.search.slice(1).replace(/&/g, '~and~') : '') +
+ l.hash
+ );
+
+ </script>
+</head>
+
+<body>
+</body>
+
+</html>
diff --git a/docs/CNAME b/docs/CNAME
@@ -0,0 +1 @@
+www.uiua.org
diff --git a/docs/DejaVuSansMono.ttf b/docs/DejaVuSansMono.ttf
diff --git a/docs/Uiua386.ttf b/docs/Uiua386.ttf
diff --git a/docs/assets/ooh-ee-ooh-ah.mp3 b/docs/assets/ooh-ee-ooh-ah.mp3
diff --git a/docs/assets/uiua-crayon.jpg b/docs/assets/uiua-crayon.jpg
diff --git a/docs/assets/uiua-logo-pride.png b/docs/assets/uiua-logo-pride.png
diff --git a/docs/assets/uiua-logo-scrambledine.png b/docs/assets/uiua-logo-scrambledine.png
diff --git a/docs/assets/uiua-logo.png b/docs/assets/uiua-logo.png
diff --git a/docs/assets/uiua-logo.svg b/docs/assets/uiua-logo.svg
diff --git a/docs/assets/wee-wah.mp3 b/docs/assets/wee-wah.mp3
diff --git a/docs/assets/wee-wuh.mp3 b/docs/assets/wee-wuh.mp3
diff --git a/docs/assets/you-dont.png b/docs/assets/you-dont.png
diff --git a/docs/blog/second-class-functions-html.html b/docs/blog/second-class-functions-html.html
@@ -0,0 +1,11 @@
+<!DOCTYPE html><html><head>
+ <meta charset="utf-8">
+ <meta name="viewport" content="width=device-width, initial-scale=1">
+ <link rel="stylesheet" href="https://uiua.org/styles.css">
+ </head><body><div id=top><p><a href="https://uiua.org" data-title=>Uiua</a></p><p><a href="https://uiua.org/blog" data-title=>Blog Home</a></p><h1 id="why-doesn't-uiua-have-first-class-functions?">Why doesn't Uiua have first-class functions?</h1><p><strong>You can read this post with full editor features <a href="https://uiua.org/blog/second-class-functions" data-title=>here</a>.</strong></p><p>2023-12-15</p><hr/><p>People often ask why Uiua doesn't have first-class functions. That is, functions that can be put on the stack and in arrays.</p><p>In the beginning, functions <em>were</em> normal array elements. Modifiers popped their functions from the stack like regular values. Functions could be put in arrays, and lists of functions even had some special uses. There was a <code>! call</code> function which called the top function on the stack. Boxes were not even a dedicated type. They were just functions that took no arguments and returned a single value.</p><p>However, as Uiua's development continued, the language began to rely more and more on stack signatures being well-defined. This property catches errors early, enables some optimizations, and allows modifiers to behave differently depending on their function's siganture. That last point lets us avoid having multiple modifiers that work the same way but on different numbers of arguments. For example, <a href="https://factorcode.org/" data-title=>Factor</a> has the words <code>bi</code>, <code>2bi</code>, <code>3bi</code>, <code>tri</code>, <code>2tri</code>, and <code>3tri</code>. Uiua can express all of these and more with just <a 
+ href="https://uiua.org/docs/fork" 
+ data-title="Call two functions on the same values"
+ class="prim_code_a"
+ style="text-decoration: none;">
+ <code><span class="prim-glyph code-font dyadic-modifier">⊃</span> fork</code>
+ </a>.</p><p>Unfortunately, having first-class functions was at odds with this design. Because functions could be put into arrays and (conditionally) moved around on the stack, the compiler was not able to determine the signature of a function that called a function value. This meant that anywhere the <code>! call</code> function was used needed a signature annotation nearby, which you better hope was correct, or the code would break somewhere else. It also incurred additional interpreter overhead to get the functions from arrays and made certain types of optimizations impossible.</p><p>Other than these design and implementation concerns, the ability to move functions around on the stack made code much harder to read when it was used. You had to keep in your mind not only the values, but the functions that worked on them as well. They were another value you had to deal with, and the related stack manipulation could get quite messy.</p><p>And so I settled on a different approach. Functions were removed as an element type and were put elsewhere in the interpreter. Boxes became a type in their own right. The <code>! call</code> function was removed, and <code>!</code> was repurposed to be part of defining custom modifiers. <a href="/docs/custommodifiers" data-title=>Custom modifiers</a> capture the primary use case of first-class functions: injecting some variable code into a function. While they are technically more limited, their uniform structure makes them easier to both read and write. This change also massively simplified the interpreter, as well as the complexity of the language itself.</p><p>Despite the downgrading of functions to second-class status, it should be noted that I do like functional programming languages. I just don't think that first-class functions are a good fit for Uiua. In practice, first-class functions are mostly unnecessary if you have higher-order functions, which array languages have had for decades. APL's operators, J's adverbs and conjunctions, and BQN and Uiua's modifiers are all versions of higher-order functions. They allow the mapping, reduction, and general transformation of data in the same way that first-class functions do in other languages.</p><p>Now if only I could find a way to get rid of boxes...</p></div></body></html>
diff --git a/docs/blog/second-class-functions-text.md b/docs/blog/second-class-functions-text.md
@@ -0,0 +1,21 @@
+# Why doesn't Uiua have first-class functions?
+
+2023-12-15
+
+---
+
+People often ask why Uiua doesn't have first-class functions. That is, functions that can be put on the stack and in arrays.
+
+In the beginning, functions *were* normal array elements. Modifiers popped their functions from the stack like regular values. Functions could be put in arrays, and lists of functions even had some special uses. There was a `! call` function which called the top function on the stack. Boxes were not even a dedicated type. They were just functions that took no arguments and returned a single value.
+
+However, as Uiua's development continued, the language began to rely more and more on stack signatures being well-defined. This property catches errors early, enables some optimizations, and allows modifiers to behave differently depending on their function's siganture. That last point lets us avoid having multiple modifiers that work the same way but on different numbers of arguments. For example, [Factor](https://factorcode.org/) has the words `bi`, `2bi`, `3bi`, `tri`, `2tri`, and `3tri`. Uiua can express all of these and more with just [fork]().
+
+Unfortunately, having first-class functions was at odds with this design. Because functions could be put into arrays and (conditionally) moved around on the stack, the compiler was not able to determine the signature of a function that called a function value. This meant that anywhere the `! call` function was used needed a signature annotation nearby, which you better hope was correct, or the code would break somewhere else. It also incurred additional interpreter overhead to get the functions from arrays and made certain types of optimizations impossible.
+
+Other than these design and implementation concerns, the ability to move functions around on the stack made code much harder to read when it was used. You had to keep in your mind not only the values, but the functions that worked on them as well. They were another value you had to deal with, and the related stack manipulation could get quite messy.
+
+And so I settled on a different approach. Functions were removed as an element type and were put elsewhere in the interpreter. Boxes became a type in their own right. The `! call` function was removed, and `!` was repurposed to be part of defining custom modifiers. [Custom modifiers](/docs/custommodifiers) capture the primary use case of first-class functions: injecting some variable code into a function. While they are technically more limited, their uniform structure makes them easier to both read and write. This change also massively simplified the interpreter, as well as the complexity of the language itself.
+
+Despite the downgrading of functions to second-class status, it should be noted that I do like functional programming languages. I just don't think that first-class functions are a good fit for Uiua. In practice, first-class functions are mostly unnecessary if you have higher-order functions, which array languages have had for decades. APL's operators, J's adverbs and conjunctions, and BQN and Uiua's modifiers are all versions of higher-order functions. They allow the mapping, reduction, and general transformation of data in the same way that first-class functions do in other languages.
+
+Now if only I could find a way to get rid of boxes...