조교팀 홈페이지 - 4190.310 Programming Language

• 2015-12-30 최종 성적 및 학점이 공개되었으니 확인 바랍니다.

• 2015-12-23 클레임이 반영된 전체 과제 점수가 공개되었으니 확인 바랍니다.

• 2015-12-18 숙제 8 채점결과가 공개되었으며, 지금까지의 모범 답안이 업데이트되었습니다. 클레임은 12/22 까지입니다.

• 2015-12-12 숙제 4의 에세이 채점결과가 공개되었습니다.

• 2015-12-08 숙제 7 채점결과가 공개되었으며, 지금까지의 모범 답안이 업데이트되었습니다. 클레임은 1주일 뒤인 12/14 까지입니다.

• 2015-11-25 숙제 8 스펙 문서와 타입 체커 뼈대 코드, 보충 스펙 및 테스트 케이스 가 공개되었습니다. 코딩 과제는 12/15 (화) 밤까지, 리포트 과제는 12/16 (수) 오전 10시까지입니다.

• 2015-12-02 숙제 6 채점결과가 공개되었으며, 지금까지의 모범 답안이 업데이트되었습니다. 클레임은 1주일 뒤인 12/09 까지입니다.

• 2015-11-27 12/1 화요일 수업은 교수님 출장으로 인해 휴강합니다.

• 2015-11-27 숙제 7 보충 스펙 공지에 업데이트된 사항들을 꼭 확인해 주시기 바랍니다. (11/27 업데이트)

• 2015-11-27 숙제 7의 기한이 12/3 목요일로 늦춰졌습니다. 대신 딜레이를 받지 않으니 주의하시기 바랍니다.

• 2015-11-25 숙제 7 스펙 문서와 예외 설탕 녹이기 뼈대 코드, 보충 스펙 및 테스트 케이스가 공개되었습니다. 숙제 기한은 12/01 12/03 화요일 밤까지입니다.

• 2015-11-19 숙제 6 보충 스펙 공지에 업데이트된 사항들을 꼭 확인해 주시기 바랍니다. (11/19 업데이트)

• 2015-11-16 숙제 5 채점결과가 공개되었으며, 지금까지의 모범 답안이 업데이트되었습니다. 클레임은 1주일 뒤인 11/23 까지입니다.

• 2015-11-16 숙제 6 스펙 문서와 로제타 뼈대 코드, CPS 뼈대 코드, M 실행기 뼈대 코드, M 언어 정의, 보충 스펙 및 테스트 케이스가 공개되었습니다. 숙제 기한은 11/24 화요일 밤까지입니다.

• 2015-11-13 챌린지 문제 세트가 공개되었습니다.

• 2015-11-03 숙제 5 스펙 문서와 K-- 언어 정의, SM5 뼈대 코드, 보충 스펙 및 테스트 케이스가 공개되었습니다. 숙제 기한은 11/11 수요일 밤까지입니다.

• 2015-10-15 숙제 4 스펙 문서와 보충 스펙 및 테스트 케이스가 공개되었습니다. 숙제 기한은 에세이는 10/29 수업시간까지, 코딩 과제는 10/26 월요일 밤까지입니다.

• 2015-10-08 숙제 3 스펙 문서와 K- 언어 정의, K- 뼈대 코드, 보충 스펙 및 테스트 케이스가 공개되었습니다. 숙제 기한은 10/17 토요일 밤까지입니다.

• 2015-09-17 숙제 2 스펙 문서와 보충 스펙이 공개되었습니다. 숙제 기한은 9/30 수요일 밤까지입니다.

• 2015-09-10 숙제 1 스펙 문서와 보충 스펙이 공개되었습니다. 숙제 기한은 9/16 수요일 밤까지입니다.

• 2015-09-15 2015년 2학기 프로그래밍 언어 과제 제출 페이지는 여기입니다

• 2015-09-15 2015년 2학기 프로그래밍 언어의 과제 질문/답변 및 중요 공지사항이 게시판에 올라오므로, 수시로 확인해 주시기 바랍니다

질문/답변시간

매주 화, 목요일 14:00부터 15:00까지 질문 답변 시간입니다. 궁금한 점이 있으시면 해당 시간에 302동 312-2호로 오세요. 사전 연락 후 다른 시간에 오셔도 됩니다.

조교 이메일: 310ta at ropas.snu.ac.kr

참고문서

-OCaml

• OCaml 홈페이지
• OCaml reference - Pervasives, List등 라이브러리
  • For emacs users
• OCaml style guide
• Ocaml tutorial (2015/9/8)
• Ocaml tutorial (2013/9/11)
• Ocaml tutorial (2011/9/7)
• Ocaml tutorial (2011/3/10)
• Ocaml cheat sheet
• Introduction to Objective Caml.
• 예제
  • hello.ml: hello world!
  • intstack.ml: 정수 스택
  • stack.ml: 일반적인 스택
  • mylist.ml: 라이브러리의 List 모듈에 있는 함수들의 구현 예
  • sieve.ml: 2부터 1000까지 소수를 출력하는 프로그램
  • qsort.ml: 퀵소트의 한 가지 구현
  • calc.ml: 계산기

제출

• 웹 페이지를 통해 제출합니다.
• 숙제 제출 유의사항
• 처음 사용자는 등록기간내에 등록해주세요.