『编程』
摘要
本页面记载一些计算机方面的技术文章
目录:
其实我是一只会咕咕叫的肥美鸽子!!
虽然写博客好麻烦, 但我还是尽量保持更新吧? 只要有空? 应该吧 :)
有一些文章难度比较大, 资料也缺乏, 整理起来费时费力, 鉴于个人能力正在缓慢学习ing
目前, 以下大部分文章还是我高中时期写的, 像是 haskell 之类的系列理所当然地被鸽掉了!!!
关于每行前面框框的说明:
<--这个表示以下情况之一: 写完了 or 该系列文章间关联不大随缘更新<--这个表示还没更完 (新建文件夹! 咕咕咕咕咕!!!)🔗 编程语言
> rust
一门高性能, 工具链极其友善, 类型严格显式, 面向未来的编程语言
原神, 启动! 启动! 启动! !
TUI 编程 (系列 && ratatui-rs)
clap-rs 简介 (命令行)
rust 中的类型魔法 (系列 && 随缘更新ing)
GUI (系列 && gtk4/iced/relm4)
宏 (系列 && 声明宏与过程宏 && 更了一半)
异步 (系列 && 还未动笔)
并发中的原子与锁 (系列 && 翻译了两篇)
> ocaml
一门简洁, 易于学习, 友善的工业级函数式编程语言
Jane Street 大哥! 快来救救啊! ! 有你在想必这语言有着光明的未来吧!
cs3110 (系列 && 康奈尔大学的ocaml入门公开课)
ocaml-exercises (官网上的 99 道练习题)
> gleam
一门构建于 BEAM 平台(Erlang/Elixir 那个), 想要赋予 Erlang/OTP 静态类型的编程语言
呃, 又一门小众的新语言?
> lisp/scheme
一门, 呃, 或许是很多门? 反正看着像长着也像 lisp 的, 哪怕没括号了也能叫 lisp!原谅我把 lisp 与 scheme 混在一起, 就不区分了
🔗 Linux
> 系统配置
放一个 nixos 与一个 void 吧, 都挺不错的
感兴趣的还可以去搜搜 guix, 类似 nixos 的可复现配置
nixos 专题 (系列 && nix介绍 && 系统配置 && 杂七杂八)
> 桌面美化
传统桌面中, 我个人比较喜欢 GNOME, 它是对平板等触碰设备适配最好的
平铺式的话比较喜欢 niri, 因为 无线卷轴, 太 TM 爽了!
🔗 文本编辑
关于文本/代码的编辑(器)方面的一些技术
介绍一些喜欢的编辑器, 顺带翻译一些杂七杂八的博客文章
> 编辑原理
Zed's blog (系列 && 翻译)
> 编辑器使用
helix-editor (一个用 rust 编写的后现代编辑器)
🔗 书籍
> SICP
关于 SICP(计算机程序的构造与解释) 这本书的思考, 以及课后习题答案
暂时先做个目录, 预计以年为单位进行更新, 也可能永远没时间更了, 悲
SICP (系列)