👾

Author: AlephAlpha

.github/workflows/test.yml

@@ -5,7 +5,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        ghc: ['9.0.2', '9.6.7', '9.10.3', '9.12.2']
+        ghc: ['9.6.7', '9.8.4', '9.10.3', '9.12.2']
     steps:
       - uses: actions/checkout@v4
       - uses: haskell-actions/setup@v2

CHANGELOG.md

@@ -1,7 +1,8 @@
 # Revision history for Nekomata
 
-## 0.8.1.0 -- Unreleased
+## 0.9.0.0 -- Unreleased
 
+* Updated some dependencies. Now GHC 9.6.7 or newer is required to build Nekomata. But GHC 9.14.1 is not supported yet due to a dependency issue.
 * New particle: `\anyInt`.
 * Fixed a bug in trimming spaces in the REPL.
 * Some internal data types now derive `Show` instances for debugging.

Nekomata.cabal

@@ -1,65 +1,53 @@
-cabal-version:   3.0
-
+cabal-version: 3.0
 -- The cabal-version field refers to the version of the .cabal specification,
 -- and can be different from the cabal-install (the tool) version and the
 -- Cabal (the library) version you are using. As such, the Cabal (the library)
 -- version used must be equal or greater than the version stated in this field.
 -- Starting from the specification version 2.2, the cabal-version field must be
 -- the first thing in the cabal file.
-
 -- Initial package description 'Nekomata' generated by
 -- 'cabal init'. For further documentation, see:
 --   http://haskell.org/cabal/users-guide/
 --
 -- The name of the package.
-name:            Nekomata
-
+name: Nekomata
 -- The package version.
 -- See the Haskell package versioning policy (PVP) for standards
 -- guiding when and how versions should be incremented.
 -- https://pvp.haskell.org
 -- PVP summary:  +-+------- breaking API changes
 --               | | +----- non-breaking API additions
 --               | | | +--- code changes with no API change
-version:         0.8.0.0
-
+version: 0.8.0.0
 -- A short (one-line) description of the package.
 synopsis:
   An experimental non-determinstic concatenative golfing language
 
 -- A longer description of the package.
 -- description:
-
 -- The license under which the package is released.
-license:         BSD-3-Clause
-
+license: BSD-3-Clause
 -- The file containing the license text.
-license-file:    LICENSE
-
+license-file: LICENSE
 -- The package author(s).
-author:          AlephAlpha
-
+author: AlephAlpha
 -- An email address to which users can send suggestions, bug reports, and patches.
-maintainer:      [email protected]
-
+maintainer: [email protected]
 -- A copyright notice.
 -- copyright:
-category:        Language
-build-type:      Simple
-
+category: Language
+build-type: Simple
 -- Extra doc files to be distributed with the package, such as a CHANGELOG or a README.
 extra-doc-files: CHANGELOG.md
 
 -- Extra source files to be distributed with the package, such as examples, or a tutorial module.
 -- extra-source-files:
-
 common warnings
   ghc-options: -Wall
 
 library
   -- Import common warning flags.
-  import:           warnings
-
+  import: warnings
   -- Modules exported by the library.
   exposed-modules:
     Nekomata.Builtin
@@ -84,28 +72,24 @@ library
 
   -- LANGUAGE extensions used by modules in this package.
   -- other-extensions:
-
   -- Other library packages from which modules are imported.
   build-depends:
-    , arithmoi       ^>=0.13
-    , base           >=4.15  && <5
-    , containers     ^>=0.7
-    , integer-roots  ^>=1.0
-    , parsec         ^>=3.1
+    arithmoi ^>=0.13,
+    base >=4.15 && <5,
+    containers ^>=0.8,
+    integer-roots ^>=1.0,
+    parsec ^>=3.1,
 
   -- Directories containing source files.
-  hs-source-dirs:   src
-
+  hs-source-dirs: src
   -- Base language which the package is written in.
   default-language: Haskell2010
 
 executable Nekomata
   -- Import common warning flags.
-  import:           warnings
-
+  import: warnings
   -- .hs or .lhs file containing the Main module.
-  main-is:          Main.hs
-
+  main-is: Main.hs
   -- Modules included in this executable, other than Main.
   other-modules:
     Doc
