Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 26-Jan-2022 18:31:07 JST きゅーけー

   Coalton、まだ match の網羅性チェッカが入っていないみたい。これ作るの大変そうだな……。何かお手伝いしたいが知識と(あらゆる)余裕がない。https://github.com/coalton-lang/coalton/issues/8

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 26-Jan-2022 18:32:18 JST きゅーけー

     in reply to

     Haskell とかの代数的データ型のうまみの多くは match の網羅性チェックにあるような気がするし……。