Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 16-Apr-2024 01:07:11 JST きゅーけー

   趣味で作っている JSON パーサー、現実的なことを考えると文字を一文字読み取る処理は失敗する可能性があるので、Iterator Char を渡すインターフェースから Iterator (Result :e Char) を渡すインターフェースにするという工事をしてた。
   ロジック部分はモナドを使って実装しているのだけど、このレベルの仕様変更をしてもロジック部分に一切手を加える必要がなかった。
   モナドすごいのでは。

   https://github.com/tojoqk/json/commit/418fdd6b4b9f33bb9db2da3ee8a48c7ed7910ba0

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 16-Apr-2024 13:20:34 JST きゅーけー

     in reply to

     やっぱ例外放つようにしたほうがいい気がしてきた。文字の読み込みに失敗するという状況は相当に例外的な状況でありわざわざ JSON パーサーが考慮することではない気がする。