Introduction to programming with dependent types in Scala (2017.04.28)

Introduction to programming with dependent types in Scala

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

• seoh
  • 좋다
  • 없다. 한 일이.
  • 머리 좀 쓰고 갔으면
• 상호
  • 스터디에 나와서 좋다.
  • 근면 성실하게 열심히 살고 있다.
  • 스터디 잘 따라갈 수 있으면
• 용준
  • 좋다.
  • spark을 만져보면서 스칼라 사용중
  • 오늘은 졸지 않았으면
• 종수
  • 오랫만에 일찍 나와서 좋다
  • 야근이 많았다.
  • scala dependent type을 많이 듣고 갔으면
• 성큼
  • 괜찮은 편
  • 쪼끔 널럴해졌음
  • 모르는 거 알고 갔으면
• 기영
  • 약간 졸린 듯. 좋다.
  • 별 일 없다.
  • 스터디 재밌게 하고 갔으면

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

• seoh
  • 일주일만에 머리를 썼다.
  • 필요한만큼 머리가 안돌아준다.
  • 책을 봐 오겠다. (Rx)
• 상호
  • 이렇게까지 타입을 쓸려는 걸로 봐서 타입의 중요성으 느꼈다.
  • 너무 어렵다.
  • 멘탈을 좀 더 강하게 해서 버틸 수 있도록.
• 용준
  • 졸지 않았다.
  • 졸지 않았지만 졸았던 것 같다.
  • 멘탈 강화
• 기영
  • 타입이 중요한 것 같다는 느낌을 받았다.
  • 너무 어렵다.
  • 책 보던 것 마저 보겠다.
• 종수
  • 보면 그런가보다라는 생각은 들었다.
  • 그런가보다 까지만 들고 왜 어떻게는 안 들었다.
  • shapeless tutorial을 따라해보겠다.
• 성큼
  • 알 것 같은 기분이 들었다.
  • 정말 아는지 증명을 못해봤다.
  • 뭘 해야될 지 모르겠다.