関数型プログラミング言語Haskell Part34 (667レス)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
39: デフォルトの名無しさん [] 2022/01/03(月) 12:59:34.38 ID:hLrwvjQQ 今回の場合1ワード消費するたびにスタック一個消費するから必要なメモリリソースが倍以上になる可能性もあるから意味はあるかな 特にコレは>>34の方法だと必要なメモリリソースがデータ保持する分を除けばlogオーダーになるからな しかも読み込んだデータは順次捨てていけるし(そこまでのカウント結果を保持しないといけないので有限オートマトンでは無理だけど有限オートマトン以上、チューリング完全以下、こういう計算クラスは名前ついてるのかな?) 個人的にはこういうときメモリ線形、時間線形までは許さないと大した事できないことが多いのでそれ以上のこだわりは持たないようにしてる 数学的研究対象とかにするなら別だけど http://mevius.5ch.net/test/read.cgi/tech/1639713446/39
160: デフォルトの名無しさん [sage] 2022/11/07(月) 12:18:26.38 ID:y2qdzeiV 誤操作スマソ http://mevius.5ch.net/test/read.cgi/tech/1639713446/160
233: デフォルトの名無しさん [] 2023/09/16(土) 21:25:49.38 ID:6682wM15 等価判定演算子では順番を問わないが、 記法としては順番によるインデックスアクセスもできる、が便利だと思うのですが 一番基礎的な集合の一つである自然数が順番を重視して扱うように大半の集合は順序を整頓して書かないと実用上不便ではないでしょうか? http://mevius.5ch.net/test/read.cgi/tech/1639713446/233
342: デフォルトの名無しさん [] 2024/08/29(木) 20:48:46.38 ID:gtm/5H5m >>339 独自の(+)を自動で使い分けてもらうにはNum型クラスのインスタンスにする必要があるけど、それでも見分けるには型が違わないといけない。 独自の(+)は、独自の型を受け取りますか? そうじゃないとPreludeの(+)と判別する術がないけど。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/342
344: デフォルトの名無しさん [] 2024/08/31(土) 21:17:53.38 ID:XbdVGeAf ワカランドとして .+. と .-. と .*. を定義することにしました。しかし本質的に解決するにはNumクラスのインスタンス宣言するらしいですね。 しかし独自型同士の+と-、Rationalとの*、Rationalとの/はできますが、 独自型同士の*、独自型同士の/は定義不可能です。 従ってNumクラスになることはできませんでした。 結局どうしていいか判らんどからのワカランドで落ち着きました。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/344
415: デフォルトの名無しさん [sage] 2024/10/02(水) 20:53:28.38 ID:4E8lSXKR 出番ですよ >>399 http://mevius.5ch.net/test/read.cgi/tech/1639713446/415
548: デフォルトの名無しさん [sage] 2024/10/08(火) 23:08:48.38 ID:Fz/Eetv9 こんなんだけど >通常では,自然数などのデータ型は,効率のためにシステムに組込んであるが,CPLでは定義しなければならない. >また,定義したとしても,機械本来の足し算,かけ算を使用できず,独自に定義しなければならない. http://mevius.5ch.net/test/read.cgi/tech/1639713446/548
552: デフォルトの名無しさん [sage] 2024/10/15(火) 05:30:10.38 ID:CzVFQLgH みんなStackだよ Cabalの依存関係解決はましになったとはいえプロジェクト構成の記述はStackのほうがよくできてるし http://mevius.5ch.net/test/read.cgi/tech/1639713446/552
553: デフォルトの名無しさん [] 2024/10/15(火) 22:34:15.38 ID:2I09ehic 詳しい情報サンクス CabalやめてStackに帰ります GHCup tuiで選べるCabalやHLSやStackも全部recommendedに落とします http://mevius.5ch.net/test/read.cgi/tech/1639713446/553
605: デフォルトの名無しさん [sage] 2024/11/16(土) 22:29:43.38 ID:MlIU4R6X 多分加筆してると思うよ 日本の出版社はなぜかページ数制限があることが多いんだけど 海外にそれはないし http://mevius.5ch.net/test/read.cgi/tech/1639713446/605
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s