이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
강문영
가입: 2005년 9월 29일 올린 글: 15
|
올려짐: 2005년11월23일 9:11 주제: SEQ 에서 양쪽 type이 같아야 하나요? |
|
|
너무 노골적이고 염치없는 질문인 것 같은데,
SEQ에서 양쪽 type이 같아야 하나요?
다르면 안되나요?
달라도 된다면..
코드: | let
val f = fn x => x
in
f 7 ; f true
end |
이걸 잡아낼 수 있나요? _________________ - by elf.yeri^^ |
|
위로 |
|
|
강문영
가입: 2005년 9월 29일 올린 글: 15
|
올려짐: 2005년11월23일 10:36 주제: 제가 바봅니다. |
|
|
지하철타고 가다 알게 되어서..;;
(지하철에서만 머리가 돌아가는 바보) _________________ - by elf.yeri^^ |
|
위로 |
|
|
박대준
가입: 2005년 10월 7일 올린 글: 245
|
올려짐: 2005년11월23일 19:33 주제: |
|
|
제 생각에는 seq e1 e2 에서 e1 이랑 e2 의 type 이 달라도 아무런 문제가 없는것 같습니다.
그리고 올려주신 코드는 seq 문제가 아니라, f 의 타입을 유추하지 못하기 때문에 타입에러를 낼 것 같습니다만... |
|
위로 |
|
|
|