最新

我想要一个我可以真正拥有的操作系统。大多数现代系统已经变成了由服务器控制的客户端，充斥着各种依赖（如Gtk4、Qt、Rust、Wayland），并且源代码集中在GitHub上。如果你无法审核依赖树，而大公司又控制着源代码，那么这就不再是真正的开源了。 我创建了OneManBSD来解决这个问题。它是一个基于OpenBSD的系统，构建于一台2012年的ThinkPad L430上。 项目视频： https://www.youtube.com/watch?v=2wHaoQhXOYY 项目页面： https://bialamusic.com/onemanBSD/

我只是想问问，大家的“大胆而宏伟的目标”是什么？

嗨，HN！我一直在开发Fuse编程语言，它是一种静态类型的纯函数式语言，具有高阶类型和临时多态性。它编译为GRIN整体程序优化器，生成LLVM生成的本地代码。 Fuse支持代数数据类型（ADTs）、泛型、类型方法、特征、模式匹配等，所有这些都以函数式风格实现，没有任何变异。 我已经开发这个语言五年了，代码是用Scala编写的。我从《类型与编程语言》（TAPL）一书中实现的System F基础开始编码这个语言，然后扩展了诸如具有高阶多态性的双向类型检查等概念。 我主要从Rust、Haskell、Scala和Python（在语法方面）中获得灵感。最初的想法是我希望有一种语言，具备类似Rust的概念，如：代数数据类型、特征、实现块语法等，同时又具有纯函数语义。 我非常希望能得到关于语言设计和一般使用的反馈。