Bluemo's Brain

Search

Search IconIcon to open search

関数型言語

Last updated Unknown Edit Source

    なぜ関数プログラミングは重要か

    • すごいHaskell

      すごいHaskell

      等の、前から気になってたので学んでみる m1で環境構築面倒そうなので、とりあえずでコード書く if文も変数宣言も全部関数ってことか? 面白い (Swift)みたいな感じかな HaskellのEq、SwiftでいうEquatableと同じ感じ 感想 すごい「数学」っぽさを感じる 数学そのものというより、数学者による数を扱うためのの「数学」っぽい(?) ...

      1/3/2023

      を読んだ後に読みたい

    情報科学の達人.icon Haskell, Lisp, OCamlとか あるデーターからどのようなデーターを「生成」するかに注目するもの - それ以外の手続き型言語/命令型言語とかだと、どう「加工」するかに注目してる

    理想的な構成要素 (PCF)

    • 基本的なデーターとその演算

    • 変数

    • 条件分岐

    • 関数の定義

      • 再帰的関数の定義
    • 関数の使用

    • プログラムをグラフ

      グラフ

      プロットするグラフと、のグラフの二つの意味がある このscrapboxでは、のグラフを指す 使用頻度/リンクされる価値はこっちの方が高いかなーと プロットするグラフは、とかの言葉を使う https://ja.wikipedia.org/wiki/グラフ理論 種類 密vs疎 ...

      1/3/2023

      として表せる

      • 値、分岐、演算子、関数はグラフの頂点として表す
      • 変数は点として表す
    • いくつかのルールがある

      • 基本は深さ優先探索
      • 箱にぶつかったら、一度引き返す
      • 変数はぶつかったら、それに繋がってる全てに具体化して値を与える