@@ -114,47 +98,38 @@ executable Nekomata
 
   -- LANGUAGE extensions used by modules in this package.
   -- other-extensions:
-
   -- Other library packages from which modules are imported.
   build-depends:
-    , base                  >=4.15  && <5
-    , bytestring            ^>=0.12
-    , containers            ^>=0.7
-    , haskeline             ^>=0.8
-    , Nekomata
-    , optparse-applicative  ^>=0.19
+    Nekomata,
+    base >=4.15 && <5,
+    bytestring ^>=0.12,
+    containers ^>=0.8,
+    haskeline ^>=0.8,
+    optparse-applicative ^>=0.19,
 
   -- Directories containing source files.
-  hs-source-dirs:   app
-
+  hs-source-dirs: app
   -- Base language which the package is written in.
   default-language: Haskell2010
 
 test-suite Nekomata-test
   -- Import common warning flags.
-  import:           warnings
-
+  import: warnings
   -- Base language which the package is written in.
   default-language: Haskell2010
-
   -- Modules included in this executable, other than Main.
-  other-modules:    Eval
-
+  other-modules: Eval
   -- LANGUAGE extensions used by modules in this package.
   -- other-extensions:
-
   -- The interface type and version of the test suite.
-  type:             exitcode-stdio-1.0
-
+  type: exitcode-stdio-1.0
   -- Directories containing source files.
-  hs-source-dirs:   test
-
+  hs-source-dirs: test
   -- The entrypoint to the test suite.
-  main-is:          Main.hs
-
+  main-is: Main.hs
   -- Test dependencies.
   build-depends:
-    , base          >=4.15  && <5
-    , hspec         ^>=2.11
-    , Nekomata
-    , unicode-data  ^>=0.6
+    Nekomata,
+    base >=4.15 && <5,
+    hspec ^>=2.11,
+    unicode-data ^>=0.6,

analysis/Ideas.md

@@ -10,7 +10,7 @@
 
 如果 CodePage 中的 256 个字符都用完了，可以考虑用像 05AB1E 那样，用 `.` 开头的字符来表示双字节的内置函数。现在的 CodePage 还没有用完，先不考虑这个问题，但 `.` 也先不要用掉。
 
-LiberationMono 字体所支持的字符列举于[此文件](analysis/LiberationMonoGlyphs.txt)，以供选取。
+LiberationMono 字体所支持的字符列举于[此文件](LiberationMonoGlyphs.txt)，以供选取。
 
 ## 来自统计结果的想法
 
