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