Many langs have effects now, nothing like this in niva(
But at least std doesnt provide any IO.
So there can be a @TopLevelOnly that u put inside of bindings to some IO:
// okio.bind.niva
@TopLevelOnly
type FileSystem
FileSystem readFile:path -> String
//---main.niva
fileSystem = FileSystem new
reader = CSVReader fs: fileSystem
// csvreader.niva
CSVReader read = [
fs = FileSystem new // ERROR, FileSystem can be created only on top level
]
Now its only possible to create FileSystem instance in the top level, not inside some other method.
So you need to send FileSystem instance to each place where IO is needed.
Many langs have effects now, nothing like this in niva(
But at least std doesnt provide any IO.
So there can be a @TopLevelOnly that u put inside of bindings to some IO:
Now its only possible to create FileSystem instance in the top level, not inside some other method.
So you need to send FileSystem instance to each place where IO is needed.