@@ -24,10 +24,9 @@ LiberationMono 字体所支持的字符列举于[此文件](analysis/LiberationM
 * `1` 排到第十四，是最常见的常量。
 * `ç`（`\cons0`）能排到第十八。这个完全出乎我的意料，因为很多别的 golfing 语言中根本没有这个操作。它的作用是给列表加一个 0，通常是配合 `\head`、`\last`、`\minimum`、`\maximum` 等函数使用，来处理空列表的特殊情况。需要看一看其它语言是怎么处理空列表的。
 * 与 non-deterministic 机制有关的操作，除了 `=`（`\eq`）没有一个排到前二十。排最高的是第二十四的 `a`（`\allValues`）。
-* 在两个字符的组合中，排前六的分别是 `ᶦ{`、`ᵖ{`、`ʷ{`、`ˡ{`、`ᶠ{`、`ᵑ{`。也许可以像 Vyxal 等语言一样，让这些助词自动开启 block，省去一个 `{`。不过另外一些助词通常只修饰单个 built-in，自动开启 block 反而会额外需要一个 `}`。尤其是 `ᵖ`、`ᵑ`、`ᵐ`，两种用法都很常见，不好取舍。详见 [`analysis/particles.txt`](particles.txt)，以及下文的[关于助词](#关于助词)。
+* 在两个字符的组合中，排前六的分别是 `ᶦ{`、`ᵖ{`、`ʷ{`、`ˡ{`、`ᶠ{`、`ᵑ{`。也许可以像 Vyxal 等语言一样，让这些助词自动开启 block，省去一个 `{`。不过另外一些助词通常只修饰单个 built-in，自动开启 block 反而会额外需要一个 `}`。尤其是 `ᵖ`、`ᵑ`、`ᵐ`，两种用法都很常见，不好取舍。详见 [`particles.txt`](particles.txt)，以及下文的[关于助词](#关于助词)。
 * `{$` 在两个字符的组合中排第六，`{:` 排第八。这两个组合没有特别的意义，只是因为 `\dup` 和 `\swap` 是最常用的两个操作，因此它们的组合也很常用。
 * `Ťđ` 在两个字符的组合中也排九，和 `{:`、`Jᵐ`、`ᵐ{` 并列。这个组合是将二维列表转置，然后进行 unpair 操作。看起来确实比较常用。先等更多的解答出现再决定是否增加这个 built-in。
-* `Ňᵖ{` 在三个字符的组合中排第一，也许值得为它增加一个助词。
 * 统计结果与其它语言的差异，除了考虑到语言本身的特点之外，还要考虑到语言的使用者的偏好。目前 Nekomata 的使用者基本上只有我自己，解答的也主要是我感兴趣的题目类型，string 相关的题目较少，ascii-art 更是完全没有。
 
 随着已有解答的增多，增加新的内置函数时，很难再把已有的解答都看一遍，看看是否能用新的内置函数来改进。因此，这一统计结果不再代表最优的方案，但仍有一定的参考价值。
@@ -211,6 +210,10 @@ LiberationMono 字体所支持的字符列举于[此文件](analysis/LiberationM
 
 更多情况还需进一步考虑。这是比较大的改动，需要仔细斟酌。也许还有其它更好的方案。以后再说。
 
+## 语法糖
+
+可以考虑引入 `²`、`³` 两个字符，表示把其后的两个和三个内建函数复合在一起。比如说 `²\add\mul` 相当于 `{ \add \mul }`。这样在一些情况下可以省去一些大括号。从已有的解答来看，能用到 `³` 的地方还挺多，`²` 反而用得不多。`⁴` 就不考虑了。
+
 ## 文档
 
 目前的文档还很不完善。需要增加更多的例子，以及更详细的说明。

analysis/corpus.txt

@@ -75,6 +75,7 @@ sNP
 ᵐ*Ŝ
 Ṁ←ɔõhĦ+
 ~Ɗƶ
+Ɗ;ᵃɗ+%a∑
 ᵒ%ᵐ∏¬x∙
 ᶠ{$~¦}∑
 Ňᵉĝᵈ,L
@@ -102,6 +103,7 @@ uᵐhů
 8*→√
 R∫ē
 Ṁä7+≥
+√
 ᵐ~
 *5*4ŋ≈√
 ᵒ+→Ö
@@ -141,6 +143,7 @@ xq§LaĦ*
 Þ½
 Sđ*aŢṂ
 S:đ∩z¿ᵐj
+OŜ$ĈÅ
 qŤqŤ=
 ;$N,
 xŘ↔
@@ -178,11 +181,14 @@ oĉ~z
 ƒz
 Ħ±
 ᵉᵑ{ˣ∙ɔᵈç}T
+ŝᵃƊᵖy,ƆZɔ↕ɗ=
 ᵐĈ
 ˡ¦
 Ṁ→ᵒÇ∏ƃ
 ʷ{į1?-ň
 O:Ŝ≡$Ðål
+ᵒM→
+R:~M
 8ᵚ~ᵖ{≈←ň‼į=
 0*2R+ŋ↕ũ+ň8<
 ox=
@@ -254,6 +260,7 @@ qŁ:∙=
 ᴷ{*$Bu$L
 ᴷ{$Bçu#=
 qCᵉL↔≤a*$h→L
+Oᵖ{ŜË
 →ᵉ_rÇ∫µA
 ƤƊQůɗ
 ¢SQ↕ɗQao
@@ -397,6 +404,7 @@ Z4ʷ¦→8¦
 J:ᵐ↔=ṩ
 Äᵐ{įŋ∫}∫Ẑᵚ≥
 Ňᵗ{ƂJŁ≡
+ᵃS↕ÐŤ
 p↔:CĨ→0I→T↔aj
 ƒƶ4L
 "Hᶜ"∏
@@ -413,3 +421,5 @@ $ŧ∑ᵖ{ŧ∑'d/=
 u$ᵐĨ→
 ƊˣṀ→b
 ↕:∆Zƶ¿
+xbᶦ∆haxF/
+x$y~O$L