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

Introduction to programming with dependent types in Scala

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

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

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

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