👆 现在开始我会逐渐使得pinned message稍微有点意义了。

本来不该就这么快结束的，可我觉得思路和细节已经基本在我上面写的例子里显示出来了（比如量『a』=1；变文『s』这种不带空格的类词法解析定义），所以我觉得还是继续写我的 e2im-2、Binarie、ParserKt 吧……


嗯……其实不对，我还有许多设计笔记没有发的，而且最重要的中缀操作符、优先级，我都没任何定义。
下次吧，毕竟一时半会也实现不了。

@duangsuse 话说最近那个文言语言是你的嘛？

#zhihu https://zhuanlan.zhihu.com/p/91353256

https://t.me/dsuset/6816; https://t.me/dsuse/12085 @吴烜 你说的大概上没有问题，可略微有点无力，如果不嫌长的话可以看看我的。如果你想了解关于布局文法上下文相关解析（也可以在分词的阶段做）或可动态扩展中缀链解析(infix subparser)或汉字数值解析和格式化输出的内容我可以帮说几句，上面的链接可能要科学地上网才能访问。

我觉得没有必要呀。
编程，其实是符号编程，比如汇编，就是明显的符号。
后来高级语言了，使用有语义的符号。
比如if，for，case
其实他们还是符合.。
查查英文字典，case是啥意思，和代码里的case有关系吗？
英文更适合表示符号。
中文不适合“符号”这种表达方式。
再来看命名。
这个看项目。
以前做过一个工程车辆的销售项目，他们有n多表格，表格都要做到数据库里面。
那么字段名就直接用表格里的名字好了。
（有点表格是中文，有点表格是英文，有的表格是中英文双语的。）
于是用英文还是中文，就是一件很自然的事情了，没必要强求，也没必要强推。

—
"case this object of" 在 Google Translate 里是『案此对象(为)』的意思。

我们所有有点英文语感的人都会觉得它是『判此对象为』，案『情况(case)』处理的意思。


难道存但仅存一点点语义上的关系就不叫关系？照这个逻辑类似 ES6 的 let { name: its_name } = obj; Python 的 ''.join([1,2,3]) 这样罕见的颠倒情况（很不好找，因为英文中文语序的确区别很大，英文时基本不会让人觉得和自然语言区别很大）本该再多加设计、等号也不该分长等号赋值和短等号判定了。


而 for (name in iterable) 这个算是直接对应了吧？为什么中文就不能用非『符号』的表达形式 对iterable里的name……？语言不是符号？


至于强推什么的，其实哪怕是之前 5kw 的易语言我也没见人迫害 521，『中文编程』一直以来都是很克制的。（当然，也是很少有人愿意观看的）

—
中文命名不需要驼峰命名: https://zhuanlan.zhihu.com/p/40098652

在有类型声明的代码中, 类型前缀并不建议使用. 一定要的话, 中文前缀照样可以.

连字符, 与驼峰同理.

看到的中文命名实例中, 命名风格大同小异. 母语同是中文, 用词风格趋同只是时间问题. 还是那句话, 路是走出来的, 规范更是实践中形成的.
—
是的，比如最经典的 "abc".startsWith("a")，要在中文的思维方式里自然地表达出来就得使用「以」这个介词来连接两个对象。

如果这一点设计好了（比如 Z语言的序列式函数应用，比如 "abc"以("a")始()），绝对是不需要驼峰英文分词的。

否则的话 "abc".以始("a")或者好一点，"abc".开头为("a") 这种，那只能说是暴殄天物了，好歹也是所谓『夜鬼哭』的汉字啊。

—
命名规范怎么考虑中文呀。
中文没有大小写，那么什么驼峰了啥的完全用不上。
类型前缀（比如intAge）也没法弄前缀。
vue里面的连字符，比如v-if，my-form，的-也，对于中文来说这个减号也没用。
总之，基本没法用。
—
>v-if，my-form


那个 '-' 不叫减号，这里是破折号(dash)的意思，详情 Scheme 命名风格。

比如：

scheme

(define (histogram vector-of-words)
(define hash (make-hash))
(for ([word (in-vector vector-of-words)])
(hash-set! hash word (add1 (hash-ref hash word 0))))
hash)

—
好吧，你开心就好。另外听过无代码吗？
—
无代码nocode 是一些 别有用心 的前端们的笑话，没有啥实际效用。


只要人活着就得吃饭，它试图否定目标的价值（比如，活着。）而没有任何理由，然后提醒你只要不活了就可以不吃饭，当然只是个笑话啊。


我赌五毛弄出这个项目的前端不知道 JSON 形式化文法是啥子。

