Introduction to programming with dependent types in Scala (2017.05.05) - codeport/scala GitHub Wiki

Introduction to programming with dependent types in Scala

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

  • 기영
    • 나아진것 같다.
    • 별일 없다.
    • 오늘 스터디 뭐를 할지 기대가 된다.
  • seoh
    • 괜찮다.
    • 없다.
    • 이해할 수 있는걸 하길 기대한다.
  • 상근
    • 일주일이 너무 순식간에 가서 슬프다.
    • 일이 있어서 못나왔었는데 출장때문에 못나올 것 같다.
    • 이해를 했으면 좋겠다.
  • wayne
    • 푹 쉬어서 기분이 좋습니다.
    • 코드잼이 잘 되서 좋았다.
    • 잘 배웠으면 좋겠다.
  • 성큼
    • 괜찮다.
    • 휴일동안 아기를 열심히 보았다.
    • 아는듯한 느낌의 뜬구름을 잡았으면 좋겠다.
  • 승원
    • 처음 나와서 기대된다.
    • 일을 많이하고 있다.
    • 디펜던트 타입 스칼라에서 어떻게 가능한지 기대한다.

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

  • 기영
    • !:만 알고가게되어서 좋았다.
    • 괄호밖에 생각나지 않는다.
    • 보던 책 마저 보려고한다.
  • seoh
    • 일주일만에 머리를 써서 좋았다.
    • 머리가 돌아가지 않음
    • shapeless
  • 상근
    • 에어컨이 나와서 좋았다.
    • 아직도 무슨 이야기인지 모르겠다.
    • 잘 쉬고 오겠다.
  • wayne
    • 오랜만에 나와서 회사일에 대한 자신감
    • 이해를 못해서 아쉬웠다.
    • 참석
  • 성큼
    • 잘 들려서 좋았다.
    • 모르는게 너무 많다.
    • 쉐이프리스 튜토리얼을 찾아보겠다.
  • 승원
    • 처음 나와서 좋음
    • 너무 어렵다.
    • 다음주에도 나오겠습니다.