- 자바와 하스켈에서 Expression problem을 어떻게 해결할 수 있을지 본다.
http://koerbitz.me/posts/Sum-Types-Visitors-and-the-Expression-Problem.html
http://koerbitz.me/posts/Solving-the-Expression-Problem-in-Haskell-and-Java.html
Expression problem: http://www.haruair.com/blog/3338
- C++에서 vtable이 어떻게 구현되는지 간단히 살펴본다.
http://www.michaelburge.us/2017/10/15/haskell-typeclasses-vs-cpp-classes.html
Java language oddities
Arrays are objects
Bytes and shorts are second-class citizens
Private fields and methods are accessible without reflection
Variance in Java and Scala
? extends T : read only인 이유 설명
? super T : write only인 이유 설명
-> 둘 다 실제 타입이 무엇인지 알지 못하기 때문에 발생한다.
-> design note 참조