関数型プログラミング言語Haskell Part34 (692ﾚｽ)
上下前次1-新
313(2): デフォルトの名無しさん [] 2024/07/27(土) 00:53:19.48 ID:r3Qeb3es(3/4) AAS
>>307307(4): デフォルトの名無しさん [] 2024/07/26(金) 08:11:21.54 ID:3P5OnSpM(1) AAS
どなたか教えてください。
数学の構成や命題の証明に使うならば、HaskellとOCamlはどちらがよいでしょうか。
数の構成の方は、代数的型と基本的な方だと（一部）derivingで自動生成してもらえるから、Haskellはとても楽。
print関数で表示する部分だけでも自動生成してもらう価値はある。
(Read,Enum,Ordで生成されるのは確認済み)
data Nat = Zero | Succ Nat deriving (Show)
連続関数はPCそのものの限界で無理。
代数的型でメモリの続く限りの範囲なら少数も作れるかもしれない。
（その前にリストなり何なりで１０進数位取り記法を導入しないと、Natは無限進数なので小数点第１位が１万とか、無限に桁上がりしない構造になる）
314(1): デフォルトの名無しさん [sage] 2024/07/27(土) 13:46:44.73 ID:f/jP9uGd(1) AAS
>>307
結局こいつがなんの返信もしてない時点で適当に書き込んでたってことがわかるよ
真面目に相手をしないほうがいい
315: デフォルトの名無しさん [] 2024/07/27(土) 16:19:23.58 ID:Z663WedI(1) AAS
>>313
ありがとうございます。
316(1): デフォルトの名無しさん [sage] 2024/07/27(土) 17:29:46.87 ID:sW1zoNGb(1) AAS
>>311-313と>>314は同一人物だよ
騙されないで
317: デフォルトの名無しさん [sage] 2024/07/27(土) 21:26:10.11 ID:wvv58UYW(1) AAS
知ってた
318: デフォルトの名無しさん [] 2024/07/27(土) 23:34:35.07 ID:r3Qeb3es(4/4) AAS
>>316
他人を語ったつもりもないけどね？（ID見れば分かるんだし）
ちなみに>303-305も私だ。
1日2-3回くらいしか見に来ないから、書き込めることはまとめて書き込んだ結果です。
319(1): デフォルトの名無しさん [sage] 2024/08/01(木) 12:24:32.72 ID:XzWUPxYY(1) AAS
プロセッサメーカはAIブームと見るやこぞってAI処理特化プロセッサの開発競争
関数型言語に特徴的な処理に特化したプロセッサは誰も作ってくれない
320: デフォルトの名無しさん [sage] 2024/08/01(木) 16:36:21.75 ID:rWBa8MOA(1) AAS
それ必要か？
321: デフォルトの名無しさん [] 2024/08/04(日) 23:21:47.06 ID:y1wQ9MUm(1) AAS
>>319
スタックコンピューターは、Lispの時にぽしゃった。
322: デフォルトの名無しさん [sage] 2024/08/05(月) 21:33:27.17 ID:FcOscapW(1) AAS
日本企業がLisp専用マシン作ったが第五世代コンピュータプロジェクトが💩で何らまともな成果をあげられなかったからね。
323(1): デフォルトの名無しさん [] 2024/08/11(日) 17:42:41.08 ID:7wNJGHOt(1) AAS
麓から山頂を目指す
foldl: 徒歩で登り切ったら滑り台で向こう側へ降りてゴンドラで再び山頂へ戻りゴール
foldr: ゴンドラでいきなり山頂へ。そこから向こうの麓まで滑り台で降り、そこから山頂へ徒歩で戻る。但しある場合は滑り台を途中で降りてそこから山頂へ徒歩で戻ってゴールにしてもよい
こういうこと？
324(1): デフォルトの名無しさん [] 2024/08/12(月) 21:44:35.95 ID:EAbaqMlq(1) AAS
Preludeのライブラリドキュメントのページが最新のChromeでよく応答なしになるんですが！
現代PCでもプチフリを起こすページとか凄いですね！（怒）
325: デフォルトの名無しさん [] 2024/08/13(火) 01:44:03.00 ID:3Ko8/FbA(1/2) AAS
>>324
hoogle使いんさい。
326: デフォルトの名無しさん [] 2024/08/13(火) 01:45:16.10 ID:3Ko8/FbA(2/2) AAS
>>323
foldl = 末尾再帰を高階関数化
foldr = 普通の再帰を高階関数化
327: デフォルトの名無しさん [sage] 2024/08/15(木) 10:15:40.11 ID:oieuoNWz(1/2) AAS
yesod を導入しようとして調べているのですが、今は stack 前提で cabal での利用は考えられていないのでしょうか？
導入記事では cabal の記述がありますが、
yesod init すると stack new 使えと表示が出ます。
328: デフォルトの名無しさん [sage] 2024/08/15(木) 10:30:38.08 ID:oieuoNWz(2/2) AAS
yesod-bin 1.6.2.3 です
329: デフォルトの名無しさん [sage] 2024/08/19(月) 21:35:37.73 ID:CkMOJkdv(1) AAS
rambda.jsのfold相当の関数を教えてください
330: デフォルトの名無しさん [sage] 2024/08/24(土) 05:56:24.20 ID:WHJg2+SV(1) AAS
今ってghcupの時代じゃないの？
久しぶりにHaskell書こうと戻ってきた浦島太郎がstackを最新にしようと思ったら
ghcupとか紹介されてミーハーだから飛びついたわ
331: デフォルトの名無しさん [sage] 2024/08/24(土) 07:38:35.09 ID:E4GXjFrz(1) AAS
Gカップ、ハアーハアー
332(2): デフォルトの名無しさん [sage] 2024/08/28(水) 21:41:00.96 ID:HNkudrYA(1) AAS
Youtubeでしばらくの間丁寧にHaskellを解説していた人が
ある日「やってらんね、俺はもうHaskellでプログラミングしない」と宣言してHaskellから離れたのを見て
所詮その程度の言語なんだなとガッカリした
333: デフォルトの名無しさん [sage] 2024/08/28(水) 23:56:40.97 ID:FNkSebMV(1) AAS
>>332
Haskellはモナドの実証言語という側面が強いから、モナドは結局よくわからないものという結論に達した今では話題もないし、Haskellで視聴回数稼げないんじゃない。
334(2): デフォルトの名無しさん [] 2024/08/29(木) 12:50:10.24 ID:D5XAFbVY(1) AAS
自作ライブラリの(+)とPrelude.+が被って、Prelude.+使いたい時一々修飾するの面倒くさいしコードも汚くなります
被った時はデフォルトでPrelude.+を使うよって指定することはできないのですか？
335: デフォルトの名無しさん [sage] 2024/08/29(木) 12:53:31.30 ID:1jszJs3n(1/2) AAS
>>332
＋１
336: デフォルトの名無しさん [sage] 2024/08/29(木) 12:54:42.14 ID:1jszJs3n(2/2) AAS
>>334
自作の方を修飾
337: デフォルトの名無しさん [] 2024/08/29(木) 14:06:11.00 ID:gtm/5H5m(1/4) AAS
>>334
両方使う予定があるのに、何故わざわざ同じ記号にしたのか…。
自分は自作の方を(.+)とか、微妙に変えてる。
上下前次1-新書関写板覧索設栞歴
あと 355 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s