Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 reblogged at 6 years ago
Masaki Hara qnighy@qnmd.info
Rust, 事前条件や事後条件が視える超人類が設計したとしか思えない、形式手法にお誂え向きの構造なのに、「やあやあ、依存型でござい」みたいなのがないので、人類でも頑張ればちゃんと書けるようになってるのがすごいんだよな