5?makechildrenglad是什么意思？Rankntypes可以將多態(tài)函數(shù)作為參數(shù)。這里多態(tài)性意味著它的參數(shù)類(lèi)型變量不會(huì)出現(xiàn)在外部函數(shù)中。不能根據(jù)其他參數(shù)的類(lèi)型和返回值來(lái)確定作為參數(shù)的函數(shù)的類(lèi)

5?makechildrenglad是什么意思？

Rankntypes可以將多態(tài)函數(shù)作為參數(shù)。這里多態(tài)性意味著它的參數(shù)類(lèi)型變量不會(huì)出現(xiàn)在外部函數(shù)中。不能根據(jù)其他參數(shù)的類(lèi)型和返回值來(lái)確定作為參數(shù)的函數(shù)的類(lèi)型，例如t:：int->（對(duì)于所有B.B-> int）-> intt x f=如果x==1則f“a”否則f 1rank1函數(shù)本身是多態(tài)的，但沒(méi)有多態(tài)函數(shù)作為參數(shù)。Rank2表示存在多態(tài)函數(shù)作為參數(shù)，但多態(tài)函數(shù)本身不能接受多態(tài)函數(shù)作為參數(shù)。Rank3表示有一個(gè)多態(tài)函數(shù)可以接受多態(tài)函數(shù)作為參數(shù)，但是多態(tài)函數(shù)的內(nèi)層不能接受多態(tài)函數(shù)作為參數(shù)，所以你的第二個(gè)問(wèn)題是forall必須將多態(tài)函數(shù)作為參數(shù)來(lái)顯式地表示這個(gè)函數(shù)是多態(tài)的，否則效果就像未打開(kāi)的rankntypes