すごいHaskell

Last updated Unknown Edit Source

• Haskell等の関数型言語

  関数型言語

  なぜ関数プログラミングは重要か を読んだ後に読みたい , , とか あるデーターからどのようなデーターを「生成」するかに注目するもの それ以外の/とかだと、どう「加工」するかに注目してる 理想的な構成要素 (PCF) 基本的なデーターとその演算 変数 条件分岐 関数の定義 再帰的関数の定義 関数の使用 プログラムをとして表せる 値、分岐、演算子、関数はグラフの頂点として表す 変数は点として表す いくつかのルールがある 基本は ...

  1/3/2023

  、前から気になってたので学んでみる

• m1で環境構築面倒そうなので、とりあえずrepl.itでコード書く

• 参照透明性

  参照透明性

  from における関数が、同じ入力なら常に同じ出力を返すこと 数学っぽい というか数学がって事なのかな このおかげで、が成り立つ ...

  1/3/2023

• if文も変数宣言も全部関数ってことか?

  • 面白い

• 型クラス、protocol

  protocol

  Appleによると、 「何である」「何ができる」の二種類のprotocol 何である: Collection等 何ができる: Equatable, Comparable等 ...

  1/3/2023

  （Swift）みたいな感じかな
  • HaskellのEq、SwiftでいうEquatableと同じ感じ

感想

• すごい「数学」っぽさを感じる
  • 数学そのものというより、数学者による数を扱うための言語

    言語

    #サピエンス全史 人間の言語の変化についていろいろ書かれている 噂話ができるようになったことが革命って話とか 人類は「」を信じれるようになった、みたいな話 言葉を組み合わせられるから、この世に存在しないものでも表現できる 言語習得について ...

    1/3/2023

    の「数学」っぽい(?)
    • 表現の方法がよく分からん
    • 仕組み（遅延評価

      遅延評価

      from とか いつ呼んでも一緒なので、本当に必要になった時に関数がよばれる なので、の個数の配列も扱える 必要な要素のみ必要な時に計算されるので haskell take [13,26,..24*13] take 24 [13,26..] --無限個数の配列 この二つは、遅延評価なので同じ処理 ...

      1/3/2023

      とか参照透明性

      参照透明性

      from における関数が、同じ入力なら常に同じ出力を返すこと 数学っぽい というか数学がって事なのかな このおかげで、が成り立つ ...

      1/3/2023

      とか）もそうだし、
    • 文法（リスト内包表記とか）もそう
• 新鮮でとても面白い
  • プログラミング言語界の霧を晴らしている感じの面白さ(?)