[過去ログ] 「数学」をプログラミングするには (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
564: 2024/07/31(水)00:58 ID:YsLojSCU(1) AAS
>>562
Haskellだと分数型があるから、整数型と分数型のタプルにするとして、分数を型の方で1/2に限定できないから、四則演算の演算子の方に分数が1/2かどうかとか、半整数型で閉じてないから、計算結果の型を条件ごとに…肩を同じにしないといけないから無理だ。

分数型で統一して、半整数の条件満たしてるか判定した方が早そう。
専用演算子の返す値の型は…分数と半整数かどうかの判定結果のタプルかな?
(Ratio, Bool)
奇数・単偶数も見分けた方が良いだろうし、Boolの方を4値位のHeafIntFlg型?的なの作るか?

data HIFlg = HInt | Odd | SEven | AEven deriving Show

type HInt = (Ratio, HIFlg)

試しに(Ratio,Bool)で作れそうか見てみた。(Haskellの分数型は%が/の代わり)

ghci> (1+1%2,True) -- 1+1%2 = 1 + 1/2
(3 % 2,True)

うん。
行けそうだね。
>562、ここまでお膳立てすれば後は出来るよね?じゃあねノシ
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.037s