分散原理主義者としては、とにもかくにも「誰とも知れぬ他人を登録させるな」の一言なんだけど、実用上よりはアプリケーション設計としてどうすれば堅牢になるのかという、セキュリティの面で興味がある
マイケル・ジャクソンが送り出したヒットナンバーに隠された秘密とは? - GIGAZINE https://gigazine.net/news/20180909-michael-jackson-make-sound/
「Haskellとか型ありきとか言うけど全然そうじゃないじゃん?>< Adaみたいなのこそ型ありきじゃん><」みたいな齟齬?ってつまりこういう事なのかも?><
-- “型”を語る際の7つの重大な誤り | POSTD https://postd.cc/7-deadly-sins-of-talking-about-types/
オレンジが言う方の型(=だいたいAdaの発想)ってなんて言えばいいんだろ?><