Conversation

Notices

1. らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Friday, 29-Jan-2021 02:54:19 JST らりお・ザ・何らかの🈗然㊌ソムリエ

   XML Schema とか、あんなんネイティブのデータ構造に翻訳する気がしない (いや原理的には表現力めっちゃ高い型システムがあれば可能なんだけど、嫌すぎる)

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Friday, 29-Jan-2021 02:55:43 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     validation は validation のロジック記述と割り切って、 validate された値のみを持つと (コンパイラでなく) 開発者が保証したオレオレ型を用意してやるというのがまあ実用上の妥協点で、そうなると検証を通ったデータを元にしていれば中の構造が必ずしも生データと一致している必要はないので、やっぱりそこに構造を別々にする境界を生やせる

   • らりお・ザ・何らかの🈗然㊌ソムリエ (lo48576@mastodon.cardina1.red)'s status on Friday, 29-Jan-2021 03:01:56 JST らりお・ザ・何らかの🈗然㊌ソムリエ

     in reply to

     • tateisu​ :force:​:r_9a:

     @tateisu そもそも I/O 境界で予期せぬデータが来ると落ちるというのが理解できないんですよね…… deserializer が普通に実行時エラーを返せば済む話で、そこからデフォルトメッセージなり「未知」という variant なりで妥協した扱いをするというのは普通にできると思うんですが (言語によっては面倒だったりするのかもですが)

   • tateisu​ :force:​:r_9a: (tateisu@mastodon.juggler.jp)'s status on Friday, 29-Jan-2021 03:01:57 JST tateisu​ :force:​:r_9a:

     in reply to

     @lo48576 MastodonやPleromaが新種の通知を実装したらアプリが落ちるやつだ