サクサク読めて、アプリ限定の機能も多数!
「型による表明」をとても大切だと思っている。ある型を満たしている→前提が満たされていると分かる。これはたとえば前提の検査を都度の繰り返しが不要になるとか変更の局所化・漏れの防止などにも繋がる。
bouzuya のブックマーク 2021/12/08 16:47
Rustで真に安全なプログラムを書く方法 - かとじゅんの技術日誌「型による表明」をとても大切だと思っている。ある型を満たしている→前提が満たされていると分かる。これはたとえば前提の検査を都度の繰り返しが不要になるとか変更の局所化・漏れの防止などにも繋がる。2021/12/08 16:47
このブックマークにはスターがありません。 最初のスターをつけてみよう!
blog.j5ik2o.me2021/12/08
この記事はRust Advent Calendar 2021の12/8日の記事です。 Rust前提の記事として書きましたが、他の言語にも適用できる考え方なので、ほかの言語勢の方々もよければお付き合い下さい。 今回のテーマは「Rustで真...
254 人がブックマーク・11 件のコメント
\ コメントが サクサク読める アプリです /
「型による表明」をとても大切だと思っている。ある型を満たしている→前提が満たされていると分かる。これはたとえば前提の検査を都度の繰り返しが不要になるとか変更の局所化・漏れの防止などにも繋がる。
bouzuya のブックマーク 2021/12/08 16:47
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Rustで真に安全なプログラムを書く方法 - かとじゅんの技術日誌
blog.j5ik2o.me2021/12/08
この記事はRust Advent Calendar 2021の12/8日の記事です。 Rust前提の記事として書きましたが、他の言語にも適用できる考え方なので、ほかの言語勢の方々もよければお付き合い下さい。 今回のテーマは「Rustで真...
254 人がブックマーク・11 件のコメント
\ コメントが サクサク読める アプリです /