duangsuse::Echo

46 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 11:52

duangsuse::Echo

Forwarded from dnaugsuz

如果用我之前设计的绝句来说，可以这么写（只是说可以，不是说推荐），比较一下：

事 f(数、实): 元二<实、浮> {} 
数据物 S(x: 字、y: 数、z: 实): 存储
常S s = S()
对你s，元三(x、y、z)。里的，它置为1
你s，元三(y、z、x)。批量置为(元三(3、3.2、'x')) — 肯定不是标准库里的
f(*你s，元二(y、z)。)
f(*你s，元二(y、y)。)

……简直写不下去
不过『存储』这个特性蛮高级的，我还没设计好emmm……

https://t.me/dsuse/11777
这是一些随记，还很不成熟，我最近是没时间实现的，不过我在写一个解析组合子框架(ParserKt，已经拿它写了一个JSON解析器尚待修完……)

47 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 11:52

duangsuse::Echo

Forwarded from dnaugsuz

简而言之，如果把这些代码翻译到绝句可以用这些特性：

事 Name(x: T0, y: T1): R 为……

当然为后面的缩进块是可选的，也可以用 {}

元一<T1> 元二<T1, T2> 元三<T1, T2, T3>…… 元组类型
之所以不说是『一元』『二元』，是因为数字可以这么表达：

二十三+二十万二千一百

你，……。

这种『第二人称文法』
当然它和 let 是有区别的，区别在于有 (你a且大b、c) (你x在a且不在b) 这种语法糖

所以C-forall的所有 x.[a, b] 在有存储抽象的绝句上其实都是 你x，元二(a, b)。的形式，我搞不懂的就是何时编译器要选择存储、何时要选择值，打算加入多态特性的。（类型推导麻烦一些）

Name(*Expr) 和 事 …(变长 Name: Type)… 就是变长参数传递了，所有支持 算符的事项目n 的都可以这么照 * 传

字(Char)、数(Int)、浮(Float)、实(Double)、效果(Unit) 这些
「数据物」，还有基于『分配』（而不是『值』）的「物」
因为我实在不想引入 struct 之类的东西，我觉得它使得语言的数据类型被过分分割了，写起来莫名其妙，继承自分配是等价用 struct 的

不过没有东西等价 struct 的，因为「struct」必须有架构器…… 就是说 数据物 Name(…): 分配 了……

最后的

v.[x, y.[i, j], z.k]

就是（好像很难看了呢，因为逗号简记法不能写在一行里……）

你v，
  元三(x、你y，
    元二(i、j)
  z的k)

最后的 f().[2, 1] 就是

你f()，元二（我[2]、我[1]）。

说白了就是在翻译 Kotlin……

40 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 11:52

duangsuse::Echo

Forwarded from dnaugsuz

也的确是，不过如果要在类型级别是不是很困难？因为时间可能和输入相关

29 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:04

duangsuse::Echo

Forwarded from dnaugsuz

这方面最典型的例子就是停机问题

halting p = if p then infinity else 1
  where
    infinity = drop Infinity ones
    ones = 1 : ones

这种情况就是 True -> (没有值); False -> Int
当然计算机科学的研究者们是不肯把程序写成这样的，不过还是可以有 Y 组合子……

Y = \f. (\c. f (c c)) (\c. f (c c))

30 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:04

duangsuse::Echo

Forwarded from dnaugsuz

Tcl/tk 嘛（读 tickle）
我觉得它和 Squirrel 一样，没点文档

28 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:04

duangsuse::Echo

Forwarded from dnaugsuz

我讨厌文档不好的语言；Lua 可是一个类似但文档很好的语言

28 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:04

duangsuse::Echo

Forwarded from dnaugsuz

所以说我其实是一个倾向工程派的人，因为我简直无法忍受学术系 Haskell 的风格，都快无法结合那一堆 phi psi mu (>>=) ($) 了……

但我一点都不觉得函数式能够解决更多问题，实际上我只是喜欢混合函数式编程的风格，和纯函数控制那一套无关

29 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:04

duangsuse::Echo

Forwarded from awasarihS

其实讲道理咱想写个kt到ts的compiler 就是没看懂它这个inline是咋实现的

