Type Driven Development with Idris (2016.11.18)

"Type Driven Development with Idris" 문제

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

• 기영
  • 멍때리는 것 같다.
  • 별 일 없다
  • 좋은 자극을 받았으면 좋겠다.
• Wayne
  • 좋습니다.
  • Rust를 좀 살펴보던 중입니다.
  • 잘 이해하고 갔으면 좋겠습니다.

문제풀이

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

• 기영
  • 참석할 수 있어서 좋았다. 좋은 자극이 되었다.
  • 시간이 부족했던점
  • 다음 주 참석할 수 있도록
• 성큼
  • Idris의 기본을 봐서 완성된 프로그램을 만들 수 있을 것 같아 좋았다.
  • 책 양이 많아서 코딩을 못해봐서 아쉬웠다.
  • 예제를 풀어보겠습니다.
• Wayne
  • Idris를 간단하게 살펴봐서 좋았습니다.
  • 지금까지는 Haskell과 큰 차이가 없어서 특별한 점을 찾기가 어려웠습니다.
  • 다음 주 참석할 수 있도록

나머지 공부

2장 문제풀이

• 성큼이