------------------------------------------------------------
commit 162da88a29794c6e1c085f1c76eae3d2d6c1eaa3
Author: Breck Yunits <breck7@gmail.com>
Date: Sun Oct 20 15:16:06 2024 -1000
diff --git a/concepts/mlscript.scroll b/concepts/mlscript.scroll
new file mode 100644
index 00000000000..175fbe97b4c
--- /dev/null
+++ b/concepts/mlscript.scroll
@@ -0,0 +1,50 @@
+../code/conceptPage.scroll
+
+id mlscript
+name MLscript
+appeared 2020
+creators Luyu Cheng and Lionel Parreaux
+tags pl
+webRepl https://hkust-taco.github.io/mlscript/
+lab HKUST
+paper https://dl.acm.org/doi/pdf/10.1145/3689746
+description A step towards rethinking pattern matching to make it more powerful and natural to use.
+writtenIn scala standard-ml typescript markdown json html javascript css nix yaml make
+
+influencedBy ml ocaml haskell standard-ml scala rust
+repoStats
+ firstCommit 2020
+ newestCommit 2024
+ commits 2130
+ committers 26
+ files 826
+country China
+
+example
+ type List[A] = Cons[A] | Nil
+
+ class Cons[out A](head: A, tail: List[A]) {
+ fun map: (A -> 'B) -> List['B]
+ map(f) = Cons of f(head), tail.map(f)
+ }
+ module Nil {
+ fun map(f) = Nil
+ }
+
+ fun (::) cons(x, xs) = Cons(x, xs)
+
+ fun show(xs) =
+ let rec go(xs) = if xs is
+ Cons(h, Nil) then String(h)
+ Cons(h, t) then join(String(h), ", ", go(t))
+ Nil then ""
+ join("[", go(xs), "]")
+
+ let xs = 1 :: 2 :: 3 :: Nil
+
+ show(xs)
+
+ show(xs.map of x => succ(x))
+
+
+githubRepo https://github.com/hkust-taco/mlscript/
------------------------------------------------------------
commit e8f4d2c5ebaba6336eeff3b4fce679b1bffb6f61
Author: ffff:72.234.190.31 <ffff:72.234.190.31@pldb.io>
Date: Sun Oct 20 23:10:20 2024 +0000
Updated footer.scroll
diff --git a/footer.scroll b/footer.scroll
index 9e5393c2266..7b1e1f053a2 100644
--- a/footer.scroll
+++ b/footer.scroll
@@ -2,8 +2,6 @@ importOnly
buildHtml
buildTxt
-editLink
-
copyButtons
stumpNoSnippet
------------------------------------------------------------
commit a89e0b954df2bbef926d89b84d2f3064da3b1e6c
Author: Breck Yunits <breck7@gmail.com>
Date: Sat Oct 19 16:42:10 2024 -1000
diff --git a/lists/keywords.scroll b/lists/keywords.scroll
new file mode 100644
index 00000000000..1af9fbba85d
--- /dev/null
+++ b/lists/keywords.scroll
@@ -0,0 +1,22 @@
+replaceNodejs
+ const {Tables} = require("../Computer.js")
+ module.exports = Tables.keywordsImports
+tags All
+title List of all keywords used in all programming languages
+
+header.scroll
+printTitle
+
+container
+Here is the list of NUM_KEYWORDS keywords for the LANGS_WITH_KEYWORD_DATA languages that PLDB has that information. This list is case insensitive. Refer to the DB for case information.
+
+//
+ You can also download keywordsOneHot.csv which contains a one-hot encoding of this data.
+ link ../keywordsOneHot.csv keywordsOneHot.csv
+
+endSnippet
+
+KEYWORDS_TABLE
+
+footer.scroll
+tableSearch
\ No newline at end of file
------------------------------------------------------------
commit 6f536e0c494d7cfec6f032baec628e8362baae66
Author: Breck Yunits <breck7@gmail.com>
Date: Sat Oct 19 13:53:55 2024 -1000
diff --git a/404.scroll b/404.scroll
index b32b54db71d..b5f549181a0 100644
--- a/404.scroll
+++ b/404.scroll
@@ -1,7 +1,7 @@
buildHtml
replace BASE_URL
title Page not found
-viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=
+editBaseUrl /edit.html?folderName=pldb.io&fileName=
header.scroll
@@ -18,5 +18,5 @@ If you think there's a bug on our site, please let us know via Twitter. Thank yo
https://x.com/breckyunits please let us know via Twitter
center
-viewSourceButton
+editButton
scrollVersionLink
diff --git a/Computer.js b/Computer.js
index a850db92add..4ab95b80e56 100644
--- a/Computer.js
+++ b/Computer.js
@@ -744,10 +744,6 @@ table
${delimited}`
}
- get sourceUrl() {
- return `https://github.com/breck7/pldb/blob/main/concepts/${this.id}.scroll`
- }
-
get title() {
return this.get("name")
}
@@ -777,7 +773,7 @@ printTitle ${title}
<a class="trueBaseThemePreviousItem" href="${this.prevPage}"><</a>
<a class="trueBaseThemeNextItem" href="${this.nextPage}">></a>
-viewSourceUrl ${this.sourceUrl}
+editBaseUrl /edit.html?folderName=pldb.io&fileName=concepts/
container 800px
@@ -1486,7 +1482,7 @@ printTitle ${title}
<a class="trueBaseThemePreviousItem" href="${previous.permalink}"><</a>
<a class="trueBaseThemeNextItem" href="${next.permalink}">></a>
-viewSourceUrl https://github.com/breck7/pldb/blob/main/Computer.js
+editUrl /edit.html?folderName=pldb.io&fileName=Computer.js
container 600px
diff --git a/blog/settings.scroll b/blog/settings.scroll
index db42e0ff5ba..d494bcfa83f 100644
--- a/blog/settings.scroll
+++ b/blog/settings.scroll
@@ -2,4 +2,4 @@ importOnly
baseUrl https://pldb.io/blog/
replace BASE_URL ..
rssFeedUrl feed.xml
-viewSourceBaseUrl viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=blog/
+editBaseUrl /edit.html?folderName=pldb.io&fileName=blog/
diff --git a/books/books.scroll b/books/books.scroll
index 4c446552e58..f6536d09c71 100644
--- a/books/books.scroll
+++ b/books/books.scroll
@@ -3,7 +3,7 @@ buildConcepts books.json books.tsv books.csv
permalink index.html
replace BASE_URL ..
title Books for Programmers
-viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=books/
+editBaseUrl /edit.html?folderName=pldb.io&fileName=books/
// A ScrollSet with information on books about programming languages
diff --git a/features/settings.scroll b/features/settings.scroll
index 041d0445b46..193c6a7d7cc 100644
--- a/features/settings.scroll
+++ b/features/settings.scroll
@@ -1,4 +1,4 @@
importOnly
baseUrl https://pldb.io/features/
replace BASE_URL ..
-viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=features/
+editBaseUrl /edit.html?folderName=pldb.io&fileName=features/
diff --git a/footer.scroll b/footer.scroll
index 8f5487d1667..9e5393c2266 100644
--- a/footer.scroll
+++ b/footer.scroll
@@ -2,7 +2,7 @@ importOnly
buildHtml
buildTxt
-viewSourceLink
+editLink
copyButtons
diff --git a/header.scroll b/header.scroll
index a6798093f19..831bb656073 100644
--- a/header.scroll
+++ b/header.scroll
@@ -53,4 +53,4 @@ stumpNoSnippet
a CSV
href BASE_URL/csv.html
-viewSourceButton
+editButton
diff --git a/lists/settings.scroll b/lists/settings.scroll
index cc3683d90b8..bacba40dc54 100644
--- a/lists/settings.scroll
+++ b/lists/settings.scroll
@@ -1,3 +1,3 @@
baseUrl https://pldb.io/lists/
replace BASE_URL ..
-viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=lists/
+editBaseUrl /edit.html?folderName=pldb.io&fileName=lists/
diff --git a/package.json b/package.json
index 639b171efb3..0c9c589bfcf 100644
--- a/package.json
+++ b/package.json
@@ -42,7 +42,7 @@
"lodash": "^4.17.21",
"monaco-editor": "^0.34.1",
"numeral": "^2.0.6",
- "scroll-cli": "^142.0.1",
+ "scroll-cli": "^143.0.0",
"scrollsdk": "^87.0.0",
"semver": "^7.6.2"
},
diff --git a/pages/settings.scroll b/pages/settings.scroll
index 43743a307d5..55a85884dad 100644
--- a/pages/settings.scroll
+++ b/pages/settings.scroll
@@ -1,4 +1,4 @@
importOnly
baseUrl https://pldb.io/pages/
replace BASE_URL ..
-viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=pages/
+editBaseUrl /edit.html?folderName=pldb.io&fileName=pages/
diff --git a/rootHeader.scroll b/rootHeader.scroll
index e438850fdf7..ac31ebb6104 100644
--- a/rootHeader.scroll
+++ b/rootHeader.scroll
@@ -1,7 +1,7 @@
importOnly
replace BASE_URL .
tags All
-viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=
+editBaseUrl /edit.html?folderName=pldb.io&fileName=
// Set the base url. Without this trick, browsing the site locally would require serving it via localhost to get relative url paths to work since we reuse the header and footer in nested folders. (There could be a better way to do this.)
keyboardNav
------------------------------------------------------------
commit 8b9a1b380c9d8760311f45783bf1a79e96ff5c3c
Author: Breck Yunits <breck7@gmail.com>
Date: Sat Oct 19 12:45:08 2024 -1000
diff --git a/404.scroll b/404.scroll
index 11aedbf8348..b32b54db71d 100644
--- a/404.scroll
+++ b/404.scroll
@@ -1,7 +1,7 @@
buildHtml
replace BASE_URL
title Page not found
-viewSourceBaseUrl https://github.com/breck7/pldb/blob/main/
+viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=
header.scroll
diff --git a/blog/settings.scroll b/blog/settings.scroll
index cde2fe6091d..db42e0ff5ba 100644
--- a/blog/settings.scroll
+++ b/blog/settings.scroll
@@ -2,4 +2,4 @@ importOnly
baseUrl https://pldb.io/blog/
replace BASE_URL ..
rssFeedUrl feed.xml
-viewSourceBaseUrl https://github.com/breck7/pldb/blob/main/blog/
+viewSourceBaseUrl viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=blog/
diff --git a/books/books.scroll b/books/books.scroll
index 6b158b2faa2..4c446552e58 100644
--- a/books/books.scroll
+++ b/books/books.scroll
@@ -3,7 +3,7 @@ buildConcepts books.json books.tsv books.csv
permalink index.html
replace BASE_URL ..
title Books for Programmers
-viewSourceBaseUrl https://github.com/breck7/pldb/blob/main/books/
+viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=books/
// A ScrollSet with information on books about programming languages
diff --git a/features/settings.scroll b/features/settings.scroll
index af9a4da83e7..041d0445b46 100644
--- a/features/settings.scroll
+++ b/features/settings.scroll
@@ -1,4 +1,4 @@
importOnly
baseUrl https://pldb.io/features/
replace BASE_URL ..
-viewSourceBaseUrl https://github.com/breck7/pldb/blob/main/features/
+viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=features/
diff --git a/lists/settings.scroll b/lists/settings.scroll
index ca8c937f6fe..cc3683d90b8 100644
--- a/lists/settings.scroll
+++ b/lists/settings.scroll
@@ -1,3 +1,3 @@
baseUrl https://pldb.io/lists/
replace BASE_URL ..
-viewSourceBaseUrl https://github.com/breck7/pldb/blob/main/lists/
+viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=lists/
diff --git a/pages/settings.scroll b/pages/settings.scroll
index 7dd03ea0681..43743a307d5 100644
--- a/pages/settings.scroll
+++ b/pages/settings.scroll
@@ -1,4 +1,4 @@
importOnly
baseUrl https://pldb.io/pages/
replace BASE_URL ..
-viewSourceBaseUrl https://github.com/breck7/pldb/blob/main/pages/
+viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=pages/
diff --git a/rootHeader.scroll b/rootHeader.scroll
index 69eb520b3c2..e438850fdf7 100644
--- a/rootHeader.scroll
+++ b/rootHeader.scroll
@@ -1,7 +1,7 @@
importOnly
replace BASE_URL .
tags All
-viewSourceBaseUrl https://pldb.io/edit.html?folderName=pldb.io&fileName=
+viewSourceBaseUrl /edit.html?folderName=pldb.io&fileName=
// Set the base url. Without this trick, browsing the site locally would require serving it via localhost to get relative url paths to work since we reuse the header and footer in nested folders. (There could be a better way to do this.)
keyboardNav
------------------------------------------------------------
commit 2a91a7815bb60793fa418a7d8aa7be48e549bdc7
Author: ffff:98.97.60.63 <ffff:98.97.60.63@hub.scroll.pub>
Date: Sat Oct 19 22:28:05 2024 +0000
Updated index.scroll
diff --git a/index.scroll b/index.scroll
index 6786300edd5..6c830f38986 100644
--- a/index.scroll
+++ b/index.scroll
@@ -4,9 +4,9 @@ title PLDB: a Programming Language DataBase
rootHeader.scroll
<center>
-# %~P~rogramming ~L~anguage ~D~ata~B~ase%
+# ~P~rogramming ~L~anguage ~D~ata~B~ase
inlineMarkup ~ span style="color:black;"
- inlineMarkup % span style="color:#828282;"
+ style color:#828282;
searchForm.scroll
topLangs.scroll
------------------------------------------------------------
commit 5c48c7a3d0dc1101ab212ae9dbe389e815dcd760
Author: Lewis Pearson <hirrolot@gmail.com>
Date: Sat Oct 19 16:10:11 2024 -0400
Update `metalang99.scroll`
diff --git a/concepts/metalang99.scroll b/concepts/metalang99.scroll
index 86f48652482..5b5ca25b34b 100644
--- a/concepts/metalang99.scroll
+++ b/concepts/metalang99.scroll
@@ -3,12 +3,12 @@
id metalang99
name Metalang99
appeared 2021
-creators Tima Kinsart
+creators Lewis Pearson
tags pl
website https://metalang99.readthedocs.io/en/latest/
latestVersion v1.13.3
description Metalang99: A functional language for C99 preprocessor metaprogramming
-lab https://github.com/Hirrolot/metalang99/issues
+lab https://github.com/hirrolot/metalang99/issues
writtenIn c restructuredtext bourne-shell markdown cmake tex yaml python make
repoStats
@@ -20,7 +20,7 @@ repoStats
country Kazakhstan
reference https://reddit.com/r/ProgrammingLanguages/comments/lswnya/metalang99_a_functional_language_for_c99/
-githubRepo https://github.com/Hirrolot/metalang99
+githubRepo https://github.com/hirrolot/metalang99
firstCommit 2020
stars 840
forks 24
------------------------------------------------------------
commit 26c5226b6120fe3ab17f263958db0a302deae659
Author: Breck Yunits <breck7@gmail.com>
Date: Sat Oct 19 08:46:17 2024 -1000
diff --git a/TrueBaseTheme.css b/TrueBaseTheme.css
index 77c712b4224..233fe300ba6 100644
--- a/TrueBaseTheme.css
+++ b/TrueBaseTheme.css
@@ -63,7 +63,7 @@ body {
}
.trueBaseThemeHeader {
- margin-top: 46px; /* so that header does not overlap with source icon */
+ padding-right: 80px; /* if the width of browser is narrow, save room for view source button */
margin-bottom: 10px;
}
.trueBaseThemeHeader a {
------------------------------------------------------------
commit 16d1d58f7f44d592aa3fb71ea73fe523c755d960
Author: Breck Yunits <breck7@gmail.com>
Date: Wed Oct 16 20:39:00 2024 -0700
diff --git a/Computer.js b/Computer.js
index 02f785cc4c6..a850db92add 100644
--- a/Computer.js
+++ b/Computer.js
@@ -706,7 +706,7 @@ table
FeatureLink ${feature.titleLink}
Supported ${supported ? `<span class="hasFeature">✓</span>` : `<span class="doesNotHaveFeature">X</span>`}
Example
-Token ${supported && tokenPath ? this.get(tokenPath) ?? "" : ""}`
+Token ${supported && tokenPath ? (this.get(tokenPath) ?? "") : ""}`
)
.touchParticle("Example")
.setSubparticles(particle.subparticlesToString())
diff --git a/concepts/move.scroll b/concepts/move.scroll
new file mode 100644
index 00000000000..2889c3b07ec
--- /dev/null
+++ b/concepts/move.scroll
@@ -0,0 +1,24 @@
+../code/conceptPage.scroll
+
+id move
+name Move
+appeared 2022
+creators Sam Blackshear
+tags contractLanguage
+website https://sui.io/move
+description A blockchain-agnostic language offering significant advancements in security and productivity. Move drastically reduces the Web3 learning curve and enables a developer experience of unprecedented ease. On a computer, everything is just bits and bytes and can be freely copied. You want a language that gives you the necessary abstractions around ownership and scarcity, just like in the physical world. You want those basic safety guarantees. That's what Move does and why we created a new language. These things are hard to recreate in other languages, including existing smart contract languages, and we wanted to design the entire language around providing these primitives so programmers can write code safely and efficiently and not have to reinvent the wheel every time they want to write some code.
+lab Mysten Labs
+fileExtensions move
+
+docs https://docs.sui.io/concepts/sui-move-concepts
+
+example
+ module satoshi_flip::house_data {
+ use sui::balance::{Self, Balance};
+ use sui::sui::SUI;
+ use sui::coin::{Self, Coin};
+ use sui::package::{Self};
+ // Error codes
+ const ECallerNotHouse: u64 = 0;
+ const EInsufficientBalance: u64 = 1;
+ }
diff --git a/concepts/sui.scroll b/concepts/sui.scroll
index 40e80ed9231..e6870fa0c86 100644
--- a/concepts/sui.scroll
+++ b/concepts/sui.scroll
@@ -6,4 +6,3 @@ appeared 2022
creators Evan Cheng
tags cryptoProtocol
website https://sui.io/
-
diff --git a/creators/creators.scroll b/creators/creators.scroll
index 130d716bde6..5b0f1436d7d 100644
--- a/creators/creators.scroll
+++ b/creators/creators.scroll
@@ -1811,4 +1811,3 @@ country United Kingdom
name Evan Cheng
twitter https://x.com/evanweb3
born 1970
-
------------------------------------------------------------
commit 298f4f41113a02a139f04d1e7ec3e86a47f40924
Author: Breck Yunits <breck7@gmail.com>
Date: Wed Oct 16 15:58:26 2024 -0700
diff --git a/concepts/sui.scroll b/concepts/sui.scroll
new file mode 100644
index 00000000000..40e80ed9231
--- /dev/null
+++ b/concepts/sui.scroll
@@ -0,0 +1,9 @@
+../code/conceptPage.scroll
+
+id sui
+name Sui
+appeared 2022
+creators Evan Cheng
+tags cryptoProtocol
+website https://sui.io/
+
diff --git a/creators/creators.scroll b/creators/creators.scroll
index 6c77fb7da4a..130d716bde6 100644
--- a/creators/creators.scroll
+++ b/creators/creators.scroll
@@ -1807,3 +1807,8 @@ twitter https://x.com/gavofyork
born 1980
wikipedia https://en.wikipedia.org/wiki/Gavin_Wood
country United Kingdom
+
+name Evan Cheng
+twitter https://x.com/evanweb3
+born 1970
+