29 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:31

duangsuse::Echo

Forwarded from dnaugsuz

套一下呗，举个栗子：

inline fun justA1M2(x: Int) = (x + 1) * 2
fun logic() {
  val y = justA1M2(0)
  println(y)
}

现在你得到了 AST：

inline fn [justA1M2]
  argt: (Formal (Name x) (Type Int))
  body: (Expr (InfixChain (Op* (Op+ (NamedRef 'x) (Lit 1) ) 2))

fn [logic]
  argt: 
  locals: (Val 'y (Type Int))
  body: (CompStmt[
    (Assign (NamedRef 'y) (Call 'justA1M2 [(Lit 0)]))
    (ExprStmt (Call 'println [(NamrdRef 'y)]))
  ])

于是你可以 inline：

  body: (CompStmt[
    (Assign (NamedRef 'y) (Call 'justA1M2 [0])) -- 注意这里，你调用了 inline fn

然后直接以表达式的形式 subtract（替换）：

  body: (CompStmt[
--    (Assign (NamedRef 'y) (Call 'justA1M2 [(Lit 0)]))
    (Assign (NamedRef 'y) (Expr (InfixChain (Op* (Op+ (Inlined (Lit 0)) (Lit 1) ) 2)))
    (ExprStmt (Call 'println [(NamrdRef 'y)]))
  ])

然后就内联上了，最终代码是这种形式：

fun logic() {
  val y = /*justA1M2(0)*/ @Source(…) (0 + 1) * 2
  println(y)
}

是等价的

32 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:31

duangsuse::Echo

#statement #tech #cs

30 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:48

duangsuse::Echo

Forwarded from dnaugsuz

你的意思是…… 哪个栗子

31 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:48

duangsuse::Echo

Forwarded from ❌; Ζέφυρος Λύκος

> 兴趣和简明的第一印象，远比定义是否准确更重要吧

我觉得定义是否准确也挺重要的

假定 ta 来问你问题，你回复的是一个简明但模糊的概念（当然这不是要包山包海什么都讲），日后 ta 开始感兴趣深入了解，（手机打字慢等会x）

34 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:48

duangsuse::Echo

Forwarded from ❌; Ζέφυρος Λύκος

（接）发现与自己原有建立的知识体系不一样是，一般会有两种反应

1) 有耐心的会仔细看完文档，最后想到你为什么会这么回答 ta（当然是要花费大量的精力去弄懂这些「软件包格式」「Daivlk 虚拟机」「ObjC」等等），初学者就更不用说，更多的则是下面的情况
2) 没耐心的有的是放弃对这些事的信心，偏激一点的对你的答复不满意，反而起到相反作用，甚至觉得「屁事真多」想法，更不敢接触了

34 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:48

duangsuse::Echo

Forwarded from dnaugsuz

有些事情就是不能不慢慢理解的……

小时候我妈问我一个问题，『一千克棉花和一千克钢铁哪个重』
我一下就答错了，而且他们怎么教我也还是觉得钢铁重……

其实当时就是真的不知道『重』这个修饰是什么意思，后来一年多以后才能明白。

对心智成熟的成年人来说也是一样的。

33 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:48

duangsuse::Echo

Forwarded from dnaugsuz

我就是那个意思，有些事情是需要时间

32 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:48

duangsuse::Echo

Forwarded from dnaugsuz

学习是很佛系的一件事情，尤其是不被高考所迫的情况下

66 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:48

duangsuse::Echo

Forwarded from dnaugsuz

他不愿意学，你怎么弄也没用，除非你真的很厉害……
所以要学习的话就只能慢慢来，或许今天你非常生气，后来莫名其妙就理解了。

35 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 12:48

duangsuse::Echo

#dev 按照预期，今天晚上我还会讲关于我这周一个 Infix 链解析优化的算法、关于 RangeMap 的扩展 — OverlapRangeMap 的一些实现 note。

本周 #school 是月假；本来是还要写 Montage 图 Python 和 Dijkstra 同类的算法的，但是由于 Parser.kt 和 Binarie 更为重要，所以我不保证它们可以被有效执行。
不过我得先分享一些东西 — 比较方便的 IDEA 快捷键

== 代码浏览
上/下个方法: (Alt+ArrowUp / Alt+ArrowDown)
查看文档: Ctrl + Q
查看简明实现: Ctrl+Shift + I
查看表达式类型: Ctrl+Shift + P
跳转到符号: Ctrl + MouseL, Ctrl + B
跳转到类型定义: Ctrl+Shift + B
跳转到测试: Ctrl + T

== IDE 基本
文件菜单: Alt + F
Search everywhere: Ctrl + N
执行当前任务: Shift+F10
调试当前任务: Shift+F9

== Editor 基本
indent:
-: Shift + Tab
+: Tab （皆可按选区操作）
dup line: Ctrl + D
join lines: Ctrl+Shift + J

== 代码
快速模板: Ctrl + J
以快速模板包围: Ctrl+Alt + J
自动缩进/优化导入: (Ctrl+Alt + I / Ctrl+Alt + O)
自动布局: Alt+Shift + R

自动包围: Ctrl+Alt + T
自动去除包围: Ctrl+Alt+Shift + T

自动生成: Alt+Insert
自动重写/实现: (Ctrl+O / Ctrl+I)

手动唤起自动补齐: Ctrl + Space
类型敏感自动补齐: Ctrl+Shift + Space

== 重构
快捷菜单: Ctrl+Alt+Shift+T
上/下移语句: (Ctrl+Shift + ArrowUp / Ctrl+Shift + ArrowDown)
重命名: Shift+F6
改变方法签名: Ctrl+6
到变量/方法: (Alt+Shift+V / Ctrl+Alt+M)

== 分析
文件树: Ctrl + 0
继承树: Ctrl + H
方法调用树: Ctrl + Alt + H
查找引用: Alt+Shift + 7

42 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], edited 13:33

duangsuse::Echo

如果你实在记不住，应当先记这些：

== 基础浏览和编辑
Alt+Up/Alt+Down
Ctrl+D/Ctrl+J
Ctrl+Space
Ctrl+T
Ctrl+N

== 文档
Ctrl+Q
Ctrl+Shift+I
Ctrl+Shift+P

== 模板
Ctrl+J / Ctrl+Alt+J
Ctrl+Alt+T
Alt+Insert

== 基本重构
Ctrl+F6
Ctrl+6
Ctrl+Alt+Shift+T
Ctrl+Shift+Up / Ctrl+Shift+Down
Alt+Shift+V / Ctrl+Alt+M

== 基本分析
Ctrl+0
Ctrl+Alt+H

== IDE 任务
Ctrl+9
Shift+F10
Shift+F9

当然这些都是可以自定义的，我说的是默认布局。

37 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], edited 13:49

duangsuse::Echo

ParserKt 已经在设计上准备好进行第一次重写，这次重写会包含以下内容：

+ 针对 BulkFeeder 什么的；lineNumber 只能是 LF/CR/CRLF 中的一种，不可能在 Feeder 层面同时兼容
+ 对类似 ParsingFeeder、TreeRangeMap 的结构，开放一些辅助方法的覆写以提升代码重用性
+ 提供 reduceOr 和 leftrec 特性（左递归文法支持）
+ 针对基于 Buffer 的 MarkReset，它的 stack 必须是 lazily evaluated [newBuffer()]，这意味着 Parser.tryRun(Feeder) 的子解析器如果没有实际上 consume() 一些项目，就不会有调用架构器的开销
+ takeWhile 和 dropWhile 会被重命名为 takeTerminate; skipTerminate，FeederOpt 里的 takeUntilIn, skipWhileIn 重命名。
+ Folder 架构会有更多实例，比如 asHist(),

asCount()

+ 很多原子解析器都会被重命名: char(_), anyChar, charSatisfies, charIn, charseq…
基本的原子解析器会被定义为内联的
+ 会加入很多扩展的内联解析修饰 (pre, effect, …)
+ Box<T> （就是可空版的 Maybe）会被正式包装好，也包括 map/flatMap 操作

42 viewsduangsuse /'dʊɔːŋ sjuːz/ | [⃪PLD, FPλ], 14:27

About

Blog

Apps

Platform