関数型プログラミング言語Haskell Part34 (667レス)
関数型プログラミング言語Haskell Part34 http://mevius.5ch.net/test/read.cgi/tech/1639713446/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
62: デフォルトの名無しさん [sage] 2022/01/28(金) 09:50:56.34 ID:F+QYYxM3 >>60 そもそも質問者が来たと思ってないんだろう 強いて言うなら「命令者」が来たと思われてるね http://mevius.5ch.net/test/read.cgi/tech/1639713446/62
127: デフォルトの名無しさん [sage] 2022/09/27(火) 20:30:27.34 ID:Ctbd02WQ とにもかくにももう少しHaskellは速度性能を出すための方法の標準化について詰めてほしい Haskell2010の文章のメモ化の部分の詰めがダメすぎる 実情のGHCとかで提供されてるものと差がありすぎて意味がわからん GHCでの研究成果をもっと標準仕様に取り入れてほしい 何をどうやったら確実にドレコレはメモ化されるかハッキリ文書化してほしい http://mevius.5ch.net/test/read.cgi/tech/1639713446/127
373: デフォルトの名無しさん [] 2024/09/30(月) 00:30:17.34 ID:Kh4w53R0 >>368 高卒の自分でも理解できるんだから、難しいわけではないんだけど。 何度も出てる通り、必ずしもモナドを理解する必要はないし。 そもそも自分がプログラマーの頃だって、12-13時間働いた後も新しいプログラミング言語や数学勉強してたぞ。 (新しい仕事のために学びたくない言語に時間使う事も) 高卒が圏論みたいな大学数学学ぶには専門用語がそもそも分らんから、用語が分かるまで遡った。 (アーベル圏のアーベルが分からないレベルからのスタート) 自分に投資できないと淘汰されるぞ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/373
384: デフォルトの名無しさん [] 2024/09/30(月) 21:53:56.34 ID:8C0MP56i いいこと(メリット)があるから具体例が作られると思うんだが。 それは単に具体例の適用が間違ってるって話じゃね? なんとなく作れるから群構造作ってみましたとかとか目的不在で作ったらそら何がいいかわからんし。 モナドだったら、各計算効果を圏(クライスリ圏)の中に閉じ込めることに成功しました(カプセル化)。 計算効果は強モナドの構造を取っているようです(計算効果の研究のとっかかり)。 みたいないいことあるから流行るんでしょ。 http://mevius.5ch.net/test/read.cgi/tech/1639713446/384
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.042s