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
当然这些都是可以自定义的，我说的是默认布局。
ParserKt 已经在设计上准备好进行第一次重写，这次重写会包含以下内容：
+ 针对 BulkFeeder 什么的；lineNumber 只能是 LF/CR/CRLF 中的一种，不可能在 Feeder 层面同时兼容
+ 对类似 ParsingFeeder、TreeRangeMap 的结构，开放一些辅助方法的覆写以提升代码重用性
+ 提供 reduceOr 和 leftrec 特性（左递归文法支持）
+ 针对基于 Buffer 的 MarkReset，它的 stack 必须是 lazily evaluated [
+ takeWhile 和 dropWhile 会被重命名为 takeTerminate; skipTerminate，FeederOpt 里的 takeUntilIn, skipWhileIn 重命名。
+ Folder 架构会有更多实例，比如
基本的原子解析器会被定义为内联的
+ 会加入很多扩展的内联解析修饰 (pre, effect, …)
+ Box<T> （就是可空版的 Maybe）会被正式包装好，也包括 map/flatMap 操作
+ 针对 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 操作
在我证明了它可以解析 JSON 和 Kotlin 之后，我就会抛弃现在叫 jison 的 ParserKt；完全重写 ParserKt
新的库会更加模块化、更简单，并且会实现这次没有实现的 source map 和
新的库会更加模块化、更简单，并且会实现这次没有实现的 source map 和
clamDown 镇定解析策略。老版本的 ParserKt 不会维持多久的，它有太多的问题；尽管有不少代码都是好的，但是依然需要彻底脱胎重构、去除冗杂和莫名其妙的设计