[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)

関数型プログラミング言語Haskell Part33 http://mevius.5ch.net/test/read.cgi/tech/1581326256/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

35: デフォルトの名無しさん [sage] 2020/02/15(土) 18:44:53.36 ID:20tth6Hi >>33 ふーむ cabal ファイルに書くパッケージのバージョン制限は、 その範囲ならなんでもビルドできますよ、サポートしてますよってサイン。 だから base 含め妥当なバージョンを書いておくべきってのは言えるけど… 状況はリビルドしただけで依存パッケージのバージョンが上がって壊れた、みたいな感じかな？ cabalってそんな風に動作するんだっけか http://mevius.5ch.net/test/read.cgi/tech/1581326256/35

392: デフォルトの名無しさん [] 2020/08/19(水) 15:58:22.36 ID:FHOhxH/M (1)と(2)で同じ関数だそうです。 add :: Int -> Int -> Int は add :: Int -> (Int -> Int) と等価だそうです。 だとするならば、 (1)のほうが理屈の分かる書き方のように感じます。 (2)はadd' :: Int -> Int -> Intであると宣言しておきながら、その中身の表現を見ると、2つのInt型の引数を受け取ってその和を返す関数にしか見えません。 それにもかかわらず、add' 1は1引数の関数で引数に1を足す関数を表しています。非常に違和感を覚えるのですが、(2)は一体どういうことなのでしょうか？ わかりにくいです。 (1) add :: Int -> Int -> Int add n = \x -> x + n (2) add' :: Int -> Int -> Int add' n m = n + m http://mevius.5ch.net/test/read.cgi/tech/1581326256/392

453: デフォルトの名無しさん [sage] 2020/08/31(月) 00:20:32.36 ID:XlY0VH6O Complex RationalにNumのinstance宣言できないかと思って以下のようにしてみました instance Num (Complex Rational) where (x:+y) + (x':+y') = (x+x') :+ (y+y') (x:+y) - (x':+y') = (x-x') :+ (y-y') (x:+y) * (x':+y') = (x*x'-y*y') :+ (x*y'+y*x') negate (x:+y) = negate x :+ negate y abs z = undefined signum z@(x:+y) = undefined fromInteger n = fromInteger n :+ 0 結果以下のようにそれは無理と怒られます 何かてはないでしようか？ Haskell Online Compiler [ghc-8.4.4] Copyright (c) The University of Glasgow Compiling your program... [1 of 1] Compiling Main ( prog.hs, prog.o ) prog.hs:7:10: error: • Illegal instance declaration for ‘Num (Complex Rational)’ (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use FlexibleInstances if you want to disable this.) • In the instance declaration for ‘Num (Complex Rational)’ | 7 | instance Num (Complex Rational) where | ^^^^^^^^^^^^^^^^^^^^^^ http://mevius.5ch.net/test/read.cgi/tech/1581326256/453

749: デフォルトの名無しさん [sage] 2021/02/18(木) 09:29:03.36 ID:8Wc99cSo なんかしょうもない話なんですけどウチの環境で次が通ります test x = case x of _ | odd x -> 1 oyherwise -> 0 main = do print $ test 123 print $ test 456 なんか笑ってしまいました http://mevius.5ch.net/test/read.cgi/tech/1581326256/749

766: デフォルトの名無しさん [sage] 2021/03/18(木) 23:49:21.36 ID:wWeTTUcP >>764 そうですね 例えばcall by nameとcall by needの違いを調べようと思った時に出てきた https://reader.elsevier.com/reader/sd/pii/S1571066104000222?token=1C1ACCAE69D33669B7D36179C932FC14DD80723B2FD5B3080E3B1EDED9228FC6A9A6AC347668843625B7154C276B7B4C なんかバリバリ出てきます なんのこっちゃと >>165 coqもよく聞きますよね なんかおすすめの教科書とかありますか？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/766

770: 768 [sage] 2021/03/19(金) 02:15:59.36 ID:MuA020tT >>769 ごめんなさい 僕は別人で割り込みです http://mevius.5ch.net/test/read.cgi/tech/1581326256/770

996: デフォルトの名無しさん [] 2021/12/18(土) 00:42:46.36 ID:om0zr0Am >>994 結論だせる個人は存在するけど 組織になるとなぜか、結論だせない奴が代表者を気取ってるだけじゃん http://mevius.5ch.net/test/read.cgi/tech/1581326256/996

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.041s