게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

과제3 질문

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2017)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김현식



가입: 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 파일로 내용을 열어볼
생각을 안했었네요 ㅎㅎ 감사합니다~
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2017) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay