оценить «main = return (getChar, getChar)»

Question

Прошу прощения, что я нехорошо говорить по-английски.

Посмотрим код ниже.

main = getChar 

первого, основной будет оцениваться, и это значение «GetChar», но компилятор не знает значение «GetChar», поэтому компилятор будет оценивать «GetChar» вычислить значение «GetChar», и так, getChar будет выполнен.

Фактически, когда я проверил код выше. .. «GetChar выполняется

Давайте посмотрим код ниже

main = return (getChar, getChar) 

Во-первых, основной оценке, это значение возврата (не определено, не определено) -> IO (не определено, не определено), поэтому прелюдия будет оценивать IO (undefined, undefined), чтобы напечатать значение, поэтому будет оценен один из двух getChar.

но, когда я проверил код выше, ни один из двух getChar не был оценен. Я не понимаю, почему ни один из двух getChar не является оценивается.

Answer 1

Вы должны фактически выполнить свой монадический акт ионы затем возвращают результаты их выполнения.

func = do 
    a <- getChar 
    b <- getChar 
    return (a,b) 

То, что вы сейчас делаете, как заявление C:

void main(char &a, char &b) 
{ 
    a = getchar; 
    b = getchar; 
} 

в отличие от того, что вы действительно хотите:

void main(char &a, char &b) 
{ 
    a = getchar(); 
    b = getchar(); 
} 

Answer 2

«Я хочу, чтобы знать, почему ни один из два getChar не оцениваются "

Во-первых, на английском языке, как и в логике или математике или Haskell (не (не р)) == р, следовательно, ваш вопрос:

Я хочу знать, почему оба из двух GetChars оцениваются.

Смущает, потому что я уверен, ни одно из них не оценивается.

Ваша основная функция вычисляет значение IO a, а затем вычисляется значение внутри IO с типом a. В вашем случае a (IO Char, IO Char). Поскольку Haskell является нестрогим языком, оценка кортежа просто означает построение кортежа. Это не включает оценку компонентов кортежа. Например:

fst (42, 7 `quot` 0 :: Int) 

не прерывается с делением на нулевую ошибку. Следовательно, мы имеем:

(getChar, getChar) 

является кортежем с 2 невычисленными значениями. Но даже если значения оцениваются, мы имеем 2 значения типа IO Char. Такое значение можно рассматривать как действие, которое, когда выполняется в монаде IO, возвращает Char.

Следовательно, не только ваши компоненты кортежа не оцениваются, они также не выполняются в IO-монаде.

Для достижения этой цели можно передать кортеж с двумя действиями на другое действие:

executeBoth (a,b) = do 
    ra <- a 
    rb <- b 
    return (ra, rb) 

Теперь иди, проверьте тип executeBoth и вы, вероятно, увидеть точку.