Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 15-Jun-2024 21:11:11 JST きゅーけー

   リストの非決定性モナド、正格評価の言語でそう命名すると誤解をあたえそうなので Applicative の方を重視して cartesian-product と名づけたろ。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 15-Jun-2024 21:15:38 JST きゅーけー

     in reply to

     Python だと cartesian ってわざわざ付けてないなあ。うーん、悩むな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Sunday, 16-Jun-2024 17:07:06 JST きゅーけー

     in reply to

     srfi-41 を使うことで非決定性計算は普通にできたので List も Stream もデフォルトを非決定性計算モナドということにした。