[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
4(1): 2020/02/10(月)18:28:11.16 ID:L6eYQqyh(4/5) AAS
質問すると埋まりそうだったので新スレ立てさせてもらいました
Stringで長さ(文字数)ではなくUTF-8コードとしての総バイト数を知れるような関数はありますか？
15: 2020/02/12(水)13:53:42.16 ID:MDE/KJVl(1) AAS
別に他の言語でも10倍量書けば同じことが出来るんだから使わなければいいだけ
共同作業の時は困るから天才だけでチーム組んでもらえばいい
24(3): 2020/02/14(金)14:43:09.16 ID:3dEdKDtV(1) AAS
Haskellで書かれた他人のコードって詠みにくいと思うのは俺だけか？
型クラスやモナドが難しいというより、何がどこで定義されてるかよくわからんし、どういう動作をする関数なのかがぱっと見でわからん。
169(1): 2020/04/03(金)23:04:02.16 ID:a6cZ/qJ8(2/2) AAS
口うるさいBBAのイメージ
318: 2020/05/08(金)17:29:16.16 ID:3cwUCrUk(1) AAS
>>309
表紙すごい買う気失わせる感じだけどほしいな
かむｂりぷｂのだーたアルゴリは名著多いし面白いのだといいな(´・ω・｀)
611: 2020/12/08(火)15:02:11.16 ID:xvXTXIvz(2/2) AAS
お前はまず自分の人間性を見直せ
煽りじゃなくマジで
772(1): 2021/03/19(金)09:49:18.16 ID:pEtEADGt(1) AAS
>>769
そうですね
多分対応自体はわかると思います
しかし実際カリーハワード対応で基礎論の世界に持って行くことの効用がよくわかりません
基礎論の世界に持っていって基礎論でよく知られたなんかの定理が使えるとかいうわけでもなさそうですし
最初はcall by needの実装の話、すなわちcall by needでは展開された評価式に同じexpressionが出たとき、その内容を保持して同じ評価を何度も繰り返すのを防ぐらしいですが、もちろんどんな評価でも何でもかんでもメモするわけではないようなので、結局自分で手前でメモ化する必要がでたりします
どういう時はcall by needのメモ化が効いてどういう場合は効かないのかよくわからないので現状は“やってみる”しかないし、やってみて上手くいかなくても、なんか上手い書き方すればやってくれるのか、はなからだめなのか、その判別もつきません
813: 2021/04/17(土)18:14:21.16 ID:+4ymujjn(1/2) AAS
リストを使って漸化式
r_n = max_{1 <= i < n} (p_i + r_{n-i}), r_0 = 0
を解くプログラムを書いたのですがリストをArrayに変えたとたん動かなくなりました
どうやらmax'にifが使われているのが原因のようなのですが動かなくなる理由が分かりません
どなたか分かる方いますか？
プログラムは以下の通りです
import Data.Array
p = [1,5,8,9,10,17,17,20,24,30]
max' (i,q) (i',q') = if q < q' then (i',q') else (i,q)
solver p = array (0,length p) $ (0,0):[ -- 動かない
foldr1 max' [(i, p !! (i-1) + rs ! (j-i)) | i <- [1..j]]
| j <- [1..length p]
] where rs = solver p
solver' p = (0,0):[ -- 動く
foldr1 max' [(i, p !! (i-1) + (snd $ rs' !! (j-i))) | i <- [1..j]]
| j <- [1..length p]
] where rs' = solver' p
835: 2021/05/30(日)20:49:58.16 ID:QwiNWDL1(1) AAS
STArrayなりMutable Vectorなり使えば良いのでは
865: 2021/07/16(金)17:38:36.16 AAS
あののののの！ なんで型コンストラクタ名が被ったらいけないんですか！
型が違うならそのコンストラクタ名くらい被ったっていいじゃないですか！
893: 2021/08/28(土)14:58:50.16 ID:WIQMD65A(1) AAS
>>890
Parsecで左辺の句がいらないときに使う
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.051s