関数型プログラミング言語Haskell Part34 (667レス)
上
下
前
次
1-
新
397
(1)
: 2024/10/01(火)22:05
ID:4kH314XL(2/3)
AA×
[
240
|
320
|
480
|600|
100%
|
GIF
|
べ
|
レス栞
|
レス消
]
397: [] 2024/10/01(火) 22:05:17.67 ID:4kH314XL 圏論全体だと…当たり前のことを構造として研究してるだけなので、圏論というよりはHaskellの型クラスとの合わせ技で関手(Functor)の方がfmap的なのを他の言語にも導入すれば役に立つかも 圏論の関手を一言で言えば(関数も含めた)型変換 (Hakellだと入れ物前提にすることで、関数ごと型変換を実現。本来はもっと柔軟) 自然変換は一言で言えば単位変換とか、大文字小文字の変換 http://mevius.5ch.net/test/read.cgi/tech/1639713446/397
圏論全体だと当たり前のことを構造として研究してるだけなので圏論というよりはの型クラスとの合わせ技で関手の方が的なのを他の言語にも導入すれば役に立つかも 圏論の関手を一言で言えば関数も含めた型変換 だと入れ物前提にすることで関数ごと型変換を実現本来はもっと柔軟 自然変換は一言で言えば単位変換とか大文字小文字の変換
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 270 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.052s