To address your first point, plenty of functional langs have access control - as an example F# has complete public/protected/private for all levels of function/

To address your first point, plenty of functional langs have access control - as an example F# has complete public/protected/private for all levels of function/class.