조교팀 홈페이지 - 4190.310 Programming Language

• 2018-12-04 숙제 6의 채점결과가 공개되었습니다.

• 2018-11-30 숙제 7이 제출되었습니다. 웹보드 공지사항에 Type 뼈대 코드, Exn 뼈대 코드를 포함한 자세한 내용이 안내되어있습니다.

• 2018-11-23 숙제 5의 클레임이 반영된 채점결과가 공개되었습니다.

• 2018-11-14 숙제 6이 제출되었습니다. 웹보드 공지사항에 뼈대 코드, M 언어 정의를 포함한 자세한 내용이 안내되어있습니다.

• 2018-11-01 숙제5가 제출되었습니다. 웹보드 공지사항에 K-- 언어 정의와 뼈대코드를 포함한 자세한 내용이 안내되어있습니다.

• 2018-10-19 숙제4가 제출되었습니다. 웹보드 공지사항에 자세한 내용이 안내되어있습니다.

• 2018-10-04 숙제3이 제출되었습니다. 웹보드 공지사항에K- 언어 정의와 뼈대코드를 포함한 자세한 내용이 안내되어있습니다.

• 2018-09-28 숙제 1&2의 채점결과가 공개되었습니다.

• 2018-09-11 숙제 2이 나왔습니다. 자세한 사항은 공지사항을 확인 해 주세요.

• 2018-09-10 숙제 1이 나왔습니다. 자세한 사항은 공지사항을 확인 해 주세요.

• 2018-09-06 Ocaml tutorial 일정 공지가 나왔습니다. 꼭 확인해주세요.

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

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

질문/답변시간

궁금한 점이 있으시면 수업 시간 후 302동 312-2호로 오셔서 조교를 찾아주시면 됩니다. 사전 연락 후 다른 시간에 오셔도 됩니다.

조교 이메일: dklee at ropas.snu.ac.kr, yhbae at ropas.snu.ac.kr

참고문서

-OCaml

• OCaml 홈페이지
• OCaml reference - Pervasives, List등 라이브러리
  • For emacs users
• OCaml style guide
• Ocaml tutorial (2018/9/6)
• Ocaml tutorial (2017/9/6)
• 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: 계산기

제출

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