Visitor パターン再考
オブジェクト指向 Advent Calendar というものを見つけたので、Visitor パターンについて書いてみます。 嘘です Visitor パターンについて書きたいけれど、Java Ad...
191
161
Comment12
11 search resultsShowing 1~11 results
Stocked
You need to log-in
型クラスの歴史を軽くひも解く
現在、型クラスは Haskell のみならず、様々な言語で実装されたり似たようなものが実装されている言語機能です。 そういった風潮にも拘わらず、型クラスはどうにも大仰に捉えられがちに感じます。勿...
71
41
Comment1
scala の抽象型メンバ（abstract type member）の実践的な例
暇つぶしに書く。前回は例が実践的でなかったし、与太話も多かった。practical な情報を好む practical なプログラマには不評だったことだろう。 手も痛いので、さっくり終わらせる。 ...
6
6
Comment0
abstract type members の使いどころ
良い設計には良い抽象が必要ですが、抽象化にも手段が複数通り考えられる場合があります。それぞれの利点を知っておくことは重要なことです。 硬い感じで始めてしまいましたが、abstract type ...
15
18
Comment0
type parameters を type members でエンコードした際の implicit の扱い
水島さんの記事 Scala doesn't Need Generics! (or You can Encode Generics Using Abstract Type Members) につい...
4
2
Comment0
C# で higher-kinded polymorphism を実現する
Java で higher kinded polymorphism を実現する の C# 版。 ドトネトで真似てみようとしたが、「相互変換のためのメソッド」が出てきた時点で、おれはキャストしよう...
6
4
Comment1
たいぱーの気持ちになるですよ！
型システムとなかよしになる話 怪しげな Any Qiita の Scala Advent Calendar 24 日目の記事、@halcat0x15a さんの Scalaで書くFreer Mon...
12
13
Comment0
Java で higher kinded polymorphism を実現する
Disclaimer この記事では一般的な（一般的とは…？）Java プログラマにも理解してもらえるように、比較的理解が簡単なかわりに informal な説明をしています。higher kin...
55
57
Comment1
「インスタンスが存在しない」制約を記述する
Scala Advent Calendar 2015、15 日目です。 Existential Types について書くかなーと思ってたんですがそんな誰も使わない機能について書いても仕方ないので...
12
11
Comment0
object がどうクラスファイルにコンパイルされるか
埋まってなかったので八日目を埋めます。今日は九日です。時空の歪みです。 表題通り。昔色々調べてた時にやったはずなんですが、だいぶ忘れちゃってるので調べなおした。調べなおしたら昔とちょっと変わって...
6
5
Comment0
View/Context Bounds の制約
Advent Calendar を作る人に個人的に考えて欲しいこと コミュニティと相談する 私物化しない View/Context Bounds の制約 わー遅刻だ遅刻だ。 View/Conte...
1
1
Comment0
11 search resultsShowing 1~11 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles