| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
이주상13
가입: 2018년 9월 6일
올린 글: 18
|
 올려짐: 2018년10월7일 17:08 주제: 3-1 뼈대코드 질문 |
 |
|
뼈대코드 k.ml 에서
| 코드: |
match e with
...
| WRITE e ->
...
|
이런식으로 되어있는 부분이 있는데요
match문 에서도 e를 쓰고
아래의 WRITE e에서도 e를 쓰는데
이렇게 이름이 겹쳐도 상관이 없는건가요? |
|
| 위로 |
|
 |
로파스
Site Admin
가입: 2012년 9월 9일
올린 글: 280
|
| 올려짐: 2018년10월8일 0:07 주제: |
|
|
네 가능합니다.
match문에서의 각 케이스에서 새로이 등장하는 변수는 해당 케이스에 해당하는 결과식에서만 유효하기 때문입니다.(local binding)
| 코드: |
match e with
| A e -> ...e...
| B x -> ...e...
|
예를들어 이러한 식에서 세번째 e는 두번째 e와 같은 식이며, 네번째 e는 첫번째 e와 같은 식입니다.
-조교 드림. |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
