[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
関数型プログラミング言語Haskell Part33 http://mevius.5ch.net/test/read.cgi/tech/1581326256/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
550: デフォルトの名無しさん [sage] 2020/11/02(月) 00:43:34.64 ID:TnMF05Pn 質問です このサイトでNum instanceをDerivingする話が出てました https://qiita.com/HirotoShioi/items/8a6107434337b30ce457 実際このページの次のコードはうちの環境でも通ります Haskell Online Compiler [ghc-8.4.4] Copyright (c) The University of Glasgow {-# LANGUAGE GeneralizedNewtypeDeriving #-} newtype Quantity = Quantity Int deriving (Eq, Ord, Num, Show) a = Quantity 2 b = Quantity 6 totalQuantity :: Quantity totalQuantity = a + b -- Quantity 8 しかし次は通りません 通す事はできますか？ import Text.ParserCombinators.Parsec import Text.Parsec (Parsec) newtype ParserInt = PI (Parser Int) deriving (Num) http://mevius.5ch.net/test/read.cgi/tech/1581326256/550
557: デフォルトの名無しさん [sage] 2020/11/03(火) 11:50:57.17 ID:hn8kPJNe >>556 なるほど、文法的に通っても意味的に文法には出てこない"Num rule"が補償されないからダメって事なのかな？ まぁ今はclassのメンバ関数の自分が利用するやつだけ定義する必要無くなったみたいだから手で書いてもいいんだけど、>>550の例だと newtype Eval a = Eval (ReaderT Env (ExceptT String Identity) a) deriving (Functor, Applicative, Monad, MonadReader Env, MonadError String) とかはmonad translater越しにできるし newtype Quantity = Quantity Int deriving (Eq, Ord, Num, Show) もできるのになんで Parser (Int) はあかんねんと なんかプラクマつけたらいけんもんかと Num くらいならいいけど Floating とかだと惨劇になってしまう http://mevius.5ch.net/test/read.cgi/tech/1581326256/557
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.039s