[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
278: 273 2019/03/24(日)16:35:05.61 ID:xnhJaehN(2/2) AAS
よく判らないアドバイスだったな…
勉強・研究しないで突っ込むのはそっちの方が賭けてる感あるし、
すぐに書き終えるなら確かにそういう難しさはないが、
ソフトウェアのプロジェクトって面白いものは大抵長くなると思う。
>>277
Windows環境はWSLではダメなん？
418(1): 2019/08/17(土)01:26:41.61 ID:ES53moma(1) AAS
圏論の知識って役に立つの？
480(1): 2019/09/18(水)22:46:56.61 ID:sk3yb4Af(1) AAS
東京だと
ジュンク堂や紀伊国屋でさくっと手に入ったけど
まあ普通じゃないな
601(2): 2019/10/22(火)02:26:29.61 ID:Y6ckqEQv(2/2) AAS
そして、圏論の主張は変数は引数無しの関数でも有ると言う事。
以下は関数である。
f x = 2 * x
しかし、部分適用されたカリー化関数は関数でもあり、変数でもある。
f = (2*) (関数でもあり、関数という値を返す変数でもある)
すなわち、x = 1のようなただの変数も、つねに1を返すxと言う引数の無い関数と見なせる。
省7
823: 2019/12/01(日)21:43:32.61 ID:DFWCjLrg(1) AAS
いわゆる同型を除いて一意的（up to isomorphism）なモデルなことではないか。
どういうものかはわからんが。
925(1): 2020/01/02(木)06:03:17.61 ID:Ee9Lo0CG(1) AAS
>>920
海外にはRemote OKなところあるよ
A List of companies that use Haskell
外部ﾘﾝｸ:github.com
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s