Generics of a Higher Kind

1. Introduction 일차 매개변수적 다형성과 고차 타입 생성자 다형성 일차 매개변수적 다형성은 정적 타입 프로그래밍 언어의 표준 요소임 일차 매개변수적 다형성은 제네릭(generic)이라고 부름 제네릭의 한 가지 응용 분야는 콜렉션(collection) 예) List[A] 타입은 주어진 요소 A 타입의 리스트를 표현, A는 자유롭게 선택됨 일차 매개변수적 다형성은 List와 같은 타입 생성자를 도출하며 타입을 추상화 함 그러나 결과로 나온 타입 생성자는 그들 자신을 추상화할 수 없음 예) List와 같은 타입 생성자를 다른 타입 생성자의 타입 인자로 전달할 수 없음 이런 제한은 자연스러운 추상를 정형화하는데 방해가 되며 불필요한 중복 코드로 이어짐 고차 타입 생성자 다형성와 카인드 고차 타입 생성자 다형성을 통해 더 많은 제네럴티를 확보할 수 있음 이 논문에서는 Scala 프로그래밍 언어의 타입 생성자 다형성의 설계와 구현에 대해 살펴봄 Scala 2.
Read more

Principles of Reactive Programming

Finally got my certificate for the Coursera “Principles of Reactive Programming” course. :) It was rather easy in the beginning, but became more challenging as it went on. Now where to go?
Read more

Philbert Yoon

Powered by Hugo & Kiss.