검색 결과 35 개 일치합니다

교과서 157페이지에 보면 +에 대한 추론 규칙으로

이렇게 나와있는데요 아래 글에도 있듯이 오타라고 말씀하셨고
가 되어야 한다고 말씀하셨는데� ...

음 제가 잘못 이해하고있는건지 ㅜㅜ
숙제 할때 + 오면 양쪽 operand랑 결과값 모두 iota(int)로 추론했는데
아래처럼 돼야 하는게 아닌가 해서요...

Gamma ...

Gamma ㅏ E1 : tau GammaㅏE2:tau
----------------------------------------------------------
Gamma ㅏ E1 + E2 : tau

네 이게 맞습니다

Gamma ㅏ E1 : n GammaㅏE2:n
---------------- ...

ㅠㅜ

아 그리고 에세이 보내야 하는 사람은 교수님 메일로 에세이 보내는 건가요..?

6-2번에서 M 언어를 구현할 때
EQ의 인자로 PAIR가 들어오면 각 원소가 같은 경우 true, 그렇지 않은 경우 false, 형태가 다른 경우 exception이었는데요
이번� ...

변수 이름으로 사용되지 않는 것에는 어떤 것이 있나요?
작년 게시판을 보니 https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=3498 글이 있는데
같은 방식으로 특수� ...

강의자료에서 나온 덧셈 인코딩하는 방법에 따르면 번역 결과가
((\n1.\n2.\f.(\x.(n1) (f)) (((n2) (f)) (x))) (\f.\x.(f) (x))) (\f.\x.(f) ((f) ((f) (x))))이 아니라
((\n1.\n2 ...

Guide ("x", e)

이렇게 있으면 무조건 e 안에 x가 있다고 가정해도 되나요?
아니면 탐험할 수 없다고 예외를 내야 하나요?

예전 게시판에서 발� ...

http://ropas.snu.ac.kr/~ta/4190.310/13/document/k--.pdf에서 FORT, FORF가 FOR semantics인 것 같아요

test7.k--에 보면
x에 대한 정의 없이 read x를 호출했는데요
k-- semantics에서 보면 read x는 environment에 x가 없으면 정의되지 않는 상황 같습니다..
저번 숙제 ...

3-3번이네요 ㅎㅎ
맞계 잘 나오네요 감사합니다!

예를 들어서
{x=1, y=2}인 레코드의 z 필드에 접근하면 어떻게 처리하나요

이분은 2-4번 질문하신거같은데...ㅠㅠ
저는 정수식이라길래 그냥 정수 연산으로 나눴어요

헉 글 쓰자마자 스펙이 다시 변경됐네요
감사합니다

galculator의 타입이 exp -> float 이길래 저는 단순히 INT가 계산에 포함되면 float_of_int 함수를 통해 float으로 바꾸어서 했는데, 게시판을 보니 그게 아니라 ...