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

5?makechildrenglad是什么意思？

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