Type Driven Development with Idris (2016.11.25) - codeport/scala GitHub Wiki
체크인 (기분/근황/기대하는 바)
- 기영
- 무덤덤 하다. 피곤함.
- 별 일 없다
- 재밌게 하고 갔으면 좋겠습니다.
- Wayne
- 평범합니다.
- 감기에 걸려 죽어가고있습니다.
- 잘 이해하고 갔으면 좋겠습니다.
문제풀이
회고(좋았던 점/아쉬웠던 점/다음주까지 할 일)
- 타이핑을 별로 안해서 자동으로 완성되는 것이 많아서 재밌었다.
- 자세가 안좋아서 목이 아팠다. 추론되는게 뭔가 아쉬웠다.
- 다음 시간에 참석할 수 있도록 하겠다.
- 인터렉티브하게 에디터를 쓰는걸 봐서 좋았다.
- Emacs Key Binding을 잘 몰라서 아쉬웠다.
- 챕터 3.2 남은 부분을 보고 연습문제를 풀어볼 예정이다.
- IDE에서 코드완성을 케이스별로 해주는게 신기했다. Total Function 검사해주는것도 좋았다.
- 설치가 너무 오래 걸렸다.
- 챕터 3을 다 읽어 보고 예제를 돌려보겠다.
- 오랜만에 뵈서 좋았다. Idris 책 산지는 오래 되었지만, 오늘 제일 많이 본것 같다.
- 베터리만 약탈하고 킨들이 죽어서 킨들로 보지 못하였다.
- 챕터 1, 2라도 다시 읽어보겠다.
- 자동 완성이 많이 되는 언어를 써봐서 좋았습니다.
- 좀 더 복잡한 부분은 어떻게 만들어야 할지 잘 모르겠습니다.
- 예제를 좀더 돌려 보겠습니다.
나머지 공부