2011-10-11 16 views
7

타입 정의 또는 모든 종류의 문장을 허용하는 하스켈 인터프리터가 있습니까?하스켈 인터프리터/w 타입 정의

나는 이미 ghcihugs을 시도했으며 그 중 아무 것도 수행하지 않았습니다. 이것이 어려운/불가능한 몇 가지 특별한 이유가 있습니까?

+0

무엇을하려고합니까? HBC가 임의의 하스켈 선언을 받아 들일 수 있다고 생각합니다. 'let fx = x + 1 :: (Num a) => a -> a'는 ghci에 타입 정의를 제공 할 수는 없으므로 첨부 된 함수가 없으므로 작업. – ivanm

+0

나는 너의 고통을 나누었다. 나는'Test.hs '톤이 주위에 매달려있다. 심지어 ghci 콘솔은 적어도 내 시스템에서는 붙여 넣기 작업을 올바르게 처리하지 못합니다 (방금보고 한 버그). – gawi

+0

@ivanm 사실, 지금이 순간에 저는 아직 시작하지 않았으며 아직 특별한 것을하려고하지 않았습니다. 궁금해하게 만들었 어. – julkiewicz

답변

3

전통적으로,이에 대한 답이 IO 모나드 내부 대화 형 프롬프트 삶에 기록 된 코드이었다. Prelude> 뒤에 숨어있는 그림자가 main = do 인 것 같습니다. 그런 식으로 생각해보십시오. 형식 선언과 최상위 선언 구문이 없으면 모든 let 문과 마찬가지로 의미가 있습니다.

하지만 Ptival은 맞습니다. 우리가 곧 그것에 대해 걱정할 필요가없는 것처럼 보입니다.