|
|
이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
임경영
가입: 2009년 4월 5일 올린 글: 27
|
올려짐: 2009년4월22일 23:05 주제: HW6 과제하다가 질문 ^^ |
|
|
오늘도 질문부터 하네요 ㅠㅠ
HW6과제를 정리하면
fixpoint를 구하는데
sign, interval, intset domain등등에서 구해보는게 문제이고
sign domain은 구현되어 있지만 interval과 intset도 구현하도록 되어있네요
몇가지 보다가 이해가 안가서 질문 남겨봅니다.
문법적인것..
1. @+ 는 어떤 의미인가요;;
- 구글등등에서 검색해봤는데 찾기 쉽지 않네요
2. let lb(l,c) = l in 같은 문장에서 맨뒤에 in이 붙는 것은 어떤 의미인가요?
뼈대에 관련된 질문
1. evalExp state exp와 evalRhs sol rhs 는
어떤 명령을 수행하는 함수인가요?
- evalExp state exp : state와 exp를 받아서 state를 내보내도록?
- evalRhs sol rhs : solution과 rhs를 받아서.. .. state?를 내보내는건가용?
2. 각 domain에서 정의되는
add t1 t2의 경우 덧셈은 말하는 것인가요?
lub t1 t2의 경우 둘을 포함하는 값인 것 같은 맞는지요? (t1 or t2)
3. sign domain에서는
S_BOT와 BOT를 따로 정의 했는데..
왜 그렇게 했는지에 대해서는 아직 고민중인데 힌트 주실수 없으신가용?
sign bottom과 bottom의 차이가 잘 구분이 안되네요 ^^;; |
|
위로 |
|
|
공순호
가입: 2005년 9월 29일 올린 글: 363 위치: 302동 312-2호
|
올려짐: 2009년4월23일 0:23 주제: |
|
|
임경영 씀: |
1. @+ 는 어떤 의미인가요;;
- 구글등등에서 검색해봤는데 찾기 쉽지 않네요
|
ocaml에서는 infix operator를 사용자가 정의할 수 있게 되어있습니다.
예를 들어서 다음과 같이 하면
코드: |
let (+++) x y = x + y
|
+++ operator를 정의하고 이를 다음과 같이 쓸 수 있습니다.
+@는 뼈대에서 정의한 operator입니다. 다음과 같이 정의합니다.
코드: |
let (@+) eq term = VMap.add (fst term) (snd term) eq in
|
---------------------------------
임경영 씀: |
2. let lb(l,c) = l in 같은 문장에서 맨뒤에 in이 붙는 것은 어떤 의미인가요?
|
일반적인 let ... in 구문에서의 in을 나타내는 것입니다.
---------------------------------
임경영 씀: |
1. evalExp state exp와 evalRhs sol rhs 는
어떤 명령을 수행하는 함수인가요?
- evalExp state exp : state와 exp를 받아서 state를 내보내도록?
- evalRhs sol rhs : solution과 rhs를 받아서.. .. state?를 내보내는건가용?
|
evalExp, evalRhs의 type은 문제 스펙에 명시되어 있습니다.
인용: |
evalExp : state -> exp -> v
evalRhs : solution -> rhs -> state
|
---------------------------------
임경영 씀: |
2. 각 domain에서 정의되는
add t1 t2의 경우 덧셈은 말하는 것인가요?
lub t1 t2의 경우 둘을 포함하는 값인 것 같은 맞는지요? (t1 or t2)
|
* add는 각 도메인의 두 값을 더한 결과를 돌려주는 것입니다.
* lub는 least upper bound를 의미합니다. t1 or t2가 아닐 수 있습니다.
---------------------------------
임경영 씀: |
3. sign domain에서는
S_BOT와 BOT를 따로 정의 했는데..
왜 그렇게 했는지에 대해서는 아직 고민중인데 힌트 주실수 없으신가용?
sign bottom과 bottom의 차이가 잘 구분이 안되네요 ^^;;
|
코드: |
module SignCPO =
struct
type sign = S_BOT | S_PLUS | S_MINUS | S_ZERO | S_TOP
type t = BOT | SIGN of sign | LOC of LocCPO.t | TOP
|
이 부분에 대한 질문인데요, 다음 그림에서
S_BOT은 을 의미하고, BOT은 을 의미합니다. _________________ - soon@ropas |
|
위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다 답글을 올릴 수 없습니다 주제를 수정할 수 없습니다 올린 글을 삭제할 수 없습니다 투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group Translated by kss & drssay
|