Miles Sabin's Blog Posts(2016.04.08)

#miles sabin' blog posts

• Unboxed union types in Scala via the Curry-Howard isomorphism
• Functional Dependencies in Scala
• shapeless — an exploration of generic programming in Scala
  • shapeless 2.3.0 미지원, Feature overview: shapeless 2.0.0로 대체 (하지만 기니까 패스)
• Type-level selection sort in shapeless
  • 일부 컴파일되지 않는 예제 있음, working example
  • 보충(또는 대체)자료: Julien Tournay: Typelevel quicksort in Scala
    • HList, Nat 처음부터 설명
    • Aux 패턴 사용
      • Luigi Antonini: The Aux Pattern
• First-class polymorphic function values in shapeless
  1. Function values in Scala
  • (노파심에) 첫 번째 예제의 singleton은 없는 함수입니다. 컴파일되지 않아도 당황하지 마세요!
  2. Natural Transformations in Scala

체크인 (기분/근황/기대하는 바)

회고(좋았던 점/아쉬웠던 점/다음주까지 할 일)

나머지 공부