ページをブックマークして共有する

COMMENTコメントで知る

記事へみんなの感想が集まる

bouzuya 「型による表明」をとても大切だと思っている。ある型を満たしている→前提が満たされていると分かる。これはたとえば前提の検査を都度の繰り返しが不要になるとか変更の局所化・漏れの防止などにも繋がる。 2021/12/08
atsushifx 次世代のプログラミングでは、なんというか正しさを証明する言語が主流になりそう。 Programming 設計契約プログラミング 2021/12/08
dekasasaki panic! いいなー。古いJavaだとランタイム例外で即落としするんだろうけどIllegalArgumentやらIllegalStateやら、どれ使おうか考えるのが、たまに面倒になっちゃう。そしてこれをcatchされて延命されると泣く。 2021/12/08
yarumato “他の言語にも適用できる考え方。真に安全を実現するには、関数型プログラミング、ドメイン固有型（プリミティブ型ではなく固有型を使えば探査機は燃えなかった）、契約による設計（クラッシュは最も正しい行い）” 2021/12/08
yasu-osu Rustに限らない、汎用的な設計技法を学べるコンテンツだった。我々の組織も、こういうところまで共通認識化していけるようにしていきたい。 2021/12/09