ireina's recent timeline updates
ireina's repos on GitHub
Java · 6 watchers
divide-and-conquer-leetcode
Divide and conquer all leetcode problems
Rust · 5 watchers
abyss-rs
Rust implementation of Abyss programming language
Rust · 4 watchers
algoroutine
Algebraic effects in rust
Scala · 3 watchers
bytc
Purely function byte code generator.
1 watchers
fp-resources
Functional programming great resources
Rust · 1 watchers
kinds
Higher-Kinded Types in Rust by GAT
1 watchers
plt
λΠ Programming Language Theory
Rust · 1 watchers
reading-liner
Reading and convert offset and line-column location
Rust · 1 watchers
thomson
Toml to json with key rules.
GDScript · 0 watchers
CargoDocTranslate
Rust语言Cargo文档动态更新翻译
0 watchers
dance
Make your cursors dance with Helix-like modal editing in VS Code.
0 watchers
helix
A post-modern modal text editor.
0 watchers
lua
The Lua repo, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests. Send any issue to the Lua mailing list https://www.lua.org/lua-l.html
Rust · 0 watchers
refarena
High-performance arena-based Rc
ireina

ireina

Computation effect is all you need.
V2EX member #630714, joined on 2023-05-24 23:57:22 +08:00
写Haskell、Rust、Golang、C。
ireina's recent replies
@levn 继续往下学,你会看到 Free monad 和 algebraic effects ,中间你还会尝试 finally tagless 和 readerT pattern 。参数式抽象发挥到极致就会变成 Haskell 。
About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Privacy   ·   Solana   ·   3048 Online   Highest 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 31ms · UTC 06:10 · PVG 14:10 · LAX 23:10 · JFK 02:10
♥ Do have faith in what you're doing.