Home | Notifications | New Note | Local | Federated | Search | Logout
Note Detail
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-03 08:56:02)
なんで Rhombus について感動してるのかわかってきた。
私はかつて Typed Racket で型クラス風の機能をマクロ生成マクロ生成マクロで書いたことがあったのどけど、Rhombus ならもっと簡単かつ安全に同等の機能がかけそうに感じている。
https://github.com/tojoqk/type-class/blob/master/type-class.rkt
モナドの例: https://github.com/tojoqk/type-class/blob/master/monad.rkt
---Reply---
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 09:38:30)
うーん、dot providerの仕組みではモナドの return （もしくはアプリがティブファンクターの pure）はかけないな。流石にこれは無理か…それともなにかうまくやる方法がないか…
Reply
---Replies---
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-09-04 09:50:10)
レシーバなしのコンパイル時ディスパッチはできてもおかしくなさそうだな。これができればいける。