👍 Create programming language article

unhappychoice · Nov 8, 2020 · 52b8a4c · 52b8a4c
1 parent b3fe91e
commit 52b8a4c
Showing 1 changed file with 28 additions and 0 deletions.
diff --git a/source/articles/2020-11-01-category_programming_language.html.md b/source/articles/2020-11-01-category_programming_language.html.md
@@ -0,0 +1,28 @@
+---
+title: 圏論 | 使用する言語
+tags: programming,category_theory
+---
+
+
+結論から言うと、Rubyで説明しようと思う。
+理由としては、 HaskellやScala、Swiftはよく説明に利用されているのに対して、Ruby等の動的型付けな言語ではあまり説明がされないことによる。
+が、下記のような言語のサブセットを考えることにより、型を対象、射を関数とした圏を作ることはできるだろうし、そこから得られるモナドなどの構造は当たり前に有用であるし、すでに利用されている。
+静的型付けな言語の経験があったり、よく訓練されたプログラマーなら関数の純粋性の重要性を理解していると思うので、自然と下記の様なサブセットを前提としてプログラムを書いているように思う。
+
+さらに直近、 Ruby3では型定義やプロファイラの利用が可能になるため、従来よりも型に向き合わなければいけない度合いが増える、という話もあったりする。
+
+- 関数について
+    - 入力の型と出力の型は決まっていものとする
+    - 実装が変化したりしない
+    - 純粋な関数とする 
+      - 例外をださない
+      - 副作用を行わない
+      - 値を必ず返す
+          - ユニット型はOK
+          - `() -> Int`
+          - `Int -> ()`
+
+- 関数の同値性
+    - 全ての `x` に対する返り値が値が等しい
+
+[^]: よくある誤解で、Ruby は静的型付けじゃないので型がない（？）のような