2
的funset_nil
文件libats/ML/SATS/funset.sats
在聲明中寫道:什麼是:<>在函數聲明中的意思?
fun{} funset_nil{a:t0p}():<> set(a)
是什麼:<>
意思?
的funset_nil
文件libats/ML/SATS/funset.sats
在聲明中寫道:什麼是:<>在函數聲明中的意思?
fun{} funset_nil{a:t0p}():<> set(a)
是什麼:<>
意思?
這表明函數是純的。沒有影響發生。請參閱https://github.com/githwxi/ATS-Postiats/wiki/effects。