[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

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

---

102(1): 2019/02/03(日)22:45:46.73 ID:wI7xL3t+(1) AAS
>>95
左辺から右辺に書き換えるって分かってる？

---

302: 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)
省8

---

608(2): 2019/10/23(水)02:22:17.73 ID:yKBkbeD2(1/3) AAS
>>601
お前が圏論を全く理解していないことは良くわかった

圏論には「関数」とか「値」とか「変数」といった概念はない
「対象」と「射」との２つの概念があるだけだ

だからお前の次の

＞数そのものも圏論では値であり、変数であり、関数である

これは単なる間違いさえ通り越して全くのナンセンス
圏論には値も変数も関数も存在しないのだから
省1

---

635: 2019/10/25(金)11:27:36.73 ID:2bZjXkn1(3/3) AAS
>>624
>浮動小数においては
>(a+b)+c != a+(b+c)
>なんだよ。
まるめ誤差を考慮すればだけど
浮動小数点を引き合いにだして!=だってやった事か

---

693: 2019/11/03(日)23:34:12.73 ID:/tZ0XI+t(1) AAS
>>681

>Javaだって宣言型にシフトしつつあるし

どのような店を持ってシフトしているとおっしゃっているのか、例を教えていただけると嬉しいです。

---

740: 2019/11/07(木)14:23:10.73 ID:B1e2KIDS(1/2) AAS
>>735
実装詳細の隠蔽にPatternSynonymsが使えるよ
外部ﾘﾝｸ[html]:haskell-explained.gitlab.io

---

754: 2019/11/08(金)10:55:25.73 ID:q9/Fdf+e(1) AAS
>>753
有用性について何一つ説明してないw

---

804: 2019/11/28(木)00:58:23.73 ID:O/IccFcB(1) AAS
FRPの金脈は掘り尽くされてみな失望して出て行ったの？
Haskellでゲーム作りを通してFRPを学べるみたいな本がLeanpubで書かれてたけど
作者途中で断念しちゃったんだよね

---

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

---

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

---

ぬこの手 ぬこTOP 0.036s