tag:qiita.com,2005:/lyrical_logical/feed lyrical_logicalの記事 - Qiita Qiitaでユーザーlyrical_logicalによる最近の記事 2017-10-10T13:51:27+09:00 https://qiita.com/lyrical_logical tag:qiita.com,2005:PublicArticle/530703 2017-10-10T13:51:27+09:00 2017-10-11T02:03:19+09:00 https://qiita.com/lyrical_logical/items/12e601b1ff67277a4bcd 型クラスの歴史を軽くひも解く 現在、型クラスは Haskell のみならず、様々な言語で実装されたり似たようなものが実装されている言語機能です。 そういった風潮にも拘わらず、型クラスはどうにも大仰に捉えられがちに感じます。勿論、… lyrical_logical tag:qiita.com,2005:PublicArticle/523461 2017-09-13T21:45:15+09:00 2017-09-13T21:45:15+09:00 https://qiita.com/lyrical_logical/items/bee3752eb948eabcd503 scala の抽象型メンバ（abstract type member）の実践的な例 暇つぶしに書く。前回は例が実践的でなかったし、与太話も多かった。practical な情報を好む practical なプログラマには不評だったことだろう。 手も痛いので、さっくり終わらせる。 例え… lyrical_logical tag:qiita.com,2005:PublicArticle/370481 2016-02-18T05:08:56+09:00 2016-02-18T05:08:56+09:00 https://qiita.com/lyrical_logical/items/ecac1a6433395d1ad5ee abstract type members の使いどころ 良い設計には良い抽象が必要ですが、抽象化にも手段が複数通り考えられる場合があります。それぞれの利点を知っておくことは重要なことです。 硬い感じで始めてしまいましたが、abstract type me… lyrical_logical tag:qiita.com,2005:PublicArticle/362366 2016-01-18T23:28:25+09:00 2016-01-19T12:09:09+09:00 https://qiita.com/lyrical_logical/items/8b7701619fad824d076f type parameters を type members でエンコードした際の implicit の扱い 水島さんの記事 Scala doesn't Need Generics! (or You can Encode Generics Using Abstract Type Members) についたが… lyrical_logical