[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
282: 2020/04/27(月)21:15:06.74 ID:6TeRc6dT(1) AAS
静的型付けの話は一切せず
実行時の振る舞いに関する持論をひたすら展開してモナドがーって
これ半分オブジェクト指向だよ
型はオブジェクトではないから型の話を一切しないんだよ
374(2): 2020/08/14(金)12:57:45.74 ID:XgOd4/dA(2/3) AAS
リストとタプルについてなんですが、Pythonでのリストとタプルとは違いがあるようです：
let a = [1,2,3]
drop 1 a
としてもa == [2,3]とはなりません。
let b = (1,2,3)
drop 1 b
とするとエラーになります。
Pythonの場合は、a = [1,2,3]に要素を追加できましたが、b = (1,2,3)にはタプルがイミュータブルであるため追加できませんでした。
ですが、b[1:]とすれば、(2,3)というタプルが得られたと思います。
どう考えればいいのでしょうか？
433: 2020/08/23(日)23:06:04.74 ID:ts+Zp8he(2/2) AAS
ごめん、関係ないと書いておくべきだった。
今後は、自分の投稿は全て無視して欲しい。
誰かの質問に答えているつもりはなくて、
プログラミングのネタを拾っているだけ。
ついでなので、前回のペーストビンにアップしたネタについて書く。
まず、タプル、状態、継続以外の随伴はちゃんとしていない。
アウェイの圏をちゃんと書こうとすると泣きが入る。Haskellは集合の圏では
超強力だが、それ以外の圏に対しては並になる。中は見てないが、
[species](外部ﾘﾝｸ:hackage.haskell.orgでは、
圏をほぼフルスクラッチで作っているんじゃないかと思う。
で、コードにする段階でウソをついているのだが、素直にウソをつけば、
上手く行くことがあるということがあそこで得た教訓。
あそこに書いたモナドでパラメーター対象を２つ持つモナドは全て`R p (L p a)`
という形をしているが、コードでは型宣言を省略しているので、結局、
非対角成分を含めた`R p (L q a)`という形の関手についてのKleisli合成が
得られている。それがレンズが出てきた理由の一つ。
書いたときは知らなかったのだが、非対角成分を含めた関手を
[インデックスモナド](外部ﾘﾝｸ:stackoverflow.com
というらしい。パラメーター対象をもつ随伴からKleisli合成を計算すれば、
自然とインデックスモナドになってしまう。ただし、圏論プロパーに
インデックスモナドと言っても通じないと思う。Haskellでの専門用語だと思う。
472(2): 2020/09/05(土)14:05:39.74 ID:14+GNjHV(1) AAS
Haskellで書かれた実用的なアプリ無いからな。
514(1): 2020/09/14(月)23:29:35.74 ID:XfiH3m4/(1) AAS
そのままじゃん アプリカティブファンクター
なんだから、そのまま日本語訳でよくね
つまり、関手 プログラマーにとって使いやすくしただけ
ところで、”Applicative (≒Monoidal)”なのか？
こっちの方がい意味不明なんだが
モノイドって意味なら、≒モナド の方
モナイド則＝モノイド則 モナドの方は、自己関手って条件が付くだけ
しらんけど
588: 2020/11/23(月)14:40:17.74 ID:B9DSaA3p(2/3) AAS
新しいなんて嘘つくより古いものは古いものとして扱う歴史や古文の方が正しい
636: 2021/01/12(火)09:05:11.74 ID:IiGdAufF(1) AAS
哲学からは法が生まれますが…
665(1): 2021/01/20(水)23:15:01.74 ID:Sb+ElJSJ(1) AAS
>>664
まぁ今回のは諦めます
出来るのなら見つけたホムペの人が紹介してくれてただろうし
746: 2021/02/17(水)16:20:43.74 ID:mAFPwKeZ(1/2) AAS
一回Set型にしてからListに戻す
804: 2021/04/07(水)15:24:37.74 AAS
AA省
934: 2021/10/22(金)23:18:21.74 ID:5ielnrPe(1) AAS
haskellってpythonに影響与えてるんやな
どおりで雰囲気似てる感じするんか
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s