引记法 绝句.符号 「与」
引记法 绝句.符号 「止」
引记法 绝句.符号 「步长」

量 人物类型 = 表一("唐僧"对"人"、"孙悟空"对"猴")
解对人物类型里的(人、型)，说("$型 $人")。

“人 唐僧”
“猴 孙悟空”

量 人物 = 行一("唐僧"、"孙悟空"、"猪八戒"、"沙僧")
解对人物与索引里的(人、引)，说("$引 $人")。 “记法「与」的事 与索引……”

“0 唐僧”
“1 孙悟空”
“2 猪八戒”
“3 沙僧”

量 问题 = 行一("名字"、"追求"、"喜爱颜色")
量 答案 = 行一("玄奘"、"真经"、空)

解对问题与(答案)里的(问物、回复)， “对何<另项>皆有事 「与」(另：可迭<另项>：可迭<元二<项、另项>>)”
说("你的${问物}是什么？答曰，${回复}")

对零止10步长2里的，说(它)。

“with open(file) as f: f.close()”
尝试文件(径)去开启()成书，书去写文("emmm")。
接迎打开失败不常，告警("emmmmm: $径")。
“终焉，书去关闭()。”

对何<项> 项：有序<项> 皆有
事 冒泡排序(动片：动切片<项>) 为
  对动片的索引里的『某针』，
    对(某针后..动片的末引)里的『此试』，
      若动片[此试]小动片[某针]，动片去交换(此试、某针)。
对何<项>皆有
扩物 动切片<项> 为
  事 交换(甲：引数、乙：引数) 为
    我[甲] = 我[乙]；我[乙] = 老甲
  其中，
    量 老甲 = 我[甲]


例 『某易语言而不是易飞扬程序』: 应用程序() “还有『带参应用程序』” 为
  实现的事 入口() 为
    量 a = 听去数一()
    量 b = 听去数一()
    若a大b，交换(a、b)。“假设这是1.0，绝句有存储抽象”
    a定「不大b」
    说("$a $b") “绝句可没有啥『调试说』”
    回效果 “当然是不必显式写出来的”
“
def 妖精(能耐, 名字='白骨精', 降服者='孙悟空', 原形='骷髅'):
    print("尽管善于" + 能耐 + ", "
      + 名字 + "仍被" + 降服者 + "制服,"
      + " 变回" + 原形)
      ”
事 说妖精(妖精：文、原型：文、能耐：文、降服者：文) 为
  说("尽管善于${能耐}，${妖精名}仍被${降服者}制服，变回${原型}")
例 西游记: 应用程序() 为
  实现的事 入口() = 说妖精("白骨精"、"白骨"、能耐="变化"、降服者="孙悟空")
“绝句暂时不打算支持 partial application”
量 说白骨精：(文)效果 = 函数，〖能耐〗说妖精("白骨精"、"白骨"、能耐、降服者="孙悟空")。

看来设计类型推导方法是个苦差事啊，学术派一点要用 unification 归一化，而且逻辑式 miniKanren 好像不也是用 unification state&goals？
看来多态推导有点麻烦…… 大概还是写的出吧。

“Java:”
“if (true) { System.out.println("OK"); }”
“「易」语言：”
“如果 真 那么打印"OK"结束如果”
若真，说("OK")。
若组件[i]之为已创建，组件[i]去销毁()。
若你组件[i]之为已创建，你去销毁()。 -- 不能这样！改回

“我这时觉得绝句真的是美得像天使一样，干净利落不带空白，和没有逗号表示法的语言比。”

记法，是绝句里为了拟自然语言加入的自定义介词。
一般来讲，它的处理过程不必多加空格，所以词法类似+-*/等符号，必须在标识符读取过程里时刻检查，往往会用动态 Trie 树进行这种解析。

定记法 「问」
引记法 绝句.额联 藏「对」
引记法 绝句.额联 藏「+」 “尽管这可能是绝句语法上的华点之一，它们不特殊、所有和语法结构无关的东西（那些东西一般都是全角或中文词）都不特殊。”


“
包 绝句.标量
定记法「+」
定记法「-」
“……”

物『数』 为
  “……”
  【内建】【名字合法化】待例、记法「+」的事『+』(另：数)：数
  “这时，尽管+已经是一种记法，它依然可以被『』括住作为名字的一部分甚至全部，而在符号解析过程中这是有效的。”
  “『』形式的名字不被称为合法化，只是叫『角括号名字』而已，合法化的意思是即便它对目标语言不合法，也自动mangle这个name而不是报错。”
”

