関数型プログラミング言語Haskell Part34 (691ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
86: デフォルトの名無しさん [] 2022/02/14(月) 21:36:29.77 ID:4AqyxcJv(3/4) AAS
あら、アンカー一個ずれ
213: デフォルトの名無しさん [sage] 2023/02/25(土) 11:21:45.77 ID:h/PI1ikt(1) AAS
>>212212(1): デフォルトの名無しさん [sage] 2023/02/24(金) 02:14:24.44 ID:PIH/rCf2(1) AAS
>>211
Bing チャットに聞いたらこんなのが返ってきた。参考になるかな。
型変数を含むデータ型の例としては、関数型、代数的データ型、型クラスなどがあります。
例: data Tree a = Leaf a | Node (Tree a) (Tree a)
この代数的データ型Treeは任意の型aを要素とする二分木を表します。
例: class Eq a where
(==) :: a -> a -> Bool
(/=) :: a -> a -> Bool
この型クラスEqは任意の型aに対して等値性を定義するための仕組みです。
ありがとうございます。
凄いHを楽しく学ぶ本にも
Tree型があったので試してみました。
具体的な中身が「無い」事を現す値の場合
型引数で定義できるみたいです。
data Tree a = EmptyTree | Node a (Tree a) (Tree a)
deriving (Show)
v3 :: Tree a
v3 = EmptyTree
346: デフォルトの名無しさん [] 2024/09/04(水) 00:16:15.77 ID:r/FGXedG(1/3) AAS
Data.Mapというより、リストが遅い。
とりあえずコンパイルの際にghc -O2とかghc -O3とかの最適化掛けてみる。
それでもなお速さを求めるなら、ByteStringとか使うと良い。
もしくは、正格評価版HaskellことIdris 2やRustに乗り換える。
（Idris１と２で互換性が無いらしく、別言語扱いされてる）
Haskellで速さを求めるとバッドノウハウが増えて本末転倒になる。
（そこまで苦労するなら素直に速い言語覚えた方が楽。それでも9.10.1はC#並みにはなった？かな？）
541(1): デフォルトの名無しさん [sage] 2024/10/08(火) 16:34:43.77 ID:uOPPJ/Hn(1/2) AAS
圏論好きはHaskellよりCPLで幸せになれる
633(1): デフォルトの名無しさん [sage] 2025/01/09(木) 20:18:47.77 ID:xwwTGWUu(2/3) AAS
規制あったはずなんだけどなんか書き込めた。
アクションの生成が完了（コンパイルの終了）。この時点ではみんな純粋。
その後に、アクションの実行（プログラムの実行）が起こって入出力が出る。
アクションの生成時点まですべての関数が純粋関数だということは参照透明性が保証されるということで、ありがたみはその一点にあると思うが。
672: デフォルトの名無しさん [sage] 2025/10/08(水) 17:42:33.77 ID:1ctt2fBW(1) AAS
>>671−30点
675: デフォルトの名無しさん [sage] 2025/10/08(水) 18:45:31.77 ID:HFQA1hQ+(1) AAS
なるほどモナドと書き込めばこのスレで副作用の話もできるのですね
691: デフォルトの名無しさん [] 2025/10/10(金) 07:21:42.77 ID:G/tXieG5(2/2) AAS
>>689689(1): デフォルトの名無しさん [] 2025/10/10(金) 05:32:34.82 ID:WzZmvOuY(1) AAS
Haskellを勉強したけど何に使えばいいのか分からない
関数型プログラミングで難しい割に、速度が出ないことがわかっているやっぱり速度は正義だろ
今のHaskellは（中の人がMSに勤め始めてから）C#並みに速くなってるけど、GUIライブラリとか軒並み遅い時代に開発が止まってる…。
しいて言えばYesod使ってWebアプリかな？
Mac（Appleシリコン）版があるからiOSアプリのロジック部分とかも行けそう。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s