Type Driven Development with Idris (2016.11.18) - codeport/scala GitHub Wiki
"Type Driven Development with Idris" 문제
체크인 (기분/근황/기대하는 바)
- 기영
- 멍때리는 것 같다.
- 별 일 없다
- 좋은 자극을 받았으면 좋겠다.
- Wayne
- 좋습니다.
- Rust를 좀 살펴보던 중입니다.
- 잘 이해하고 갔으면 좋겠습니다.
문제풀이
회고(좋았던 점/아쉬웠던 점/다음주까지 할 일)
- 기영
- 참석할 수 있어서 좋았다. 좋은 자극이 되었다.
- 시간이 부족했던점
- 다음 주 참석할 수 있도록
- 성큼
- Idris의 기본을 봐서 완성된 프로그램을 만들 수 있을 것 같아 좋았다.
- 책 양이 많아서 코딩을 못해봐서 아쉬웠다.
- 예제를 풀어보겠습니다.
- Wayne
- Idris를 간단하게 살펴봐서 좋았습니다.
- 지금까지는 Haskell과 큰 차이가 없어서 특별한 점을 찾기가 어려웠습니다.
- 다음 주 참석할 수 있도록