トップページ > プログラム > 2014年08月31日 > TRAzYZli

書き込み順位＆時間帯一覧

78 位/193 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000100000000000001



使用した名前一覧書き込んだスレッド一覧
デフォルトの名無しさん
関数型プログラミング言語Haskell Part26

書き込みレス一覧

関数型プログラミング言語Haskell Part26
111 ：デフォルトの名無しさん[sage]：2014/08/31(日) 10:17:22.85 ID:TRAzYZli
>>106
型無しラムダ計算をExponential Monadの圏として解釈してlax monoidal functorを構成することで
型無しラムダ計算上のSK計算というのを圏論の言葉で解釈するという話を聞いた事がある
Applicative ((->) a)のpureがKコンビネータ <*>がSコンビネータに対応するのはそういうのと関係あるんじゃね


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。