Skip to content

Type Driven Development with Idris (2016.11.25)

sungkmi edited this page Nov 25, 2016 · 4 revisions

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

  • 기영
    • 무덤덤 하다. 피곤함.
    • 별 일 없다
    • 재밌게 하고 갔으면 좋겠습니다.
  • Wayne
    • 평범합니다.
    • 감기에 걸려 죽어가고있습니다.
    • 잘 이해하고 갔으면 좋겠습니다.

문제풀이

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

  • 기영
  • 타이핑을 별로 안해서 자동으로 완성되는 것이 많아서 재밌었다.
  • 자세가 안좋아서 목이 아팠다. 추론되는게 뭔가 아쉬웠다.
  • 다음 시간에 참석할 수 있도록 하겠다.
  • 성큼
  • 인터렉티브하게 에디터를 쓰는걸 봐서 좋았다.
  • Emacs Key Binding을 잘 몰라서 아쉬웠다.
  • 챕터 3.2 남은 부분을 보고 연습문제를 풀어볼 예정이다.
  • 곽태림
  • IDE에서 코드완성을 케이스별로 해주는게 신기했다. Total Function 검사해주는것도 좋았다.
  • 설치가 너무 오래 걸렸다.
  • 챕터 3을 다 읽어 보고 예제를 돌려보겠다.
  • 박지수
  • 오랜만에 뵈서 좋았다. Idris 책 산지는 오래 되었지만, 오늘 제일 많이 본것 같다.
  • 베터리만 약탈하고 킨들이 죽어서 킨들로 보지 못하였다.
  • 챕터 1, 2라도 다시 읽어보겠다.
  • Wayne
  • 자동 완성이 많이 되는 언어를 써봐서 좋았습니다.
  • 좀 더 복잡한 부분은 어떻게 만들어야 할지 잘 모르겠습니다.
  • 예제를 좀더 돌려 보겠습니다.

나머지 공부

Clone this wiki locally