duangsuse::Echo
https://t.me/dsuset/6708 LetITFly 在这里说一句：我的频道没有弃坑停更的计划。😏
This media is not supported in your browser
VIEW IN TELEGRAM
Forwarded from dnaugsuz
如果用我之前设计的绝句来说，可以这么写（只是说可以，不是说推荐），比较一下：
不过『存储』这个特性蛮高级的，我还没设计好emmm……
https://t.me/dsuse/11777
这是一些随记，还很不成熟，我最近是没时间实现的，不过我在写一个解析组合子框架(ParserKt，已经拿它写了一个JSON解析器尚待修完……)
事 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解析器尚待修完……)
Forwarded from dnaugsuz
简而言之，如果把这些代码翻译到绝句可以用这些特性：
之所以不说是『一元』『二元』，是因为数字可以这么表达：
当然它和
所以C-forall的所有
字(Char)、数(Int)、浮(Float)、实(Double)、效果(Unit) 这些
「数据物」，还有基于『分配』（而不是『值』）的「物」
因为我实在不想引入
不过没有东西等价 struct 的，因为「struct」必须有架构器…… 就是说
最后的
事 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……
Forwarded from dnaugsuz
也的确是，不过如果要在类型级别是不是很困难？因为时间可能和输入相关
Forwarded from dnaugsuz
这方面最典型的例子就是停机问题
当然计算机科学的研究者们是不肯把程序写成这样的，不过还是可以有 Y 组合子……
halting p = if p then infinity else 1这种情况就是 True -> (没有值); False -> Int
where
infinity = drop Infinity ones
ones = 1 : ones
当然计算机科学的研究者们是不肯把程序写成这样的，不过还是可以有 Y 组合子……
Y = \f. (\c. f (c c)) (\c. f (c c))Forwarded from dnaugsuz
Tcl/tk 嘛（读 tickle）
我觉得它和 Squirrel 一样，没点文档
我觉得它和 Squirrel 一样，没点文档
Forwarded from dnaugsuz
我讨厌文档不好的语言；Lua 可是一个类似但文档很好的语言
Forwarded from dnaugsuz
所以说我其实是一个倾向工程派的人，因为我简直无法忍受学术系 Haskell 的风格，都快无法结合那一堆 phi psi mu (>>=) ($) 了……
但我一点都不觉得函数式能够解决更多问题，实际上我只是喜欢混合函数式编程的风格，和纯函数控制那一套无关
但我一点都不觉得函数式能够解决更多问题，实际上我只是喜欢混合函数式编程的风格，和纯函数控制那一套无关
Forwarded from awasarihS
其实讲道理咱想写个kt到ts的compiler 就是没看懂它这个inline是咋实现的
Forwarded from dnaugsuz
套一下呗，举个栗子：
现在你得到了 AST：
于是你可以 inline：
然后就内联上了，最终代码是这种形式：
是等价的
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)
} 是等价的
Forwarded from dnaugsuz
你的意思是…… 哪个栗子
Forwarded from ❌; Ζέφυρος Λύκος
> 兴趣和简明的第一印象，远比定义是否准确更重要吧
我觉得定义是否准确也挺重要的
假定 ta 来问你问题，你回复的是一个简明但模糊的概念（当然这不是要包山包海什么都讲），日后 ta 开始感兴趣深入了解，（手机打字慢等会x）
我觉得定义是否准确也挺重要的
假定 ta 来问你问题，你回复的是一个简明但模糊的概念（当然这不是要包山包海什么都讲），日后 ta 开始感兴趣深入了解，（手机打字慢等会x）
Forwarded from ❌; Ζέφυρος Λύκος
（接）发现与自己原有建立的知识体系不一样是，一般会有两种反应
1) 有耐心的会仔细看完文档，最后想到你为什么会这么回答 ta（当然是要花费大量的精力去弄懂这些「软件包格式」「Daivlk 虚拟机」「ObjC」等等），初学者就更不用说，更多的则是下面的情况
2) 没耐心的有的是放弃对这些事的信心，偏激一点的对你的答复不满意，反而起到相反作用，甚至觉得「屁事真多」想法，更不敢接触了
1) 有耐心的会仔细看完文档，最后想到你为什么会这么回答 ta（当然是要花费大量的精力去弄懂这些「软件包格式」「Daivlk 虚拟机」「ObjC」等等），初学者就更不用说，更多的则是下面的情况
2) 没耐心的有的是放弃对这些事的信心，偏激一点的对你的答复不满意，反而起到相反作用，甚至觉得「屁事真多」想法，更不敢接触了
Forwarded from dnaugsuz
有些事情就是不能不慢慢理解的……
小时候我妈问我一个问题，『一千克棉花和一千克钢铁哪个重』
我一下就答错了，而且他们怎么教我也还是觉得钢铁重……
其实当时就是真的不知道『重』这个修饰是什么意思，后来一年多以后才能明白。
对心智成熟的成年人来说也是一样的。
小时候我妈问我一个问题，『一千克棉花和一千克钢铁哪个重』
我一下就答错了，而且他们怎么教我也还是觉得钢铁重……
其实当时就是真的不知道『重』这个修饰是什么意思，后来一年多以后才能明白。
对心智成熟的成年人来说也是一样的。
Forwarded from dnaugsuz
我就是那个意思，有些事情是需要时间
Forwarded from dnaugsuz
学习是很佛系的一件事情，尤其是不被高考所迫的情况下
Forwarded from dnaugsuz
他不愿意学，你怎么弄也没用，除非你真的很厉害……
所以要学习的话就只能慢慢来，或许今天你非常生气，后来莫名其妙就理解了。
所以要学习的话就只能慢慢来，或许今天你非常生气，后来莫名其妙就理解了。
#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
本周 #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
duangsuse::Echo
#dev 按照预期，今天晚上我还会讲关于我这周一个 Infix 链解析优化的算法、关于 RangeMap 的扩展 — OverlapRangeMap 的一些实现 note。 本周 #school 是月假；本来是还要写 Montage 图 Python 和 Dijkstra 同类的算法的，但是由于 Parser.kt 和 Binarie 更为重要，所以我不保证它们可以被有效执行。 不过我得先分享一些东西 — 比较方便的 IDEA 快捷键 == 代码浏览 上/下个方法: (Alt+ArrowUp / Alt+ArrowDown)…
如果你实在记不住，应当先记这些：
== 基础浏览和编辑
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
当然这些都是可以自定义的，我说的是默认布局。
== 基础浏览和编辑
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
当然这些都是可以自定义的，我说的是默认布局。