Hume(프로그래밍 언어)

데이터. 동전. = 니켈   다임   가짜; 데이터. 음료수 = 커피.   차; 데이터. 단추 = 비씨오피   BTea   BCancel;  유형 내부 = 인트 32 ;  예외. EFake Coin :: (내부, 스트링) ;  표시하다 v = v ~하듯이 스트링 ;   박스 커피. 에 ( 화폐를 만들다 :: 동전., 단추 :: 단추, 가치 :: 내부 ) --입력채널 나가. ( drink_outp :: 스트링, 가치’ :: 내부     , 환불_outp :: 스트링, 표시 :: 스트링)  -- 이름 있는 출력  이내에 500KB (400B) -- 최대 힙(최대 스택) 비용 제한 핸들 EFake Coin, 타임아웃, 히프오버플로우, 스택 오버플로우  경기 -- * 미필 출력 및 미소비 입력용 와일드카드   ( my_coin, *, v)  {- "my_coin" 상당: 코인(my_coin) & value(v) -}                  -> 허락하다 v’ = 인크리먼트 크레디트 my_coin v                    에 ( *, v’, *, 표시하다 v’)              -- 시간 제한("x시간 단위 이내")은 Time Out()을 올립니다.   ( *, 비씨오피, v) {- "join-pattern" 등가: 버튼(BCoffee) & 값(v) -}                    -> (판매하다 커피. 10 v) 이내에 30s    ( *, BTea, v)    -> (판매하다 차 5 v) 이내에 30s   ( *, BCancel, v) -> 허락하다 환불하다 u = "환불" ++ 표시하다 u ++ "\n"                       에 ( *, 0, 환불하다 v, *)  다루다    EFake Coin (v, 메시지) -> ( *, v , *, 메시지)    타임아웃 () -> (*, *, *, "콘텐츠가 소진될 수 있습니다.서비스 요청!")    히프오버플로우 () -> (*, *, *, "오류: 힙 제한을 초과했습니다.")    스택 오버플로우 () -> (*, *, *, "오류: 스택 제한을 초과했습니다.")  ;  인크리먼트 크레디트 화폐를 만들다 v =      사례. 화폐를 만들다 의       니켈 -> v + 5       다임 -> v + 10       가짜 -> 올리다 EFake Coin (v, "코인 거부")     ;    판매하다 마실것 비용. v =      한다면 v >= 비용.        그리고나서 ( 제공하다 마실것, v - 비용., *, "당신의 음료수")         또 다른 ( *, v, *, 돈이 모자라다 ++ 표시하다 (비용. - v))     ;   제공하다 마실것 = 사례. 마실것 의                커피. -> "커피\n"                차 -> "차\n"     ;   박스 통제 에 (c :: 차) 나가. (화폐를 만들다 :: 동전., 단추:: 단추) 경기  'n' -> (니켈, *)    'd' -> (다임, *)    'f' -> (가짜, *)    'c' -> (*, 비씨오피)    't' -> (*, BTea)    'x' -> (*, BCancel)    _ -> (*, *) ;   개울. console_outp 로. "std_out" ; 개울. 콘솔_inp 부터 "std_in" ;  -- 데이터 플로우   전선을 치다 커피.     -- 입력(채널 발신기지)     (통제.화폐를 만들다, 통제.단추, 커피..가치’ 처음에 0)  --     -- 출력처     (console_outp, 커피..가치, console_outp, console_outp)  ;   전선을 치다 통제     (콘솔_inp)     (커피..화폐를 만들다, 커피..단추) ;