R
Riyo
@ymdfield
Haskellで代数的エフェクトライブラリを作っています: https://github.com/sayo-hs/heftia 最近はLean4に入門中です。
Tokyo, Japan
Joined August 2023
110Following
249Followers
Pinned
R
Riyo@ymdfield · Oct 17
This is Heftia, the Haskell algebraic effects library that I am developing. github.com/sayo-hs/heftia… 1. There is a future programming paradigm called algebraic effects.
1
5
25
8
3.0K
Riyo Retweeted
箱
R
R
R
R
Riyo Retweeted
る
るふぁ@lpha_z · Jul 20
はてなブログに投稿しました #はてなブログ Lean 4に入門する - よーる lpha-z.hatenablog.com/entry/2025/07/…
0
5
14
7
2.0K
Riyo Retweeted
ゆ
ゆきくらげ ଳ@yukikurage_2019 · Jul 21
HO Effect の諸々の問題は Return type が変わることに起因すると思っているので、それが解決出来ないとな……と思っている
1
1
7
1
865
R
Riyo@ymdfield · Jul 20
Many effect systems have emerged and no doubt more will appear yet they often share the same theoretical foundations, making it possible to align and translate their concepts. I think it's time to transcend language and implementation barriers to organize core concepts and terms
0
0
6
1
1.0K
Riyo Retweeted
研
研究、スライド作成、丁寧な生活@Alwe_Logic · Jul 19
1
2
52
7
2.0K
Riyo Retweeted
K