Skip to content

Type Driven Development with Idris (2017.01.06)

Seoh Char edited this page Jan 6, 2017 · 4 revisions

Ch.6.1

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

  • 상근
    • 감기에 걸려서 멍멍하다.
    • 매일 문서만 작성하고 있다.
    • 오늘 내용을 반정도 이해하고 갔으면 좋겠다.
  • 기영
    • 멀미를 했지만 일찍 와서 좋다. 날씨가 안추워서 좋다.
    • 시골 갔다왔고, 게임 CBT를 해 볼 예정
    • 스터디 재밌게 하고 갔으면
  • 용준
    • 잠을 못자서 어지럽고
    • 잠을 못자서 어지럽다.
    • 오늘도 재밌게
  • Seoh
    • 일어난지 얼마 안되서 좋다.
    • 내일도 일을 해야할 것 같다.
    • 잘 이해하고 가면 좋겠다.
  • Wayne
    • 참석할 수 있어서 좋다.
    • 본격적으로 새 환경에 적응하고 있다.
    • 오늘도 잘 이해하고 갔으면
  • 성큼
    • 뛰어와서 힘들다.
    • 빠져나왔다.
    • 오늘도 재밌게 하고갔으면

문제풀이

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

  • 상근
    • printf 예제가 좋았다.
    • 전부 이해하지는 못했다.
    • 4장 정도 까지는 보고 올 수 있도록.
  • 기영
    • 스터디에 참석할 수 있었던것과 무난하게 빠른 진행.
    • 없음
    • 예전 스터디 문제랑 스칼라를 좀 볼 예정이다.
  • 용준
    • 가변 길이 함수가 재밌었던거 같다.
    • 코드를 좀 못만져봐서 아쉬웠다.
    • 연습문제 풀어보기
  • Seoh
    • 약빨이 떨어져갈때 뭔가 쓸만한걸 본것 같다.
    • 쓸만한걸 다 이해하지 못했다.
    • 과제를 하는 것을 못표로
  • Wayne
    • 가변길이 타입이 참신해서 좋았다.
    • 없었다.
    • 연습물제 풀기
  • 성큼
    • 뭔가 부드럽게 코딩이 되는 것 같아서 좋았다.
    • 없었다.
    • 연습문제 풀기

나머지 공부

Clone this wiki locally