두개 교재로 한다. SICP는 방학때 하던 걸 이어서 할 수 있겠다. 풀어야 할 문제가 많았는데, 잘 됐다. :)
수업시간에 ML 언어 스펙은 거의 다 배웠다. http://ropas.snu.ac.kr 가서 예전에 마소에 올라왔던 기사를 읽어보니깐, 내가 배웠던게 이러한 의미를 지니는구나 하고, 좀 놀랐다. 막연히 OOP적언어랑 함수형 언어랑은 다른걸 추구하는것 처럼 느꼈는데.. 수업 받으면서 생기는 탄력을 겨울방학까지! 재동이가 이야기 했던것도 해보고! 영차영차!
귀납적으로 문제를 푸는게 참 쉬운거구나!
나에게 유용한 프로그램을 매일매일! 수련수련! -0-; 수련할꺼 투성이구운!
연습문제풀이 [PL/연습문제]
http://www-db.stanford.edu/~ullman/emlp.html http://www-2.cs.cmu.edu/~petel/smlguide/smlnj.htm#editing « edit sml file using emacs http://www.it-c.dk/courses/FP/E2000/programs/sample3.sml
http://ropas.kaist.ac.kr/~kwang/520/02/essay/
2004가을학기 다른 선생님께 다시 청강!
http://rts.chonbuk.ac.kr/20_professor/courses/2004-2/pl.html
(질문할 내용) 하노이타워나 Factorial같은 문제는 recursive하게 푸는것이 수학적 증명(펑셔날방식)하고 같은데, 다른 문제들도 수학적 증명이 곧 프로그램 해결이 될 수 있을까? Proofs are Programs and Programs are Proofs Lamda Calculus와 튜닝머신에 그리고 폰노인만 머신에 대해도 알아보자
DynamicType and StrongType ? Python is DynamicType with StrongType
The Implementation of Functional Programming Languages Simon Peyton Jones, published by Prentice Hall, 1987. Contents - Introduction - The Lambda Calculus - Translating A Hight-Level Functional Language Into The Lambda Calculus - Structured Types And the Semantics Of Pattern-Matching - Efficient Compilation Of Pattern-Matching - Transforming the Enriched Lambda Calculus - List Comprehensions - Polymorphic Type-Checking - A Type-Checker - Selecting The Next Redex - Graph Reduction of Lambda Expressions - Recursive Supercombinators - Fully-Lazy Lambda-Lifting - SK Combinators - Storage Management And Garbage Collection - The G-Machine - G-Code - Optimizations of the G-machine …