但是以上好像是在朝着Scala的方向走，原因仅仅是为了支持标准库怎么这么地（而且大家都不知道『数』是不是该在标准库定义一个），实在是必须多想想。
而且这样，「算符」这个修饰，还有1去加(2)这种用法就泡汤了，运算符优先级实现也本不是记法会考虑的事情，那如何呢……

定义基于中缀记法的事（当然必须是中缀单参数的方法「事」啊，噢不，介于「之为」这样的记法导致的问题它也可以记「量」）时候，可以选择：

记法「之」的事 之存一(条件：命题<项>)：真假

其中『之存一』这个函数名必须以中缀字面开头。或者，

记法「对」的事 对(另：项）：元二<项、项>

绝句里，「~上」这种后缀记法只允许使用「的」访问的属性使用。

记法「~上」的量 上面：位置

绝句没有Kolin的infix关键字，就是因为它用的是不必加空格的记法系统，虽然这个方式的结合性、优先级也基本是没改。

解析的结果是记法（也就是「的」「去」的替换符）的字面形式（比如他对她、他上里，「对」和后缀的「~上」）
基本可以说是等价 他去对(她)、他的上。
语言类型分析过后，就有机会找到前表达式base对应的记法定义，进行进一步的处理。

记法访问(左表达式、记法名、右表达式)

https://zhuanlan.zhihu.com/p/53416369 #async

#security 忍不住让我想到了以前的 war dial-up 攻击。

Facebook Messenger is removing the ability to find someone by entering their phone number

Facebook Messenger正在删除通过输入其电话号码来查找某人的功能

来源：
https://twitter.com/wongmjane/status/1210864489358184448

翻译成中文就是

量 userProfile：AlipayProfile
@GetMapping @RequireRoles("consumer") 取者，
  回 currentUser 令为(alipayUserService去::getProfile)
  ?去令为(::AlipayProfileData)
  空则，抛下BusinessEx("unexpected_exception") 。

接着翻译就是
量 用户资料：支付宝资料传输 【身份要求 "消费者"】
【GET路径】的取者，
回 当前用户令为(支付宝用户服务去::取资料)?
去令为(::支付宝资料传输)
空则，抛下BusinessEx("unexpected_exception")。

以前我偶尔以『艺术品』的心态想到『用中文写程序』，把中文看得比编程重，结果写出来的东西不像中文更不能编程。

现在我多学习了几门『不常见』的编程语言，Haskell、Scala、Kotlin，结果写出来的东西不仅符合编程逻辑而且像中文，这真是奇怪啊。

如果你连文字都不会敲、逗号顿号傻傻分不清，是设计不出『中文编程语言』的，这一点不必多说吧。

FONT = Font.FreeTypeFont.read('/usr/...')
(BASE_X, FIXED_Y) = (..., ...)
def compositeText(s):
img = Image.open('panda.png')
(txtW, txtH) = FONT.getSize(s)
txtWd2 = txtW/2 #atom layout calc (width-balance)
img.draw_text(x=(BASE_X-txtWd2), y=FIXED_Y, font=FONT, text=s)
return img #effect
def main():
for text in input().split(" "):
img = compositeText(text)
img.save(f'panda_{text}.png')

别测试，我说着玩的，没看见我没写导入吗？ 😂

其实我把 Binarie 的类图都画好了，难点也的 swapIntegral, fromIntegral, toIntegral 也整理到 Convert.kt 里了，可就是没时间实现了，算。
其实 ParserKt 也一样，我完全建模好了 Input 和 Parser（以及 PredicateParser:AtomParser, ReduceParser, Seq, Repeat、OrParser） 架构，可就是没时间实现…… 也是天注定吧。

https://kotlinlang.org/api/latest/jvm/stdlib/kotlin/index.html

试着定义一些绝句的核心类型，至于绝句如何翻译至多门语言…… 只当下面是Kotlin翻译目标专属的。

包 绝句

‘绝句中任何「物」的基础物，位于继承树的最顶端。’
开放的物『值』 “公开的造于()” 为
‘将[我]与[另]进行相等性判断。若等价，回真。’
‘[另] 比较宾语，`1是2`里的`2`。’
‘实现必须满足以下性质（这里 _斜体_ 都是非空 [值]）：
+ 自反性(reflexive)：对何 _x_，`x是x`成立。
+ 对称性(symmetric)：对何 _x_、_y_，若`x是y`，`y是x`成立。否则`y是x`定不成立。
+ 传递性(transitive)：对何 _a_、_b_、_c_，若`a是b`且`b是c`，`a是c`成立。
+ 一致性(consistent)：对何配对的 _a_、_b_，任意次执行`a是b`结果不变，或者说它是纯函数(pure function)。
+ 非空判断：对何 _x_，`x是空`不成立。`空是空`成立。 ’
【内建 "Any.equals"】待例、开放、算符的事 问等(另：值?)：真假
‘取此值的哈希码。对于 [为等] 的值，哈希码总是一致的，即便其一「不即是」另一。’
【内建 "Any.hashCode"】待例、开放的事 化记码()：记码
‘取此值的文本化表达’
【内建 "Any.toString"】待例、开放的事 化文()：文

啊好累啊，会不会是绝句的文档写起来麻烦……

此外还有好多应该定义的，
Annotation 注解，这个只是个标记

Comparable 有序<入T>
算符 求序(另：T)：序
例物 序 { 大、小、等 }

属别名 顺序<T> = (T、T)有序.序

Array<T> 组：可度(Sized) size大小 算符们：get取 set置 iterator建迭子
还有算符 component1-5
有许多组一 组空 组全空

  fun <reified T> emptyArray(): Array<T>
  对何<真项>皆有待例的事 组空()：组<项>
  fun <reified T> arrayOfNulls(size: Int): Array<T?>
  对何<真项>皆有待例的事 组全空(计：计数)：组<项?>
  fun <reified T> arrayOf(vararg elements: T): Array<T>
  对何<真项>皆有待例的事 组一(许多的内容：项)：组<项>

当然这个待例是【内建】的……
当然，它可以这样调用，我还没设计 spread 语法……

  组一(*xs)

还有许多的 Unboxed array：Boolean/Byte/Short/Char/Int/Long/Float/Double Array
CharSequnece 字符序列：可度

Annotation 里的也可以

  【路径们 3、[1, 2, 3]】

Cloneable 可复制
Closeable 可关闭
Throwable 可抛下
Serializable 可化串
Pair 元二
Triple 元三
String 文
Nothing 断止
Unit 效果
Version 绝句.核心库版本
Function<in T, out R> 对何<入T、出R>皆有物 函数 算符的事 用
Lazy<T> 惰性求值<值者>
例物 并发安全 { 安全、实例一致、不安全 }
Exception 错误 （接迎XX错误我觉得没啥不对的……何况异常和错误很多时候对它们的区别是让人莫名其妙的）
Error 失败
RuntimeException 运行时错误
ArithmeticException 运算错误
IndexOutOfBoundsException 索引越界错误 （一般人写程序都不会出这种错误，所以不作简化）
ClassCaseException 作属断言错误（还分 Java 的、Kotlin 的、绝句的……）
IllegalArgumentException 参数断言失败
IllegalStateException 状态断言失败
AssertionError 断言失败：失败（绝句正好反着来，Exception=错误、Error=“异常”，Error是主动的所以叫失败、Exception是被动的而我又不想破坏中文语言习惯所以这么叫）
NoSuchElementException 项目未找到错误
NotImplementedError 尚待实现失败
NoWhenBranchMatchedException 分支穷举性断言错误（据说Common里没有）
UninitializedPropertyAccessException 属性未初始化访问错误
UnsupportedOperationException 操作未支持错误
NullPointerException 非空断言错误（还分 Java、Kotlin、绝句的）
NumberFormatException 数值解析错误
OutOfMemoryError 内存耗尽失败
Closeable 可关闭
Enum<ENUM: Enum<ENUM>>: 有序<ENUM>(name: String, ordinal: Int) 枚举项
为等、化记码、化文
abstract Number 数值
to (Byte/Short/Char/Int/Long/Float/Double)
以及 Byte, Short, Char, Int, Long, Float, Double 这些加了 Comparable 的
Boolean: Comparable<Boolean> 真假
算符 且、或、非……
记法「异」
为等、化文、化记码
扩展个 『化字节』 就可以了，但我不打算让 `true>false`，看不出有什么意义。

ConcurrentModificationException 并发变动错误（暂时这么叫？
This exception may be thrown by methods that have detected concurrent modification of an object when such modification is not permissible.

DeprecationLevel 弃置级别
Deprecated
SinceKotlin
Suppress, ReplaceWith
UnsafeVariance
Volatile 并发易变
Synchronized 完全同步
BuilderInference
大概就是这么说：

fun <T> sequence(block: @BuilderInference suspend Scope<T>.() -> Unit): Sequence<T>
val seq = sequence { yield(1) }

靠着 Scope<T> 上的 yield(T) 就能够推断出 Scope 的类型
我不会……

PublishedApi 事实开放
OptionalExpectation 可无实际
ParameterName 默认名

emm