charles0 最近的时间轴更新 charles0 最近的时间轴更新 |
charles0V2EX 第 632499 号会员，加入于 2023-06-04 14:47:57 +08:00 |
charles0 最近回复了
14 小时 46 分钟前 回复了 kenapote 创建的主题 › 计算机 › 计算机专业学生求推荐便携电脑，预算 5k 以内 |
不管是不是 mac ，最好内存 16G 或以上
15 小时 22 分钟前 回复了 xingyue 创建的主题 › 信息安全 › LUKS 加密磁盘后的 vps 是不是就彻底安全了，求指教 |
如果要安全性，能不能实现这样的系统：即使所有文件包括 WireGuard 配置文件都泄露了，攻击者也只能通过它连接外网，做不了其它事情，与其它部分隔离。我不太熟悉 WireGuard ，但感觉这是可行的。这才安全吧。
7 天前 回复了 admirez 创建的主题 › Python › 初一的孩子想要学 Python , 有好的视频集合推荐吗, 孩子能看得懂的书也可以 |
不建议学 Scratch ，直接从 Python 开始学就行；视频或者书本其实没那么重要，有就行了，多写点代码，弄点有趣的东西，然后不懂的去问 AI (Claude/GPT-4/DeepSeek)，比如"class 是什么"这种问题都可以让 AI 回答，AI 也能解释代码怎么工作以及提供改进建议。
7 天前 回复了 nnegier 创建的主题 › 程序员 › 可以讲下你看到的编程语言的美吗？ |
@charles0 注意这上面的缩进没了
7 天前 回复了 nnegier 创建的主题 › 程序员 › 可以讲下你看到的编程语言的美吗？ |
一个微软研究院的编程语言[Koka]( https://github.com/koka-lang/koka)，函数式强类型，用 algebraic effect 管理任意的副作用(可用来实现协程和 async/await 等等)，它非常漂亮和统一，在语法和语义上都非常优雅，体现在它有一个非常小的核心语言子集，其它语言构造都可以转化成核心语言； while 只是一个普通的标准库函数；所有圆括号永远先求值而所有花括号都会后续求值零次/一次/多次(作为匿名函数)；使用类似 Python 的缩进来省略 C 风格的花括号；和 Rust 一样函数块的最后一个表达式作为返回值；函数式语言标配的类型推导和模式匹配；所有 a.f 都等价于 f(a) ......
这个编程语言属于研究性质，可能对于缺少函数式编程背景的人来说有点难懂，而且资料较少，需要参考它的论文、文档、示例还有测试用例，一个例子如下：
```
// A custom generator effect (which is polymorphic)
effect yield<a>
fun yield(x: a): ()
// Traverse a list and yield the elements (which is also polymorphic) with 'yield' effect
fun traverse(xs: list<a>): yield<a> ()
match xs
Cons(x,xx) -> { yield(x); traverse(xx) }
Nil -> ()
fun main(): console ()
with fun yield(i: int) // Handles the 'yield' effect
println("yielded " ++ i.show) // Printing requires 'console' effect
[1,2,3].traverse
```
这个编程语言属于研究性质，可能对于缺少函数式编程背景的人来说有点难懂，而且资料较少，需要参考它的论文、文档、示例还有测试用例，一个例子如下：
```
// A custom generator effect (which is polymorphic)
effect yield<a>
fun yield(x: a): ()
// Traverse a list and yield the elements (which is also polymorphic) with 'yield' effect
fun traverse(xs: list<a>): yield<a> ()
match xs
Cons(x,xx) -> { yield(x); traverse(xx) }
Nil -> ()
fun main(): console ()
with fun yield(i: int) // Handles the 'yield' effect
println("yielded " ++ i.show) // Printing requires 'console' effect
[1,2,3].traverse
```
69 天前 回复了 hez2010 创建的主题 › 程序员 › 运行 100 万个异步并发任务需要多少内存 |
Select Language