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