ireina's recent timeline updates ireina's recent timeline updatesireina'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
Go · 4 watchers
fgo
Functional GOlang
4 watchers
programming-effects
Programming effects
Scala · 3 watchers
blog
My personal blog written purely in Scala.
Scala · 3 watchers
bytc
Purely function byte code generator.
Go · 2 watchers
summoner
Typeclass system and dependency injection for Golang
1 watchers
fp-resources
Functional programming great resources
Python · 1 watchers
gzsl-seg
Generalized Zero-Shot Learning Segmentation
Haskell · 1 watchers
hastags
HasTags is a small, fast XML/HTML/CSS construction library for Haskell that takes fragments in plain Haskell code.
Rust · 1 watchers
kinds
Higher-Kinded Types in Rust by GAT
1 watchers
ladders
Ladders of various study fields, New ideas are welcome!
1 watchers
plt
λΠ Programming Language Theory
Rust · 1 watchers
reading-liner
Reading and convert offset and line-column location
Rust · 1 watchers
stream-locate-converter
Reader offset and line-column location converter
Rust · 1 watchers
thomson
Toml to json with key rules.
Lua · 1 watchers
wormhole
A wormhole which connects development environments
C++ · 0 watchers
abyss
A programming language made in abyss
0 watchers
anime-list
My personal anime list.
Shell · 0 watchers
base
base pages
JavaScript · 0 watchers
blog-static
Repo to store blog static package
CSS · 0 watchers
blogseq
Blog with Logseq
0 watchers
cafebabe
Tiny Scala library to generate class files for the JVM
GDScript · 0 watchers
CargoDocTranslate
Rust语言Cargo文档动态更新翻译
Rust · 0 watchers
codewars.note
Codewars solutions of various languages
0 watchers
dance
Make your cursors dance with Helix-like modal editing in VS Code.
TypeScript · 0 watchers
dashboard
dashboard for personal use
0 watchers
dotconfig
Emacs Lisp · 0 watchers
emacs.d
My emacs configuration.
Rust · 0 watchers
flame
Scala · 0 watchers
fp-in-scala3
Functional Programming in Scala book study in Scala3
Rust · 0 watchers
game-of-life-wasm-rs
Game of life implemented in WASM with Rust.
0 watchers
helix
A post-modern modal text editor.
0 watchers
ireina7
灰の魔女
JavaScript · 0 watchers
ireina7.github.io
Personal blog.
Rust · 0 watchers
leetcode.note
Leetcode solutions of various languages
Go · 0 watchers
lisp-calculator
A simple calculator server with lisp syntax, just for testing a new approach to build go apps.
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
Go · 0 watchers
mockgpt
Mocking with GPT!
0 watchers
musix
Music library of my interests
CSS · 0 watchers
org-to-html-themes
Org-mode to HTML themes
Rust · 0 watchers
os-lab
OS lab
Rust · 0 watchers
parsec-rust
Parser combinators implemented in Rust
Agda · 0 watchers
plfa.study
Study notes and solutions of PLFA
JavaScript · 0 watchers
query-web-framework
Small, portable mobile question answering web framework
Rust · 0 watchers
refarena
High-performance arena-based Rc
Java · 0 watchers
reff
Remote Effects, a RPC framework with remote functional effects.
Rust · 0 watchers
rim
Scala · 0 watchers
scala3-playground
Playground of various new features in Scala3
0 watchers
scalene
An interactive app for music learning.
C · 0 watchers
server-demos
Toy servers written in C.
Coq · 0 watchers
sf.study
Study notes of Software Foundations
Rust · 0 watchers
summon
Summon definitions of language
Go · 0 watchers
void
From void comes whatever you want.
Python · 0 watchers
zero-shot-segmentation
Zero Shot Segmentation experiments
Python · 0 watchers
zsl-seg
Zero-Shot Segmentation
 |
ireinaComputation effect is all you need. V2EX member #630714, joined on 2023-05-24 23:57:22 +08:00 |
ireina7
写Haskell、Rust、Golang、C。
ireina's recent replies
May 26, 2023 Replied to a topic by myid › Haskell › 为什么学了 Haskell，果然印证了 V2EX 上的 智者（忘记网名）的断论，“学了 Haskell，回不去了“, 回不去了耶。 |
@levn 继续往下学，你会看到 Free monad 和 algebraic effects ，中间你还会尝试 finally tagless 和 readerT pattern 。参数式抽象发挥到极致就会变成 Haskell 。
Select Language