[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
75: 2020/03/27(金)10:39:34.20 ID:gM1jKcLP(1/6) AAS
>>74
それhaskellの説明になってなくね？
185: 2020/04/05(日)20:26:40.20 ID:glUSLxyq(1) AAS
そうだよ
327: 2020/05/23(土)02:01:15.20 ID:PUmkxvlF(3/3) AAS
>>324
すいません。
補足です。
a <- take 3 <$> repM (getLine >>= print) を評価すれば、
3回の副作用 getLine >>= print が実行され、
a は [(), (), ()] を束縛していて欲しいのです。
408(2): 2020/08/21(金)23:19:07.20 ID:nqLClnr+(2/2) AAS
>>405
それってそうなの？
俺は、数学の本好きで読んでるんだけど、そこまで基本的なことは突き詰めてないｗ
写像の合成が結合則を満たす ものもたくさんありそうだけど、
写像の合成は必ず結合則を満たすものなの？そこから疑問に思った方がいいんじゃない？
数学の本読んでると、右XXと左XXと区別するものが多いんで、普通に満たさないと思ってたｗ
いや、俺が間違ってるかもしれんから、そこから調べてくれると俺もうれしい
ちなみに、大学数学レベルなのが １＋１＝２ の証明。俺は調べたくないｗ
417(1): 2020/08/22(土)13:35:02.20 ID:j3K8XBr1(1/6) AAS
>>402
あれ、これ今日コンパイルしたらエラーが出た。
単にコンパイルしていなくて、ghciで用意されている(.)を使ってテストしていただけみたいです。
以下の合成関数のコードはおそらく正しいと思います。
comp :: (b -> c) -> (a -> b) -> a -> c
comp = \f -> \g -> (\x -> f (g x))
458(1): 2020/08/31(月)18:26:13.20 ID:mkAi3PX1(1/3) AAS
皆さんご助言ありがとうございます
実は家のパソコン壊れててHaskellはオンラインHaskellコンパイラというので当座を凌いでるんですがコレコンパイラオプションもインラインプラグマ？とかいうのも使えないっぽくてFlexible Instanceとか使いたくても使えないんです
Num Rationalは標準で入ってます
入れられなくて困ってるのはNum (Complex Rational)なんです
Num a=>Num (Complex a)
は二重定義でダメだと怒られます
prog.hs:55:12: error:
Duplicate instance declarations:
instance Num a => Num (Complex a) -- Defined at prog.hs:55:12
instance RealFloat a => Num (Complex a)
-- Defined in ‘Data.Complex’
|
55 | instance Num a => Num (Complex a) where
| ^^^^^^^^^^^^^^^^^^^^^^^^
693(1): 2021/01/27(水)00:16:50.20 ID:UiZI3fhW(1/2) AAS
dp の質問です
haskell でdynamic programing する方法の例でFibonacci数列の計算を
fib = 0:1:( zipWith ( + ) ( drop 0 fib ) ( drop 1 fib ) )
で計算させるというテクニックを紹介しているページがあってなるほどなぁと感心しました
で同じテクニック使ってcomb6 !!i !! jが二項係数C[i, j]になる配列
comb6 = ( ( 1 : ( repeat 0 ) ) : )
$ zipWith ( zipWith ( + ) ) comb6 ( map ( 0 : ) comb6 )
を作ってみました
コレはうまくいきます
comb6 !! 2000 !! 1000
とかも一瞬で計算してくれます
でcomb7 !! i !! j が二項係数C[ i+ j, i ]となる配列comb7を
comb7 = ( ( repeat 1 ) : )
$ zipWith ( zipWith ( + ) )
( comb7 )
( tail $ map ( 1 : ) $ comb7 )
と定義してやってみると、compileまでは通るのですが実行comb!!1!!0すると<<loop>>と言われて止まってしまいます
しかし手計算で展開してみてもloopしてないと思うんですけどどこがおかしいのかわかりません
どなたかわかりませんでしょうか？
705: 2021/02/05(金)01:12:53.20 ID:gzN36RyX(1) AAS
読むという目的
可読性の低いコードを、読むことなく却下するという手段
この目的と手段がすぐ入れかわってしまう現象もまた深刻な問題だ
742: 2021/02/16(火)15:13:16.20 ID:VICwQMLs(2/3) AAS
すみません自己解決しました
一応結果貼っておきます
cdRecursiveTD i stArr = do
____v <- readArray stArr i
____when (v == -1) $ do
______xsm <- newSTRef []
______forM_ [1,2] $ \j -> do
________x <- cdRecursiveTD (i-j) stArr
________modifySTRef xsm (x:)
______xs <- readSTRef xsm
______writeArray stArr i ( (i-1) * ( sum xs ) )
____readArray stArr i
755: 2021/02/25(木)21:30:50.20 ID:hQOL6Vl7(1) AAS
モノイドではないに一票
763(1): 2021/03/18(木)19:28:09.20 ID:wWeTTUcP(1/2) AAS
>>762
ありがとうございます
ギリギリその図形の意味はわかります
問題はそれとプログラミングの理論がどう関わってるかのとこなんです
多分カリーハワード対応というやつだと思うんですが
コレなんか役に立つもんなんですかねぇ？
931: 2021/10/18(月)15:15:47.20 ID:r9t2S6+p(1) AAS
動画ﾘﾝｸ[YouTube]
外部ﾘﾝｸ[html]:bangumi.ouj.ac.jp
970: 2021/12/14(火)17:15:27.20 ID:Ad592Fxk(1) AAS
>>966
うわあ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s