たのしい人生

2020-03-01から1ヶ月間の記事一覧

型クラスの原点 How to make ad-hoc polymorphism less ad hoc を読んだ話

以下の記事は 2018 年 2 月 に Qiita に投稿した記事の移植です pixivFANBOX にも投稿しています。ご支援頂ける場合はよろしくお願いいたします。 www.pixiv.net オレオレ型クラスの話をやめろ。原典に当たれ。ということで、Haskell に型クラスの導入を提案…

【Haskell や圏論が出てこない】Scala で型クラスを完全に理解した話

以下の記事は 2018 年 2 月 に Qiita に投稿した記事の移植です pixivFANBOX にも投稿しています。ご支援頂ける場合はよろしくお願いいたします。 www.pixiv.net TL;DR 結論から。 型クラスはちょっとすごいオーバーロード であり 型に対して静的にメソッド…

Scala の implicit parameter のスコープと左辺値型推論で困った話

以下の記事は 2016 年 7 月 に Qiita に投稿した記事の移植です pixivFANBOX にも投稿しています。ご支援頂ける場合はよろしくお願いいたします。 www.pixiv.net Scala の特徴的言語仕様の一つであり、憎まれたり便利だったりする implicit の小ネタです。い…

Amazon.co.jpアソシエイト