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.