wasabi
LightNews LightNews
banner
wasabi315.bsky.social
wasabi
@wasabi315.bsky.social
26 followers 37 following 25 posts
:: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)

https://wasabi315.github.io/en/
Posts Replies Media Videos
wasabi315.bsky.social
停止性も証明できた！
July 31, 2025 at 8:13 AM
wasabi315.bsky.social
Added an algorithm for dependent types!
github.com/wasabi315/ty...
March 5, 2025 at 7:10 AM
wasabi315.bsky.social
Added an algorithm for SystemF!
github.com/wasabi315/ty...
February 22, 2025 at 9:19 AM
wasabi315.bsky.social
網羅性検査を実際に動かしてる例
December 15, 2024 at 2:10 AM
wasabi315.bsky.social
リポジトリ: github.com/wasabi315/lazy
GitHub - wasabi315/lazy: STG-like lazy evaluation mechanism in JavaScript
STG-like lazy evaluation mechanism in JavaScript. Contribute to wasabi315/lazy development by creating an account on GitHub.
github.com
May 11, 2024 at 12:33 AM
wasabi315.bsky.social
そういえば分割束縛できる機能もつけた、ちゃんとlazyなパターンマッチになってる
画像はTardisモナドのbindの実装
May 11, 2024 at 12:32 AM
wasabi315.bsky.social
ErlangのVMで動くからDistributedなSignalがあると面白いかも…？(Signal同士がmessage passingで更新情報を送り合う感じ)
March 18, 2024 at 2:08 PM