サクサク読めて、アプリ限定の機能も多数！
数学は状態を持たないから純粋関数だけで組んだ処理の妥当性は数学的に証明でき、状態を持つ普通のプログラムは証明がほとんど不可能だからテストで確認せざるをえないって話よね。しらんけど！
auto_chan のブックマーク 2023/02/09 11:46
このブックマークにはスターがありません。 最初のスターをつけてみよう！
zenn.dev/tockri2022/08/06
のように、式を変形してから代入するというテクニックが使えます。 もちろんこの式変形はxとyがどんな実数のときでも成り立ち、特定の値だとうまく行かない、なんてバグはありません。 割り算を含むような式では...
197 人がブックマーク・21 件のコメント
＼ コメントが サクサク読める アプリです ／
数学は状態を持たないから純粋関数だけで組んだ処理の妥当性は数学的に証明でき、状態を持つ普通のプログラムは証明がほとんど不可能だからテストで確認せざるをえないって話よね。しらんけど！
このブックマークにはスターがありません。
最初のスターをつけてみよう！
なぜmapやreduceやfilterなのか〜前編｜こわくない関数型プログラミング
のように、式を変形してから代入するというテクニックが使えます。 もちろんこの式変形はxとyがどんな実数のときでも成り立ち、特定の値だとうまく行かない、なんてバグはありません。 割り算を含むような式では...
197 人がブックマーク・21 件のコメント
＼ コメントが サクサク読める アプリです ／