Introduction to programming with dependent types in Scala

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

• 상근
  • 연휴가 다가오고 있어서 좋다
  • 잘 지내는 중. 별 일 없다.
  • idris의 향기를 느끼지 않았으면
• 기영
  • 살짝 졸리면서 좋다
  • 책 보면서 코드 하나씩 따라하는 중. 많이 느리다.
  • 스터디 재밌게 하고갔으면
• 성큼
  • 졸리다. 자꾸 배가고프다. 살이 찌려나.
  • 회사에서 맡은 일 하나가 그럭저럭 끝나가는 중
  • 재밌게 스터디 했으면
• 상호
  • 잠이 좀 깨서 좋아짐
  • 밤낮없이 일만 하는 중
  • 스타트 잘 하고 끝까지 잘 했으면

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

• 기영
  • 인간미 넘치는 코딩을 봤다
  • 여러가지를 한꺼번에 봐서 이해가 잘 안됐다
  • 다음주 참석. 부지런히 책보기 (tdd idris / pis)
• 상근
  • implicit을 제대로 배웠다
  • language, library가 너무 여러가지 나와서 따라가기 힘들었다
  • 쉬고 싶은 마음을 극복하고 다음 주 스터디 나오기
• 용준
  • implicit을 잘 알게 됐다. 그게 type class를 만들려고 나온 걸 새로 알게 됐다.
  • 중간에 살짝 졸았다.
  • 운동을 열심히
• 상호
  • scala type class에 대해서 좀 알게 됐다
  • idris 이제 안 하신다는 것 같아 아쉽다 책도 샀는데
  • 다음주 참석. 체력 비축
• 성큼
  • simularcrum을 봤다.
  • 스터디 중에 코딩할 기회가 많이 없다.
  • idris 복습