[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
127: デフォルトの名無しさん [] 2020/03/30(月)04:50:50.17 ID:BWxPCUH7(3/3)
モナドについてはDSLと言うのは言い得て妙で、mainはIO ()を得るために式を展開する。
その過程で副作用を含む式が動き出す。
個人的にはHaskellは副作用は有るが、参照透明性は崩れていないと言うのがHaskellが純粋関数型言語を主張する根拠なのだと思う。
306: デフォルトの名無しさん [sage] 2020/05/02(土)12:12:56.17 ID:2Bfib/9h(1)
そろそろocamlの時代じゃねーか？
366: デフォルトの名無しさん [sage] 2020/07/27(月)22:40:30.17 ID:XpS4ozgV(1)
遅延評価のありがたみよくわからんかったけど
なんとなく分かった
使うか使わない情報、ひとまとめに定義したいんだけど
使わないのなら、情報取りに行くだけ無駄
でも、遅延評価なら、無駄と思える情報も定義できる
なぜなら、使って初めて情報を取りに行くのだから
なるほどね と思った
527: デフォルトの名無しさん [sage] 2020/10/31(土)13:17:41.17 ID:cEs7BAmA(2/2)
でもよくよく考えたらHaskellのデータ型って「展開できる表現がひとつもないデータ型」もありうるんだな
無限の木になる
data InfiniteSequence = IS {car :: Int, cdr :: InfiniteSequence}
arithSeq a d = IS a $ arithSeq (a+d) d
term 0 (IS x y) = x
term n (IS x y) = term (n-1) y
main = print $ term 10 $ arithSeq 5 3
----
53
552(1): デフォルトの名無しさん [sage] 2020/11/02(月)21:44:04.17 ID:aBc5dqas(1)
こうすりゃ無理やり通すことはできるけど、
そもそもパーサ同士の足し算等々でどう動いて欲しいのか分からんから
まともなインスタンス宣言が書けん
{-# LANGUAGE FlexibleInstances #-}
instance Num (Parser Int) where
x + y = x
x * y = x
abs x = x
signum x = x
negate x = x
fromInteger n = return 0
557: デフォルトの名無しさん [sage] 2020/11/03(火)11:50:57.17 ID:hn8kPJNe(1)
>>556
なるほど、文法的に通っても意味的に文法には出てこない"Num rule"が補償されないからダメって事なのかな？
まぁ今はclassのメンバ関数の自分が利用するやつだけ定義する必要無くなったみたいだから手で書いてもいいんだけど、>>550の例だと
newtype Eval a = Eval (ReaderT Env (ExceptT String Identity) a)
deriving (Functor, Applicative, Monad, MonadReader Env, MonadError String)
とかはmonad translater越しにできるし
newtype Quantity = Quantity Int
deriving (Eq, Ord, Num, Show)
もできるのになんで Parser (Int) はあかんねんと
なんかプラクマつけたらいけんもんかと
Num くらいならいいけど Floating とかだと惨劇になってしまう
593: デフォルトの名無しさん [sage] 2020/11/24(火)21:00:48.17 ID:BgPUrN9t(1)
速度は実はそこまで重要じゃない
飛行機からメンテナンスハッチ取り除いて何kg軽量化しましたって言ったところで、仕事好き定量評価好きなにわかが、わかりやすい数字見て喜ぶだけで、実際はそんな嬉しい話じゃない
というかそもそももっと遅いスクリプト言語は流行ってるし
660: デフォルトの名無しさん [sage] 2021/01/20(水)19:04:15.17 ID:apYLuAz7(2/3)
>>659
いえいえ、ありがとうございます
考えていただいて感謝です🙏
722: デフォルトの名無しさん [sage] 2021/02/08(月)20:09:46.17 ID:xtdfQPSv(1)
>>720
そうですね。
なので、実際は Trie 木でメモする MemoTrie が効率良いと思います。
727: デフォルトの名無しさん [sage] 2021/02/10(水)14:18:45.17 ID:tXb64EJq(3/3)
ここは無料だしこんなもんだろ
良いものはみんな課金される
734: デフォルトの名無しさん [sage] 2021/02/14(日)21:49:22.17 ID:2j5v2BhK(2/2)
731は、うぜぇなぁ以外何も考えてなかったというのか
それは差別意識しかない絶対悪じゃないか
774: デフォルトの名無しさん [sage] 2021/03/19(金)13:27:51.17 ID:5FIf9nG9(1)
静的型のアイデアは
実行時の世界でやっていたことをコンパイル時の世界に持って行くことだから
このアイデアが常識にならない限り動的型の時代は終わらないだろう
844: デフォルトの名無しさん [sage] 2021/06/05(土)12:32:22.17 ID:aDKd5nip(1)
プログラミング最大の罠のひとつ
自分で創作するよりも他人のソースを読む方が難しい
864(1): デフォルトの名無しさん [sage] 2021/07/11(日)16:41:58.17 ID:KhXXWhgG(1)
余談だけど
オードリー・タン氏に性的に食指が動く
男性っているのかな。
867: デフォルトの名無しさん [] 2021/07/17(土)15:02:59.17 ID:eTC1af8g(1)
>>864
ちょまどは鳳唐好きだって言ってた
940: デフォルトの名無しさん [sage] 2021/10/29(金)21:04:54.17 ID:ZN5Hp6rJ(2/2)
>>936 の何もかもが、こちらには分からない。
愚痴を言いたいだけなのか、それとも何か質問をしたいのか。
後者なら、質問内容は何か。
>>938
> 後不動点定理がわからん
それだけなら、勉強してくださいとしか言いようがない。
勉強しろと言われているのなら、何か資料が配られたり、
参考文献が挙げられたりしていないのか？
そういうのが既にあるのなら、取りあえず全てに当たって、
今分かる部分と分からない部分を徹底的に細かく仕訳してみればいいのでは？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s