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

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

• 정열
  • 오랬만에 나와서 좋다
  • 좋다
  • 타입레벨 프로그래밍에 대해서 감 잡기
• 재수
  • 저녁때 늦게 자서 힘들었었는데 오늘 배부르고 기분이 좋다
  • 열심히 C 코딩중. 잘 안돼서 고민중
  • 오늘 어려울 것 같은데 그래도 얻어갔으면
• 병준
  • 좋다. 새옷/새신발을 샀다.
  • 내일 코드잼 Qualification 해볼려고 하는 중
  • 타입에 대해서 조금이라도 더 알아가는 시간이었으면
• 기영
  • 피곤하지만 좋다
  • 재밌게 놀고 있다
  • 재밌게 하고 갔으면
• Wayne
  • 좋다
  • 회사에서 일 열심히 하면서 잘 지내는 중
  • 하나라도 배워서 잘 갔으면
• 경진
  • 별로 즐겁지 않다.
  • spark이 클러스터 위에서 잘 안 돌아간다. 방금전에 돌아갔다고 메일이 와서 기분이 좋아졌다.
  • 오늘 블로그를 읽으면서 잠시 spark 생각을 비우고 싶다
• 용준
  • 모임 와서 좋다
  • jvm gc때문에 호되게 당해서 좌절중
  • 시간내에 다 읽고 이해했으면
• 성큼
  • 배불러서 기분좋다
  • 열심히 일하고 있다
  • 진행이 매끄럽게 잘 됐으면

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

• 정열
  • 굉장히 흥미로웠다
  • 이해하는데에 시간이 걸린다
  • 참석하기
• 재수
  • 간만에 머리를 써서 고통스럽지만 괜찮다
  • 나와 타입은 별로 안 맞는 것 같다
  • 무계획
• 병준
  • shapeless를 자꾸 접하다 보니 익숙해지는 느낌이 든다
  • 실제 문제를 푸는 게 아니라서 동기부여가 많이 안된다. 스칼라가 싫어지려고 한다.
  • 스칼라 기본을 좀 더 탄탄히 다져야겠다
• 기영
  • 좀 익숙한 느낌
  • 뭘 했는지 뭘 모르는지 잘 모르겠다
  • 스칼라 기초 기본을 차근차근 봐야겠다
• Wayne
  • 신약을 맛봐서 좋았다
  • 시궁창인 현실과의 갭
  • 참석
• 지수
  • 오랫만에 와서 좋았다
  • 늦어서 아쉽다
  • A/S를 할 수 있으면 해보겠다
• 용준
  • 지수님 설명 잘 해 주셔서 이해했다
  • 감당하지 못할 약을 먹는 느낌
  • 오늘 읽은 거 한 번 더 읽기
• 성큼
  • 약을 진하게 복용할 수 있어서 좋았다
  • 코딩을 별로 안했다
  • 다음 시간에 뭐 할지 궁리해보겠다.

나머지 공부