[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
102(1): デフォルトの名無しさん [sage] 2019/02/03(日) 22:45:46.73 ID:wI7xL3t+(1) AAS
>>95
左辺から右辺に書き換えるって分かってる？
302: デフォルトの名無しさん [sage] 2019/04/05(金) 18:59:26.73 ID:6LVMJo12(1) AAS
本当の所は
Int $ succ Zero
というような頭部正規形で表される関数のシンタックスシュガーだと思う
367(1): デフォルトの名無しさん [] 2019/05/24(金) 18:55:43.73 ID:aewo4dFz(2/2) AAS
別件なのですが、俺俺Eq型クラス(MyEq)を作って見ているのですが、
HugsだとNum a型のインスタンスを作れるのに、GHCだとエラーが出ます。
経験ある方、いらっしゃいますでしょうか？
main = do print $ 1 === 1
print $ 1 /== 1
print $ 1 === 2
print $ 1 /== 2
class MyEq a where
(===),(/==) :: a -> a -> Bool
x === y = not (x /== y)
x /== y = not (x === y)
instance (Num a) => MyEq a where
x === x' = isZero (x - x')
x /== x' = not (x === x')
isZero 0 = True
isZero _ = False
GHCだと全ての型をインスタンスにしろ的なエラーメッセージが出ます。。。
スマートな方法があれば。。。
608(2): デフォルトの名無しさん [sage] 2019/10/23(水) 02:22:17.73 ID:yKBkbeD2(1/3) AAS
>>601
お前が圏論を全く理解していないことは良くわかった
圏論には「関数」とか「値」とか「変数」といった概念はない
「対象」と「射」との２つの概念があるだけだ
だからお前の次の
＞数そのものも圏論では値であり、変数であり、関数である
これは単なる間違いさえ通り越して全くのナンセンス
圏論には値も変数も関数も存在しないのだから
何を対象として何を射とするかは個々の具体的な圏によって異なる
635: デフォルトの名無しさん [sage] 2019/10/25(金) 11:27:36.73 ID:2bZjXkn1(3/3) AAS
>>624
>浮動小数においては
>(a+b)+c != a+(b+c)
>なんだよ。
まるめ誤差を考慮すればだけど
浮動小数点を引き合いにだして!=だってやった事か
693: デフォルトの名無しさん [sage] 2019/11/03(日) 23:34:12.73 ID:/tZ0XI+t(1) AAS
>>681
>Javaだって宣言型にシフトしつつあるし
どのような店を持ってシフトしているとおっしゃっているのか、例を教えていただけると嬉しいです。
740: デフォルトの名無しさん [sage] 2019/11/07(木) 14:23:10.73 ID:B1e2KIDS(1/2) AAS
>>735
実装詳細の隠蔽にPatternSynonymsが使えるよ
https://haskell-explained.gitlab.io/blog/posts/2019/08/27/pattern-synonyms/index.html
754: デフォルトの名無しさん [sage] 2019/11/08(金) 10:55:25.73 ID:q9/Fdf+e(1) AAS
>>753
有用性について何一つ説明してないw
804: デフォルトの名無しさん [sage] 2019/11/28(木) 00:58:23.73 ID:O/IccFcB(1) AAS
FRPの金脈は掘り尽くされてみな失望して出て行ったの？
Haskellでゲーム作りを通してFRPを学べるみたいな本がLeanpubで書かれてたけど
作者途中で断念しちゃったんだよね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s