[프로그래밍언어개론] 중간고사 대비 포스트

1. 1주차는 ocaml의 문법과 여러 오퍼레이터 등을 속전속결로 배움. dune부터 기본 문법까지..

상태는 불변, 함수형 프로그래밍 같은 개념부터.. 물론 side-effect가 존재할 수 있으나, 본수업에서는 다루지 않음.

라이브러리 함수가 종종 나오면, 이거 공부 해야할거 같기도 하고,, 너무 나오네

.. fuck\

variable은 특정 값에 묶인 식별자.. 불변이다.

변수 음영: syntectic sugar ??

let에 대한 scope.. in으로 함.

global let binding.., wild card..

시퀸싱.. 이거 utop에서도 좀 중요한 개념.. 세미콜론 연결된 expression을 순차적으로 실행하는데,

마지막을 제외한 모든 expression의 계산 결과는 unit이어야함 !?

begin … end, () 등을 이용함.

8주차까지 진행하고, 1주차 내용을 돌이켜보니 1주차는 preview 느낌이 강했음. 좀 많이 강한..

함수를 curried form으로 받느냐 tuple로 인자를 받느냐.. 이거 좀중요한 차이임 ㅇㅇ

함수를 파라미터처럼 넘길수도 있다.

모듈

1. 프로그래밍 언어.. 오토마타 cfg ,.. 등등

2. tree.. proof,m interence rule 등

3. 수식 표현에 익숙해지기.. 특히 proof of VAE