関数型プログラミング言語Haskell Part34 (667ﾚｽ)
上
下
前
次
1-
新
220
: 2023/06/25(日)14:24
ID:H+Ij4nqZ(1/3)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
220: [sage] 2023/06/25(日) 14:24:09.04 ID:H+Ij4nqZ 質問にさせていただきます 違う標数での有限体での計算を必要とするコードを考えてます ある変数に𝔽₃や𝔽₅の値を混在して代入することはないので𝔽₃の元を生成するconstructor F3や𝔽₅の元を生成すconstructor F5を定義して x = F3 $ 1+2 y = F5 $ 2-5 のような記述ができればいいなと思ってます そのためには data FiniteFieldCh3 = F3 Int instance Num F3 where... のようにF3,F5両方にNumを定義しないといけません 面倒なのでFiniteFieldと言うクラスを作って以下のようにできないかやってみたところ class FiniteField t where modulus :: t -> Int toInt :: t -> Int fromInt :: Int -> t instance ( FiniteField a ) => ( Num a ) where x + y = fromInt $ mod ( toInt x ) + ( toInt y ) ) ( char x ) http://mevius.5ch.net/test/read.cgi/tech/1639713446/220
質問にさせていただきます 違う標数での有限体での計算を必要とするコードを考えてます ある変数にやの値を混在して代入することはないのでの元を生成する やの元を生成す を定義して のような記述ができればいいなと思ってます そのためには のように両方にを定義しないといけません 面倒なのでと言うクラスを作って以下のようにできないかやってみたところ
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 447 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.034s