이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김현식
가입: 2017년 9월 5일 올린 글: 24
|
올려짐: 2017년10월13일 11:34 주제: 과제3 질문 |
|
|
수업시간에 배운 내용도 그렇고 과제에 명시되어 있는 스펙을 보면
env가 변수 이름과 주소의 list로 되어 있는데 여기서 주소는 어떤걸 의미하나요?
15년도 게시판 보다보니까 LOC.t 이런 표현을 쓰는데 변수의 주소를
Ocaml에서 저희가 직접 접근해서 받거나 할당하는건가요?
감사합니다! |
|
위로 |
|
|
김수
가입: 2017년 9월 5일 올린 글: 16
|
올려짐: 2017년10월13일 12:40 주제: |
|
|
스켈레톤 코드에 LOC 타입과 구현이 정의되어 있습니다.
기계적인 부분을 생각하지 마시고 그걸 보면 될 것 같습니다.
코드: |
(* Location Signature *)
module type LOC =
sig
type t
val base : t
val equal : t -> t -> bool
val diff : t -> t -> int
val increase : t -> int -> t
end
module Loc : LOC =
struct
type t = Location of int
let base = Location(0)
let equal (Location(a)) (Location(b)) = a = b
let diff (Location(a)) (Location(b)) = a - b
let increase (Location(base)) n = Location(base+n)
end
|
|
|
위로 |
|
|
김성국17
가입: 2017년 9월 15일 올린 글: 16
|
올려짐: 2017년10월13일 15:40 주제: |
|
|
3.ppt 24페이지부터 보시면 아시겠지만,
변수가 지칭하는 메모리의 주소를 의미합니다.
M(l), M[v/l] 등은 메모리를 다루는 것을 의미합니다. 각각 메모리를 읽고 쓰는 것에 해당하겠네요.
할당은 l not in dom(M), M[v/l]로 표현되겠습니다. |
|
위로 |
|
|
김현식
가입: 2017년 9월 5일 올린 글: 24
|
올려짐: 2017년10월16일 21:34 주제: 답변 감사합니다^^ |
|
|
친절한 답변 감사합니다! 뼈대 코드를 받아놓고 ml 파일을 txt 파일로 내용을 열어볼
생각을 안했었네요 ㅎㅎ 감사합니다~ |
|
위로 |
|
|
|